Testing Criteria and a System for Evaluation of the Completeness of a Test Set

Programming and Computer Software

Volumn 24, Issue 6, 1998, Pages 301-311

  Kaufman, A V ^a   Chernonozhkin, S K ^a  

^a A P ERSHOV INSTITUTE OF INFORMATICS SYSTEMS   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0006609405     PISSN: 03617688     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (31)

1. Morell, L., A Theory of Fault-Based Testing, IEEE Trans. Software Eng., 1990, vol. 16, no. 8, pp. 844-857.
2. Myers, G.J., The Art of Software Testing, New York: Wiley, 1979. Translated under the title Iskusstvo testirovaniya programm, Moscow: Finansy i Statistika, 1982.
3. Myers, G.J., The Art of Software Testing, New York: Wiley, 1979. Translated under the title Iskusstvo testirovaniya programm, Moscow: Finansy i Statistika, 1982.
4. Marick, B., The Craft of Software Testing, London: Prentice Hall, 1995.
5. Marick, B., FAQ: Testing Tool Suppliers, published monthly in the teleconference comp.software.testing.
6. Marre, M. and Bertolino, A., Reducing and Estimating the Cost of Test Coverage Criteria, Proc. ICSE-18, Los Alamitos: IEEE Computer, 1996, pp. 486-494.
7. Kaufman, A.V. and Chernonozhkin, S.K., Supporting Structural Testing in the SOKRAT System, in Sredstva i instrumenty okruzhenii programmirovaniya (Tools of programming environments), Novosibirsk: 1995, pp. 30-45.
8. Kaufman, A.V. and Chernonozhkin, S.K., Structural Testing in the SOKRAT System, in Programmnye sistemy (Programming Systems), Novosibirsk: 1996, pp. 135-148.
9. Harrold, M., Gupta, R., and Soffa, M., A Methodology for Controlling the Size of a Test Set, ACM Trans. Software Eng. Meth., 1993, vol. 2, no. 3, pp. 270-285.
10. Shimarov, V.A., Hierarchical Approach to Evaluation of the Complexity of Testing Programs, Preprint of the Institute of Mathematics, BSSR Academy of Sciences, Minsk, 1989, no. 46 (396).
11. Budd, T., Mutation Analysis: Ideas, Examples, Problems, and Prospects, Computer Program Testing, Chandrasekaran, B. and Rdicchi, S., Eds., Amsterdam: North-Holland, SOGESTA, 1981, pp. 129-148.
12. Untch, R., Offut, A., and Harrold, M., Mutation Analysis Using Mutant Schemata, Software Eng. Notes, 1993, vol. 18, no. 4, pp. 139-148.
13. Laski, J., Szermer, W., and Luczycki, P., Dynamic Mutation Testing in Integrated Regression Analysis, Proc. 15 Int. Conf. Software Eng., Los Alamitos: IEEE Computer, 1993, pp. 108-117.
14. Weyuker, E., More Experience with Data Flow Testing, IEEE Trans. Software Eng., 1993, vol. 19, no. 9, pp. 912-919.
15. Frankl, P. and Weyuker, E., An Applicable Family of Data Flow Testing Criteria, IEEE Trans. Software Eng., 1988, vol. 14, no. 10, pp. 1483-1498.
16. Laski, J. and Luczycki, P., System for Testing and Debugging, STAD 1.0, User Perspective, Technical Report, Oakland Univ., Oakland, 1992, TR-CSE-92-05-JWL-1.
17. Laski, J. and Korel, B., A Data Flow Oriented Program Testing Strategy, IEEE Trans. Software Eng., 1983, vol. 9, no. 3, pp. 347-354.
18. Katkov, V.P., RITM-tekhnologiya avtomatizatsii programmirovaniya (RITM - A Technology for Programming), Minsk: 1993.
19. Marick, B., The Generic Coverage Tool (GCT), available at ftp://cs.uiuc.edu/pub/testing, 1993.
20. Howden, W., Weak Mutation Testing and Completeness of Test Sets, IEEE Trans. Software Eng., 1982, vol. 8, no. 4, pp. 371-379.
21. Marick, B., Experience with the Cost of Different Coverage Goals for Testing, Motorola, 1990.
22. xTech Development System. Native XDS v 2.12 for IBM Operating System/2: User's Guide, xTech, 1995.
23. Ostrand, T. and Balcer, M., The Category-Partition Method for Specifying and Generating Functional Tests, Commun. ACM, 1988, vol. 31, no. 6, pp. 676-686.
24. Evstigneev, A.V., Primenenie teorii grafov v programmirovanii (Application of Graph Theory to Programming), Moscow: Nauka, 1985.
25. Rapps, S. and Weyuker, E., Selecting Software Test Data Using Data Flow Information, IEEE Trans. Software Eng., 1985, vol. 11, no. 4, pp. 367-375.
26. Clarke, L. et al., A formal Evaluation of Data Flow Path Selection Criteria, IEEE Trans. Software Eng., 1989, vol. 15, no. 11, pp. 244-251.
27. Frankl, P. and Weyuker, E., Provable Improvements on Branch Testing, IEEE Trans. Software Eng., 1993, vol. 19, no. 10, pp. 962-975.
28. Tai, K. et al., Evaluation of a Predicate-Based Software Testing Strategy, IBM Syst. J., 1994, vol. 33, no. 3, pp. 445-457.
29. Tai, K., Theory of Fault-Based Predicate Testing for Computer Programs, IEEE Trans. Software Eng., 1996, vol. 22, no. 8, pp. 552-562.
30. Korel, B. and Al-Yami, A., Assertion-Oriented Automated Test Data Generation, Proc. ISCE-18, Los Alamitos: IEEE Computer, 1996, pp. 71-80.
31. Kaufman, A.V. and Chernonozhkin, S.K., OCT - A Coverage Tool for Modula-2 Programs, Preprint of Inst. of Informatics Systems, Siberian Division, Russian Academy of Sciences, Novosibirsk, 1997, no. 38, p. 46.