Functional Program Testing
- 1 March 1980
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-6 (2) , 162-169
- https://doi.org/10.1109/tse.1980.230467
Abstract
An approach to functional testing is described in which the design of a program is viewed as an integrated collection of functions. The selection of test data depends on the functions used in the design and on the value spaces over which the functions are defined. The basic ideas in the method were developed during the study of a collection of scientific programs containing errors. The method was the most reliable testing technique for discovering the errors. It was found to be significantly more reliable than structural testing. The two techniques are compared and their relative advantages and limitations are discussed.Keywords
This publication has 9 references indexed in Scilit:
- Automatic Software Test DriversComputer, 1978
- Symbolic Testing and the DISSECT Symbolic Evaluation SystemIEEE Transactions on Software Engineering, 1977
- Reliability of the Path Analysis Testing StrategyIEEE Transactions on Software Engineering, 1976
- An experimental program-testing facilityIEEE Transactions on Software Engineering, 1975
- An Approach to Program TestingACM Computing Surveys, 1975
- Toward a theory of test data selectionIEEE Transactions on Software Engineering, 1975
- Methodology for the Generation of Program Test DataIEEE Transactions on Computers, 1975
- Automated generation of testcase datasetsPublished by Association for Computing Machinery (ACM) ,1975
- The use of software probes in testing FORTRAN programsComputer, 1974