Theory of fault-based predicate testing for computer programs

IEEE Transactions on Software Engineering

Volumn 22, Issue 8, 1996, Pages 552-562

  Tai, Kuo Chung ^a  

^a NORTH CAROLINA STATE UNIVERSITY   (United States)

Author keywords

Boolean operator faults; Fault based testing; Off by e faults; Predicate testing; Relational operator faults; Software testing

Indexed keywords

EID: 0000360605     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.536956     Document Type: Article

References (23)

1. J.J. Chilenski and S.P. Miller, "Applicability of Modified Condition/Decision Coverage to Software Testing," Software Engineer J., vol. 9, no. 5, pp. 193-200, Sept. 1994.
2. L.A. Clarke, J. Hassel, and D.J. Richardson, "A Close Look at Domain Testing," IEEE Trans. Software Engineering, vol. 8, no. 4, pp. 380-390, July 1982.
3. R.A. DeMillo and A.J. Offutt, "Constraint-Based Automatic Test Data Generation" IEEE Trans. Software Engineering, vol. 17, no. 9, pp. 900-910, Sept. 1991.
4. K.A. Foster, "Error Sensitive Test Cases Analysis (ESTCA)," IEEE Trans. Software Engineering, vol. 6, no. 3, pp. 258-264, May 1980.
5. K.A. Foster, "Sensitive Test Data for Logical Expressions," ACM SIGSOFT Software Engineer Notes, vol. 9, no. 2, pp. 120-125, Apr. 1984.
6. P.G. Frankl and E.J. Weyuker, "An Applicable Family of Data Flow Testing Criteria," IEEE Trans. Software Engineering, vol. 14, no. 10, pp. 1,483-1,498, Oct. 1988.
7. T. Goradia, "Dynamic Impact Analysis: A Cost-Effective Technique to Enforce Error-Propagation," Proc. ACM Int'l. Symp. Software Testing and Analysis, pp. 171-181,1993.
8. W.E. Howden, "Weak Mutation Testing and Completeness of Test Cases," IEEE Trans. Software Engineering, vol. 8, no. 4, pp. 371-379, July 1982.
9. L.J. Morell, "A Theory of Fault-Based Testing," IEEE Trans. Software Engineering, vol. 16, no. 8, pp. 844-857, Aug. 1990.
10. G.J. Myers, The Art of Software Testing. Wiley, 1979.
11. A.J. Offutt and S.D. Lee, "An Empirical Evaluation of Weak Mutation," IEEE Trans. Software Engineering, vol. 20, no. 5, pp. 337344, May 1994.
12. A.M. Paradkar and K.C. Tai, "Test Generation for Boolean Expressions," Proc. IEEE Int'l Symp. Software Rcluibility Engineering, pp. 106-115, Oct. 1995.
13. A.M. Paradkar, K.C. Tai, and M.A. Vouk, "Automatic Test Generation for predicates," Proc. IEEE IntT Symp. Software Reliability Engineering, Oct. 1996, to appear.
14. D.J. Richardson and M.C. Thompson, "The RELAY Model for Error Detection and Its Application," Proc. ACM Second Workshop on Software Testing, Verification and Analysis, pp. 223-230,1988.
15. K.C. Tai and H.K. Su, "Test Generation for Boolean Expressions," Proc. IEEE Int'l CoJ. Computer Software and Applications (COMPSAC), pp. 278-283,1987.
16. K.C. Tai, "Predicate-Based Test Generation for Computer Programs," Proc. Int'l CoJ. -Software Engineering, pp. 267-276, May 1993.
17. K.C. Tai, M.A. Vouk, A. Paradkar, and P. Lu, "Evaluation of a Predicate-Based Software Testing Strategy," IBM System J., vol. 33, no. 3, pp. 445-457,1994.
18. M.C. Thompson, D.J. Richardson, and L.A. Clarke, "An information Flow Model of Fault Detection," Proc. ACM Int'l Symp. Software Testing and Analysis, pp. 182-192,1993.
19. J.M. Voas, "PIE: A Dynamic Failure-Based Technique," IEEE Trans. Software Engineering, vol. 18, pp. 717-727, Aug. 1992.
20. M.A. Vouk, K.C. Tai, and A. Paradkar, "Empirical Studies of Predicate-Based Software Testing" Proc, IEEE Symp. Software Reliability Engineering, pp. 55-65,1994.
21. E. Weyuker, T. Goradia, and A. Singh, "Automatically Generating Test Data from Boolean Specification," IEEE Trans. Software Engineering, vol. 20, no. 5, pp. 353-363, May 1994.
22. L.J. White and E.I. Cohen, "A Domain Strategy for Computer Program Testing," IEEE Trans. Software Engineering, vol. 6, pp. 247-257, May 1980.
23. SJ. Zeil, F.n. Afifi, and L.J. White, "Detection of Linear Errors via Domain Testing," ACM Trans. Software Engineering, vol. 1, no. 4, pp. 422-451, Oct. 1992.