Perturbation Techniques for Detecting Domain Errors

IEEE Transactions on Software Engineering

Volumn 15, Issue 6, 1989, Pages 737-746

  Zeil, Steven J ^a  

^a OLD DOMINION UNIVERSITY   (United States)

Author keywords

Domain errors; perturbation testing; software reliability; testing; validation

Indexed keywords

MATHEMATICAL TECHNIQUES--PERTURBATION TECHNIQUES;

ARITHMETIC FAULT DETECTION; DOMAIN ERRORS; PERTURBATION TESTING; SOFTWARE TESTING;

COMPUTER SOFTWARE;

EID: 0024680452     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.24727     Document Type: Article

References (19)

1. T. A. Budd, “Mutation analysis. Ideas, examples, problems and prospects,” in Computer Program Testing. B. Chandrasekaran and S. Radicchi, Eds. Amsterdam, The Netherlands: North-Holland. 1981, pp. 129-148.
2. “The portable mutation testing suite,” Univ. Arizona, Tech.Rep. TR 83-8, Mar. 1983.
3. T. A. Budd and D. Angluin, “Two notions of correctness and their relation to testing,” Acta Inform., vol. 18, pp. 31-45, 1982.
4. L. A. Clarke, J. Hassell, and D. J. Richardson, “A close look at domain testing,” IEEE Trans. Software Eng., vol. SE-8, no. 4, pp. 380-390, July 1982.
5. L. A. Clarke and D. J. Richardson, “Symbolic evaluation-An aid to testing and verification,” in Proc. Symp. Software Validation, H. Hausen, Ed. Amsterdam, The Netherlands: North-Holland, 1983.
6. R. A. DeMillo, F. G. Sayward, and R. J. Lipton, “Hints on test data selection: Help for the practicing programmer,” Computer, vol. 11, pp. 34-41, Apr. 1978.
7. K. A. Foster, “Error sensitive test case analysis (ESTCA),” IEEE Trans. Software Eng., vol. SE-6, no. 3, pp. 258-264, May 1980.
8. J. S. Gourlay, “A mathematical framework for the investigation of testing,” IEEE Trans. Software Eng., vol. SE-9, no. 6, pp. 686-709, Nov. 1983.
9. A. Haley and S. Zweben, “Development and application of a white box approach to integration testing,” J. Syst. Software, vol. 4, pp. 309-315, 1984.
10. W. E. Howden, “Reliability of the path analysis testing strategy.”
11. “Algebraic program testing,” Acta Inform., vol. 10, pp. 53-66, Oct. 1978.
12. “Weak mutation testing and completeness of test sets,” IEEETrans. Software Eng., vol. SE-8, no. 2, pp. 371-379, July 1982.
13. L. J. Morell, “A theory of error-based testing,” Ph.D. dissertation, Univ. Maryland, Apr. 1984.
14. D. J. Richardson and L. A. Clarke, “Partition analysis: A method combining testing and verification,” IEEE Trans. Software Eng., vol. SE-11, no. 12, pp. 1477-1490, Dec. 1985.
15. 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.
16. 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.
17. S. J. Zeil, “Testing for perturbations of program statements,” IEEE Trans. Software Eng., vol. SE-9, no. 3, pp. 335-346, May 1983.
18. “Perturbation testing for computation errors,” in Proc. Seventh Int. Conf. Software Eng., IEEE, Mar. 1984, pp. 257-265.
19. “A perturbational analysis of domain testing,” Old Dominion Univ., Tech. Rep. 89-03, Jan. 1989.