The application of error-sensitive testing strategies to debugging
- 20 March 1983
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 18 (8) , 45-52
- https://doi.org/10.1145/1006142.1006158
Abstract
Program errors can be considered from two perspectives -- cause and effect. The goal of program testing is to detect errors by discovering their effects, while the goal of debugging is to search for the associated cause. In this paper, we explore ways in which some of the results of testing research can be applied to the debugging process. In particular, computation testing and domain testing, which are two error-sensitive test data selection strategies, are described. Ways in which these selection strategies can be used as debugging aids are then discussed.Keywords
This publication has 14 references indexed in Scilit:
- A Close Look at Domain TestingIEEE Transactions on Software Engineering, 1982
- Error Sensitive Test Cases Analysis (ESTCA)IEEE Transactions on Software Engineering, 1980
- Functional Program TestingIEEE Transactions on Software Engineering, 1980
- Symbolic Evaluation and the Analysis of ProgramsIEEE Transactions on Software Engineering, 1979
- An evaluation of the effectiveness of symbolic testingSoftware: Practice and Experience, 1978
- An experimental program-testing facilityIEEE Transactions on Software Engineering, 1975
- An Approach to Program TestingACM Computing Surveys, 1975
- Methodology for the Generation of Program Test DataIEEE Transactions on Computers, 1975
- SELECT---a formal system for testing and debugging programs by symbolic executionPublished by Association for Computing Machinery (ACM) ,1975
- Hilbert's Tenth Problem is UnsolvableThe American Mathematical Monthly, 1973