Automatic string test data generation for detecting domain errors

Software Testing Verification and Reliability

Volumn 20, Issue 3, 2010, Pages 209-236

  Zhao, Ruilian ^a   Lyu, Michael R ^b   Min, Yinghua ^c  

^a BEIJING UNIVERSITY OF CHEMICAL TECHNOLOGY   (China)

^b CHINESE UNIVERSITY OF HONG KONG   (Hong Kong)

^c INSTITUTE OF COMPUTING TECHNOLOGY   (China)

Author keywords

Domain testing; Dynamic test data generation; ON OFF test point; String predicate

Indexed keywords

AUTOMATIC GENERATION; BOUNDARY SHIFTS; DOMAIN ERRORS; DOMAIN TESTING; DYNAMIC TEST DATA GENERATION; LINEAR RELATIONSHIPS; STRING PREDICATE; TEST DATA; TEST DATA GENERATION; TEST POINTS;

DATA COMMUNICATION SYSTEMS; ERRORS; PROCESS MONITORING; RADIATION HAZARDS;

TESTING;

EID: 77956471748     PISSN: 09600833     EISSN: 10991689     Source Type: Journal    
DOI: 10.1002/stvr.414     Document Type: Article

References (26)

1. Lyu MR, Rangarajan S, Moorsel AP. Optimal allocation of test resources for software reliability growth modeling in software development. IEEE Transactions on Reliability 2002; 51(2):183-192.
2. Offutt AJ, Jin ZY, Pan J. The dynamic domain reduction approach to test data generation. Software Practice and Experience 1999; 29(2):167-193.
3. Jeng B, Forgacs I. An automatic approach of domain test data generation. The Journal of Systems and Software 1999; 49:97-112.
4. White LJ, Cohen EI. Domain strategy for computer program testing. IEEE Transactions on Software Engineering 1980; 6(3):247-257.
5. Clarke LA, Hassell J, Richardson DJ. A close look at domain testing. IEEE Transactions on Software Engineering 1982; 8(4):380-390.
6. Zeil SJ, Afifi FH, White LJ. Detection of linear errors via domain testing. ACM Transactions on Software Engineering and Methodology 1992; 1(4):422-451.
7. Jeng B, Weyuker EJ. A simplified domain-testing strategy. ACM Transactions on Software Engineering and Methodology 1994; 3(3):254-270.
8. Hajnal A, Forgacs I. An applicable test data generation algorithm for domain errors. ISSTA'98, Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, FL, U.S.A., March 1998; 63-72.
9. Jeng B. Toward an integration of data flow and domain testing. The Journal of Systems and Software 1999; 45:19-30.
10. Alshraideh M, Bottaci L. Search-based software test data generation for string data using program-specific search operators. Software Testing Verification and Reliability 2006; 16(3):175-203.
11. Howden WE. Reliability of the path analysis testing strategy. IEEE Transactions on Software Engineering 1976; 2(3):208-215.
12. Michael CC, McGraw G, Schatz MA. Generating software test data by evolution. IEEE Transactions on Software Engineering 2001; 27(12):1085-1110.
13. Gotlieb A, Petit M. Path-oriented random testing. Proceedings of the First International Workshop on Random Testing (RT'06), Portland, U.S.A., July 2006; 28-35.
14. Gareth L, Morris J, Parker K, Gary A. Using symbolic execution to guide test generation. Software Testing, Verification and Reliability 2004; 15(1):41-61.
15. Coward PD. Symbolic execution and testing. Information and Software Technique 1991; 33(1):229-239.
16. Korel B. Automated software test data generation. IEEE Transactions on Software Engineering 1990; 16(8):870-879.
17. McMinn P. Search-based software test data generation: a survey. Software Testing, Verification and Reliability 2004; 14(2):105-156.
18. Harman M, Hu L, Hierons RM, Wegener J, Sthamer H, Baresel A, Roper M. Testability transformation. IEEE Transactions on Software Engineering 2004; 30(1):3-16.
19. Mansour N, Salame M. Data generation for path testing. Software Quality Journal 2004; 12:121-136.
20. Forgacs I, Bertolino A. Feasible test path selection by principal slicing. Proceedings of the 6th European Conference on Foundations of Software Engineering, Zurich, Switzerland, 1997; 378-394.
21. Peres LM, Vergilio SR, Jino M, Maldonado JC. Path selection in the structural testing: Proposition, implementation and application of strategies. Proceedings of the International Conference of the Chilean Computer Science Society (SCCC '01), Chile, 2001; 240-246.
22. Available at: http://www.nist.gov/dads/HTML/HammingDistance.html [6 August 2008].
23. Zhao R, Lyu MR. Character string predicate based automatic software test data generation. Proceedings of the 3rd International Conference on Quality Software (QSIC2003), Dallas, TX, November 2003. IEEE Computer Society Press: LosAlamitos, CA, 2003; C255-C263.
24. Marick B. The Craft of Software Testing. PTR Prentice-Hall: New Jersey, 1995; 260.
25. Available at: http://ftp.gnu.org/gnu/glibc [6 August 2008].
26. Planet Source Code. Available at: http://www.planet-source-code.com/ [6 March 2007].