This Article 
 Bibliographic References 
 Add to: 
An Approach to Software Product Testing
November 1988 (vol. 14 no. 11)
pp. 1589-1596

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.

[1] J. W. Duran and S. C. Ntafos, "An evaluation of random testing,"IEEE Trans. Software Eng., vol. SE-10, no. 4, pp. 438-444, 1984.
[2] P. A. Currit, M. Dyer, and H. D. Mills, "Certifying the reliability of software,"IEEE Trans. Software Eng., vol. SE-12, no. 1, pp. 3-11, Jan. 1986.
[3] O.-J. Dahl, E. W. Dijkstra, and C. A. R. Hoare, "On the reliability of mechanisms," inStructured Programming. New York: Academic, 1975, pp. 3-6.
[4] D. Bird and C. Munoz, "Automatic generation of random self-checking test cases,"IBM Syst. J., vol. 22, no. 3, pp. 229-245, 1983.
[5] M. Chandrasekharan, B. Dasarathy, and Z. Kishimoto, "Requirements-based testing of real-time systems: Modeling for testability,"Computer, vol. 18, no. 4, pp. 71-80, 1985.
[6] F. Bazzichi and I. Spadafora, "An automatic generator for compiler testing,"IEEE Trans. Software Eng., vol. SE-8, no. 4, pp. 343-353, 1982.
[7] A. L. Goel, "Software reliability models: Assumptions, limitations, and applicability,"IEEE Trans. Software Eng., vol. SE-11, no. 12, pp. 1411-1423, 1985.
[8] W. Feller,An Introduction to Probability Theory and Its Applications, vol. I, 3rd ed. New York: Wiley, 1968, pp. 244.
[9] R. P. Seaman, "Testing high level language compilers," inProc. IEE Computer System and Technology Conf., 1974, pp. 6-14.
[10] E. N. Adams, "Optimizing preventive service of software products,"IBM J. Res. Develop., vol. 28, no. 1, pp. 2-14, 1984.
[11] H. D. Mills, "On the statistical validation of computer programs," inSoftware Productivity. Boston, MA: Little, Brown, 1983, pp. 71-81.
[12] W. E. Howden, "Theoretical and empirical studies of program testing," inProc. 3rd Int. Conf. Software Engineering, 1978, pp. 305- 311.

Index Terms:
program testing; software product testing; automatic test case generation; self-checking test cases; black box test cases; random test cases; sampling; exhaustive testing; correctness measurements; defect circumvention; program testing
C.U. Munoz, "An Approach to Software Product Testing," IEEE Transactions on Software Engineering, vol. 14, no. 11, pp. 1589-1596, Nov. 1988, doi:10.1109/32.9047
Usage of this product signifies your acceptance of the Terms of Use.