An approach to software product testing
- 1 January 1988
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 14 (11) , 1589-1596
- https://doi.org/10.1109/32.9047
Abstract
An approach is presented that uses the following techniques: automatic test case generation, self-checking test cases, black box test cases, random test cases, sampling, a form of exhaustive testing, correctness measurements, and the correction of defects in the test cases instead of in the product (defect circumvention). The techniques are cost-effective and have been applied to very large products.Keywords
This publication has 8 references indexed in Scilit:
- Correction to 'Certifying the reliability of software' (Jan. 1986 3-11)IEEE Transactions on Software Engineering, 1989
- Software Reliability Models: Assumptions, Limitations, and ApplicabilityIEEE Transactions on Software Engineering, 1985
- Requirements-based testing of real-time systems: Modeling for testabilityComputer, 1985
- An Evaluation of Random TestingIEEE Transactions on Software Engineering, 1984
- Optimizing Preventive Service of Software ProductsIBM Journal of Research and Development, 1984
- Automatic generation of random self-checking test casesIBM Systems Journal, 1983
- An Automatic Generator for Compiler TestingIEEE Transactions on Software Engineering, 1982
- Theoretical and Empirical Studies of Program TestingIEEE Transactions on Software Engineering, 1978