Introduction to special section on software testing
- 1 June 1988
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 31 (6) , 662-667
- https://doi.org/10.1145/62959.62962
Abstract
The field of software testing spans mathematical theory, the art and practice of validation, and methodology of software development. To cover this range would require a textbook (or several texts), not a trio of articles. But the work presented in this special section is a kind of "test set." Each paper is a significant contribution within one of the three broad areas. The reader must now make the assessment that is critical to any review of test points: are they representative? My own answer is 'no'; these articles are provocative and revealing rather than routine summaries. And perhaps that is what software testing is all about: good tests are the ones that provide new insights, not the ones that cover well worn ground.Keywords
This publication has 13 references indexed in Scilit:
- Comparing the Effectiveness of Software Testing StrategiesIEEE Transactions on Software Engineering, 1987
- Probable correctness theoryInformation Processing Letters, 1987
- Comparison of Structural Test Coverage MetricsIEEE Software, 1985
- Weak Mutation Testing and Completeness of Test SetsIEEE Transactions on Software Engineering, 1982
- The applicability of program schema results to programsInternational Journal of Parallel Programming, 1979
- Hints on Test Data Selection: Help for the Practicing ProgrammerComputer, 1978
- Testing Programs with the Aid of a CompilerIEEE Transactions on Software Engineering, 1977
- Reliability of the Path Analysis Testing StrategyIEEE Transactions on Software Engineering, 1976
- An Approach to Program TestingACM Computing Surveys, 1975
- Methodology for the Generation of Program Test DataIEEE Transactions on Computers, 1975