A Theory of Fault-Based Testing

IEEE Transactions on Software Engineering

Volumn 16, Issue 8, 1990, Pages 844-857

  Morell, Larry J ^a  

^a HAMPTON UNIVERSITY   (United States)

Author keywords

Error based testing; fault propagation; fault based testing; program testing; program verification; symbolic execution

Indexed keywords

PROGRAM TESTING; PROGRAM VERIFICATION; SOFTWARE TESTING; SYMBOLIC EXECUTION;

COMPUTER SOFTWARE;

EID: 0025472646     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.57623     Document Type: Article

References (32)

1. W. E. Howden, “Reliability of the path analysis testing strategy,” IEEE Trans. Software Eng., vol. SE-2, no. 3, Sept. 1976.
2. E. Miller, M. Paige, J. Benson, and W. Wisehart, “Structural techniques of program validation,” in Dig. Papers COMPCON 74, Spring 1974, pp. 161–164.
3. M. R. Woodward, D. Hedley, and M. A. Hennell, “Experience with path analysis and testing programs,” IEEE Trans. Software Eng., vol. SE-6,. no. 3, pp. 278–286, May 1980.
4. G. J. Myers, The Art of Software Testing. New York: Wiley, 1979.
5. E. J. Weyuker, “Axiomatizing software test data adequacy,” IEEE Trans. Software Eng., vol. SE-12, no. 12, pp. 1128–1138, Dec. 1986.
6. R. DeMillo, R. J. Lipton, and F. G. Sawyer, “Hints on test data selection: Help for the practicing programmer,” Computer, vol. 11, pp. 34–41, Apr. 1978.
7. S. L. Gerhard and L. Yelowitz, “Observations of fallibility in applications of modern programming methodologies,” IEEE Trans. Software Eng., vol. SE-2, no. 3, Sept. 1976.
8. J. B. Goodenough and S. L. Gerhart, “Toward a theory of test data selection,” IEEE Trans. Software Eng., vol. SE-1, no. 2, pp. 156–173, June 1975.
9. M. Geller, “Test data as an aid in proving program correctness,” Commun. ACM, vol. 21, pp. 368–375, May 1978.
10. IEEE Standard Glossary of Software Engineering Terminology, IEEE Standard 729-1983, 1983.
11. R. C. Linger, H. D. Mills, and B. I. Witt, Structured Programming Theory and Practice. Reading, MA: Addison-Wesley, 1979.
12. L. J. Morell, “A theory of error-based testing,” Ph.D. dissertation, Dep. Comput. Sci., Univ. Maryland, Tech. Rep. TR-1395, Aug. 1984.
13. H. D. Mills, “Function semantics for sequential programs,” in Proc. Inform. Processing 80, 1980.
14. W. S. Brainerd and L. H. Landweber, Theory of Computation. New York: Wiley, 1974.
15. W. E. Howden, “Algebraic program testing,” Acta Inform., vol. 10, 1978.
16. L. J. Morell, “A model for code-based testing schemes,” in Proc. Fifth Annu. Pacific Northwest Software Quality Conf., Oct. 1987, pp. 309–326.
17. L. Clarke, “A system to generate test data and symbolically execute programs,” IEEE Trans. Software Eng., vol. SE-2, pp. 215–222, Sept. 1977.
18. W. E. Howden, “Symbolic testing and the DISSECT symbolic evaluation system,” IEEE Trans. Software Eng., vol. SE-3, pp. 266–278, 1977.
19. A. J. Offutt, “The coupling effect: Fact or fiction?” in Proc. Third Symp. Software Testing, Analysis, and Verification (TAV3), Dec. 13–15, 1989, pp. 131–140.
20. J. H. Rowland and P. J. Davis, “On the use of transcendentals for program testing,” J. ACM, vol. 28, no. 1, pp. 181–190, Jan. 1981.
21. S. K. Basu, “A note on the synthesis of inductive assertions,” IEEE Trans. Software Eng., vol. SE-6, no. 1, pp. 32–39, Jan. 1980.
22. L. J. Morell and R. G. Hamlet, “Error propagation and elimination in computer programs,” Dep. Comput. Sci., Univ. Maryland, Tech. Rep. TR-1065, July 1981.
23. M. Hecht, Flow Analysis of Computer Programs. New York: Elsevier North-Holland, 1977.
24. S. Ibarra and B. Leninger, “Straight-line programs with one input variable,” SIAM J. Comput., Jan. 1982.
25. E. J. Weyuker and T. J. Ostrand, “Theories of program testing and the appliction of revealing subdomains,” IEEE Trans. Software Eng., vol. SE-6, no. 3, pp. 236–246, May 1980.
26. R. G. Hamlet, “Testing programs with the aid of a compiler,” IEEE Trans. Software Eng., vol. SE-3, no. 4, July 1977.
27. K. Foster, “Error sensitive test analysis (ESTA),” in Dig. Workshop Software Testing and Test Documentation, Dec. 1978.
28. W. E. Howden, “Weak mutation testing and completeness of test sets,” IEEE Trans. Software Eng., vol. SE-8, pp. 371–379, July 1982.
29. L. J. White and E. I. Cohen, “A domain strategy for computer program testing,” IEEE Trans. Software Eng., vol. SE-6, no. 3, pp. 247–257, May 1980.
30. S. J. Zeil, “Testing for perturbation of program statements,” IEEE Trans. Software Eng., vol. SE-9, pp. 335–346, May 1983.
31. T. A. Budd, R. A. DeMillo, R. J. Lipton, and F. G. Sayward, “Theoretical and empirical studies on using program mutation to test the function correctness of programs,” Principles Program. Lang., pp. 220–233, 1980.
32. C. V. Ramamoorthy and F. B. Bastani, “Software reliability—Status and perspectives,” IEEE Trans. Software Eng., vol. SE-8, no. 4, pp. 354–371, July 1982.