A formal analysis of the subsume relation between software test adequacy criteria

IEEE Transactions on Software Engineering

Volumn 22, Issue 4, 1996, Pages 248-255

  Zhu, Hong ^a  

^a Nonjin University   (China)

Author keywords

Fault detecting ability testing scenarios; Sottware testing; Subsume relation; Test adequacy criteria

Indexed keywords

EID: 0000679119     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.491648     Document Type: Article

References (33)

1. V.R. Basili and K.W. Selby, Comparing the Effectiveness of Software Testing, IEEE Trans. Software Engineering, vol. 13, no. 12, pp. 1,278-1.296, Dec. 1987.
2. L.A. Clarke, J. Hassell, and D.J. Richardson, A Close Look at Domain Testing, ,'£££ Trans. Software Engineering, vol. 8, no. 4, pp. 380-39C,J uly 1982.
3. L.A. Clarke, A. Podgurski, A. Richardson, and D.J., Zeil, A Formal Evaluation of Data Flow Path Selection Criteria, IEEC Trans. Softira'-e Engineering, vol. 15, no. 11, pp. 1,318-1,332, Nov. 1989.
4. R.A. DeMillo, R.J. Lipton, and F.G. Sa y ward, Hints on Test Data Selection: Help for the Practising Programmer, Commit er, vol. 11, pp. 34-41, Apr. 1978.
5. j.W. Duiar. and S. Nlafos, An Evaluation of Random Testing, IEEE Trans. Software Engineering, vol. 10, no. 4, pp. 438-444. July 1984
6. P.C. Frank: and S.N. Weiss,An Fxperimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing, ]£££ Trans. Softïeare Engineering, vol. 19, no. 8, pp. 774-787, Aug. 1993.
7. P.G. Frankl and I.E. Weyuker, An Applicable Family of Data Floxv Testing Criteria, IEEE Trans. Software Engineering, vol. 4, no. 10, pp. 1 [483-1,498, Oct. 1988.
8. P.G. Frankl and J.E. Weyuker, A Formal Analysis of the FaultDetecting Ability of Testing Methods, IEEE Trans. Software Engineering, vol. 19, no. 3, pp. 202-213, Mar. 1993.
9. P.C. rrankl and J H. Weyuker, Provable Improvements on Branch Testing, )£££ Trans. Software Engineering, vol. 19, no. 10, pp. 962-975, Oct 1993.
10. A. Gopal and T. Budd, Program Tesling by Specification Mutation, Tech. Report TR 83-17, Univ. of Ari?ona, Nov. 1983.
11. I-B. Goodenough and 5.L. Gerhart, Toward a Theory of Test Data Selection, IEEE Trans. Software Engineering, vol. 3, June 1973.
12. J.A. Gourlay, 'A Mathematical Framework foi the Investigation of Testing [FEE Trans. Software Engineering, vol. 9, no. 6, pp. 686709, Xov. 1983.
13. W.E. Howden, Weak Mutation Testing and Completeness of Test Sets, IEEE Trans. Software Engineering, vol. 8, no. 4, pp. 371379, July 1982.
14. J Laski and B Korel, A Data Flow Oriented Program Testing Strategy, iEEE Trims. Software Engineering, vol. 9, pp. 33-43, May 983.
15. T.J McCabe, A Complexity Measure, IEEE Trans. Software Engineenno, vol. 2, no. 4, pp. 308-320,1976.
16. T J. McCabe, ed., Structured Testing. IEEE CS Press, 1983.
17. T.J McCabe and G.G. Schulmeyer, System Testing Aided by Structured Analysis: A Practical Experience, IEEE Trans. Software E'.igimvrir.s, vol.'l, no. 9, pp. 917-921, Sept. 1985.
18. G.J. Myers, The Art of Software Testing, John Wiley & Sons, 1979.
19. S.C. Ntafos, On Required Element Testing, IEEE Trans. Software Engineering, vol. 10, no. 6, pp. 795-803, Nov. 1984.
20. S.C. Ntafos, A comparison of Some Structural Testing Strategies, IEEE Trims. Software Engineering, vol. 14, pp. 868-874, June 1888.
21. M.R. Paige, Program Graphs, an Algebra, and Their Implication for Programming. IEEE Trans. Software Engineering, vol. 1, no. 3, pp. 286-291. Sept. 1975.
22. M.R. Paige, An Analytical Approach to Software Testing, Proc. COMPSAC'78, pp. 527- 532,1978.
23. A. Parrish and S.H. Zweben, Analysis and Refinement of Software Test Data Adequacy Properties, IEEE Trans. Software Engineering, vol. 7, no. 6, pp. 565-581, June 1991.
24. A.S. Parrish and S.H. Zweben, Clarifying Some Fundamental Concepts in Software Testing, IEEE Trans. Software Engineering, vol. 19, no. 7, pp. 742-746, July 1993.
25. S. Rapps and h.J. Weyuker, Selecting Sottware Test Data Using Data Flow Information, IEEE Trans. Software Engineering, vol. 1, no. 4, pp. 367-375, Apr. 1985.
26. M.Z. Tsoukalas, J.W. Duran, and S.C. Ntafos, On Some Reliability Estimation Problems in Random and Partition Testing, IEEE Trans. Software Frtginei-rmg, vol. 19, no. 7, pp. 687-697, July 1993.
27. L.J. White and E.I. Cohen, A Domain Strategy for Corn-inter Program Testing, IEEE Trims. Software Engineering, vol. 6, no. 3, pp. 247-257, May 1980.
28. M.R. Woodward, D. Medley, and M.A. Hennel, Experience with Path Analysis and lesting of Programs, IEEE Trims. Softwan1 Enginecrin, vol. 6, no. 5, pp. 278-286, May, 1980.
29. M.R. Woodward and K. I lalewood, From Weak to Strong, Dead or Alive? An Analysis of Some Mutation Testing Issues, Proc. Second Workshop Software Testing, Vcrification find Analysis, Hanff, Canada, pp. 152-158, July 1988,
30. M.R. Woodward, Errors in Algebraic Specifications and an Experimental Mutation Testing Tool, Software Engineering J., pp. 211224, July 1993.
31. H. Zhu and P. Hall, Test Data Adequacy Measurement, Software Engineering J., vol. 8, no. 1, pp. 21-30, Jan. 1993.
32. H. Zhu', P.A.V. Hall, and J.H.R. May, Understanding Software Test Adequacy-An Axiomatic and Measurement Theory Approach, Math, nf Dependable Systems. Proc. IMA ConJ. MDS'93, Mitchell and Stavridou, eds., Oxford Univ. Press, 1995.
33. H. Zhu, P.A.V. Hall, and J.H.R. May, Software lest Coverage and Adequacy, Dept. of Computing, The Open Univ., UK, Tech. Report No. 94/15, Aug. 1994. Submitted to ACM Computing Survey.