An empirical evaluation of six methods to detect faults in software

Software Testing Verification and Reliability

Volumn 12, Issue 3, 2002, Pages 155-171

  So, Sun Sup ^a   Cha, Sung Deok ^b   Shimeall, Timothy J ^c   Kwon, Yong Rae ^b  

^a Kongju National University   (South Korea)

^b Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

^c CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Code reading; Experiments; Fagan inspection; N version voting; Self checks; Software testing

Indexed keywords

COST EFFECTIVENESS; DATA FLOW ANALYSIS; ENCODING (SYMBOLS); EXPERT SYSTEMS;

CODE READING; FAGAN INSPECTION; SOFTWARE ANALYSIS METHOD;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

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

References (25)

1. Gray J. A census of tandem system availability between 1985 and 1990. IEEE Transactions on Reliability 1990; 39(4):409-418.
2. Beize B. Software Testing Techniques (2nd edn). Van Nostrand Reinhold: New York, NY, 1990.
3. Chen L, Avizienis A. N-version programming: A fault tolerance approach to the reliability of software. Proceedings of the 8th International Symposium on Fault-Tolerance Computing. IEEE Computer Society Press: Los Alamitos, CA, June 1978; 3-9.
4. Fagan ME. Design and code inspections to reduce errors in programming development. IBM Systems Journal 1976; 5(3):182-211.
5. Fagan ME. Advances in software inspection. IEEE Transactions on Software Engineering 1986; 12(7):744-751.
6. Myers GJ. A controlled experiment in program testing and code walkthroughs/inspections. Communications of the ACM 1978; 21(9):760-768.
7. Floyd RW. Assigning meanings to programs. Proceedings of the Symposium on Applied Mathematics, vol. XIX. American Mathematical Society: New York, April 1967; 19-32.
8. Rosenblum DS. A practical approach to programming with assertions. IEEE Transactions on Software Engineering 1995; 21(1):19-31.
9. Fosdick LD, Osterweil LJ. Data flow analysis in software reliability. ACM Computing Surveys 1976; 8(3):305-330.
10. Leveson NG, Cha SS, Knight JC, Shimeall TJ. The use of self checks and voting in software error detection: An empirical study. IEEE Transactions on Software Engineering 1990; 16(4):432-443.
11. So S, Lim Y, Cha SD, Kwon YR. An empirical study on software error detection: Voting, instrumentation, and Fagan inspection. Proceedings of the Asia-Pacific Software Engineering Conference. IEEE Computer Society Press: Los Alamitos, CA, 1995; 345-351.
12. Knight JC, Leveson NG. An experimental evaluation of the assumption of independence in multiprogramming. IEEE Transactions on Software Engineering 1986; 12(1):96-109.
13. Shimeall TJ, Leveson NG. An experimental evaluation of software fault tolerance and fault elimination. IEEE Transactions on Software Engineering 1991; 17(2):173-182.
14. Shimeall T. An empirical comparison of software fault elimination and fault tolerance. PhD Dissertation, Department of Information and Computer Science, University of California, Irvine, 1989.
15. Anderson T, Lee PA. Fault Tolerance: Principles and Practice. Prentice-Hall: Englewood Cliffs, NJ, 1981.
16. Linger RC, Mills HD, Witt BL. Structured Programming: Theory and Practice. Addison-Wesley: Reading, MA, 1979; 147-212.
17. Frankl PG, Weyuker EJ. Data flow testing in the presence of unexecutable paths. Proceedings of the Workshop on Software Testing, Banff, Canada, July 1986. IEEE Computer Society Press: Los Alamitos, CA, 1996; 4-13.
18. Wheeler DA, Brykczynksi B, Meeson RN (eds.). Software Inspection: An Industry Best Practice. IEEE Computer Society Press: Los Alamitos, CA, 1996.
19. Bisant DB, Lyle JR. A two-person inspection method to improve programming productivity. IEEE Transactions on Software Engineering 1989; 15(10):1294-1304.
20. Votta LG. Does every inspection need a meeting? ACM SIGSOFT '93-Proceedings of the 1st ACM SIGSOFT Symposium on Software Development Engineering. Association for Computing Machinery: New York, 1993; 107-114.
21. Porter AA, Siy HP, Mockus A, Votta LG. Understanding the sources of variation in software inspections. ACM Transactions on Software Engineering and Methodology 1998; 7(1):41-79.
22. Myers GJ. The Art of Software Testing. John Wiley: New York, NY, 1979, pp. 30.
23. Ebenau RG. Predictive quality control with software inspection. Software Inspection: An Industry Best Practice, Wheeler DA, Brykczynski B, Meeson RN (eds.). IEEE Computer Society Press: Los Alamitos, CA, 1996; 147-156.
24. Weller EF. Lessons from three years of inspection data. IEEE Software 1993; 10(5):38-45.
25. Barnard J, Price A. Managing code inspection information. IEEE Software 1994; 11(2):56-69.