Special Feature Program Testing: Art Meets Theory*
- 1 July 1977
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 10 (7) , 42-51
- https://doi.org/10.1109/c-m.1977.217782
Abstract
The problems of providing quality assurance for computer software have received a good deal of attention from the computing community. Such areas as program proving, automatic programming, structured programming, and hierarchical design/development methodologies have all experienced significant growth–largely as a result of the increased attention focussed on them. Program testing, on the other hand, has not enjoyed the same level of intensive investigation, even though it has a number of technical and intuitive appeals:Keywords
This publication has 11 references indexed in Scilit:
- Reliability of the Path Analysis Testing StrategyIEEE Transactions on Software Engineering, 1976
- The economics of software quality assurancePublished by Association for Computing Machinery (ACM) ,1976
- Program graphs, an algebra, and their implication for programmingIEEE Transactions on Software Engineering, 1975
- A view of program verificationACM SIGPLAN Notices, 1975
- Testing for software reliabilityPublished by Association for Computing Machinery (ACM) ,1975
- Toward a theory of test data selectionPublished by Association for Computing Machinery (ACM) ,1975
- The Mythical Man-MonthPublished by Association for Computing Machinery (ACM) ,1975
- Automated generation of testcase datasetsPublished by Association for Computing Machinery (ACM) ,1975
- SELECT---a formal system for testing and debugging programs by symbolic executionPublished by Association for Computing Machinery (ACM) ,1975
- A prototype automatic program testing toolPublished by Association for Computing Machinery (ACM) ,1972