Can fault-exposure-potential estimates improve the fault detection abilities of test suites?

Software Testing Verification and Reliability

Volumn 12, Issue 4, 2002, Pages 197-218

  Chen, Wei ^e   Untch, Roland H ^a   Rothermel, Gregg ^b   Elbaum, Sebastian ^c   Von Ronne, Jeffery ^d  

^a MIDDLE TENNESSEE STATE UNIVERSITY   (United States)

^b 1148 Kelley Engineering Center Corvallis   (United States)

^c UNIVERSITY OF NEBRASKA LINCOLN   (United States)

^d UNIVERSITY OF CALIFORNIA   (United States)

^e NONE

Author keywords

Code coverage; Fault exposure potential; Software testing; Test adequacy criteria

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; DATA FLOW ANALYSIS; ERROR DETECTION; FAILURE ANALYSIS; PROBABILITY; PROGRAM DEBUGGING; PROGRAM DIAGNOSTICS; PROGRAM INTERPRETERS;

ARRAY DEFINITION LANGUAGE; CODE COVERAGE TEST; FAULT DETECTION; FAULT EXPOSURE POTENTIAL ESTIMATES; SOFTWARE TESTING; TEST ADEQUACY CRITERIA;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0036957687     PISSN: 09600833     EISSN: None     Source Type: Journal    
DOI: 10.1002/stvr.257     Document Type: Article

References (19)

1. Clarke L, Podgurski A, Richardson D, Zeil S. A formal evaluation of data flow path selection criteria. IEEE Transactions on Software Engineering 1989; 15(11):1318-1332.
2. Hutchins M, Foster M, Goradia T, Ostrand T. Experiments on the effectiveness of dataflow- and controlflow-based test adequacy criteria. Proceedings 16th International Conference on Software Engineering, Sorrento, Italy. IEEE Computer Society: Los Alamitos, CA, 1994: 191-200.
3. Perry D, Kaiser G. Adequate testing and object-oriented programming. Journal of Object-Oriented Programming 1990; 2(5):13-19.
4. Goradia T. Dynamic impact analysis: A cost-effective technique to enforce error-propagation. Proceedings of the ACM International Symposium on Software Testing and Analysis, Cambridge, MA, ACM Press: New Yorkk, 1993; 171-181.
5. Hamlet D, Voas J. Faults on its sleeve. Proceedings of the ACM International Symposium on Software Testing and Analysis, Cambridge, MA. ACM Press: New York, 1993; 89-98.
6. Morell LJ. A theory of fault-based testing. IEEE Transactions on Software Engineering 1990; 16(8):844-857.
7. Richardson DJ, Thompson MC. An analysis of test data selection criteria using the relay model of fault detection. IEEE Transactions on Software Engineering 1993; 19(6):533-553.
8. Thompson MC, Richardson DJ, Clarke LA. An information flow model of fault detection. Proceedings of the ACM International Symposium on Software Testing and Analysis, Cambridge, MA. ACM Press: New York. 1993; 182-192.
9. Voas J. PIE: A dynamic failure-based technique. IEEE Transactions on Software Engineering 1992; 18(8):717-727.
10. Hamlet RG. Probable correctness theory. Information Processing Letters 1987; 25(1):17-25.
11. Rothernel G, Untch RH, Chu C, Harrold MJ. Test case prioritization: An empirical study. Proceedings International Conference on Software Maintenance, Oxford, U.K. IEEE Computer Society Press: Los Alamitos, CA, 1999; 179-188.
12. Khoshgoftaar TM, Monson JC. Predicting software development errors using complexity metrics. Journal on Selected Areas in Communications 1990; 8(2):253-261.
13. Howden WE. Weak mutation testing and completeness of test sets. IEEE Transactions on Software Engineering 1982; 8(4):371-379.
14. DeMillo RA, Lipton RJ, Sayward FG. Hints on test data selection: Help for the practicing programmer. IEEE Computer 1978; 11(4):34-41.
15. Hamlet RG. Testing programs with the aid of a compiler. IEEE Transactions on Software Engineering 1977; 3(4):279-290.
16. Ostrand TJ, Balcer MJ. The category-partition method for specifying and generating functional tests. Communications of the ACM 1988; 31(6):676-686.
17. Vokolos FI, Frankl PG. Empirical evaluation of the textual differencing regression testing technique. Proceedings of the International Conference on Software Maintenance, Los Alamitos, CA, November 1998; 44-53.
18. Delamaro ME, Maldonado JC. Proteum - a tool for the assessment of test adequacy for C programs. Proceedings of the Conference on Performability in Computing Systems (PCS 96), Bethesda, MD, 25-26 July 1996; 79-95.
19. Offutt AJ, Lee A, Rothermal G, Untch R, Zapf C. An experimental determination of sufficient mutation operators. ACM Transactions on Software Engineering and Methodology 1996, 5(2):99-118.