A Mathematical Framework for the Investigation of Testing

IEEE Transactions on Software Engineering

Volumn SE-9, Issue 6, 1983, Pages 686-709

  Gourlay, John S ^a  

^a OHIO STATE UNIVERSITY   (United States)

Author keywords

Hardware testing; mutation analysis; path analysis; software reliability; software testing; specifications; testing theory

Indexed keywords

COMPUTER SOFTWARE;

EID: 0020849983     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.1983.235433     Document Type: Article

References (19)

1. T. A. Budd et al., “Mutation analysis,” Dep. Comput. Sci., Yale Univ., Res. Rep. 155, 1979.
2. T. A. Budd, personal communications, 1982.
3. T. A. Budd and D. Angluin, “Two notions of correctness and their relation to testing,” Dep. Comput. Sci., Univ. Arizona, Res. Rep. TR 80-19, 1980.
4. R. Cartwright, “Formal program testing,” in Proc. 8th Ann. ACM Symp. Principles of Programming Languages, 1981.
5. T. S. Chow, “Testing software design modeled by finite-state mahines,” IEEE Trans. Software Eng., vol. SE-4, May 1978.
6. J. Gannon, P. McMullin, and R. Hamlet, “Data-abstraction implementation, specification, and testing,” ACM Trans. Programming Languages Syst., vol. 3, July 1981.
7. M. Geller, “Test data as an aid in proving program correctness,” Commun. Ass. Comput. Mach., vol. 21, May 1978.
8. J. S. Gourlay, “Theory of testing computer programs,” Ph.D. dissertation, Univ. Michigan, Univ. Microfilms, 1981.
9. J. B. Goodenough and S. L. Gerhart, “Toward a theory of test data selection,” IEEE Trans. Software Eng., vol. SE-1, June 1975.
10. M. A. Holthouse and M. J. Hatch, “Experience with automated testing analysis,” IEEE Computer, vol. 12, Aug. 1979.
11. W. E. Howden, “Algebraic program testing,” Acta Informatica, vol. 10, Jan. 1978.
12. W. E. Howden, “Reliability of the path analysis testing strategy,” IEEE Trans. Software Eng., vol. SE-2, Sept. 1976.
13. J. C. Huang, “An approach to program testing,” Comput. Surveys, vol. 7, Sept. 1975.
14. J. R. Kennaway and C.A.R. Hoare, “A theory of nondeterminism,” in Automata, Languages and Programming (Lecture Notes Comput. Sci.), vol. 85, J. W. deBakker and J. van Leeuwen, Eds. New York: Springer-Verlag, 1980.
15. L. Lamport, “On the proof of correctness of a calendar program,” Commun. Ass. Comput. Mach., vol. 22, Oct. 1979.
16. K. W. Lai, “Functional testing of digital systems,” Ph.D. dissertation, Carnegie-Mellon Univ., 1982.
17. D. J. Richardson and L. A. Clarke, “A partition analysis method to increase program reliability,” in Proc. 5th IEEE Int. Conf. Software Eng., 1981.
18. E. J. Weyuker and T. J. Ostrand, “Theories of program testing and the application of revealing subdomains,” IEEE Trans. Software Eng., vol. SE-6, 1980.
19. L. J. White and E. I. Cohen, “A domain strategy for computer program testing,” IEEE Trans. Software Eng., vol. SE-6, May 1980.