An address mapping approach for test data generation of dynamic linked structures

Information and Software Technology

Volumn 47, Issue 3, 2005, Pages 199-214

  Sai Ngern, Sittisak ^a   Lursinsap, Chidchanok ^a   Sophatsathit, Peraphon ^a  

^a Faculty of Science   (Thailand)

Author keywords

Linked structure; Software; Test data generation

Indexed keywords

LINKED STRUCTURES; STATEMENT EXECUTION; SYMBOLIC COMPUTATION; TEST DATA GENERATION;

ALGORITHMS; AUTOMATIC TESTING; COMPUTER SOFTWARE; DATA STORAGE EQUIPMENT; OBJECT ORIENTED PROGRAMMING;

DATA PROCESSING;

EID: 11344290827     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2004.08.004     Document Type: Article

References (20)

1. B. Beizer Software Testing Techniques second ed. 1990 Van Nostrand Reinhold New York
2. DRIVE safety - towards a European standard: the development of safe road transport informatic systems. DRIVE Project V1051, 1992. Draft 2.
3. J. Edvardsson A survey on automatic test data generation Proceedings of the Second Conference on Computer Science and Engineering in Linkoping, CCSSE'99, ProNova, Norrkoping, Oct. 21-22 1999 pp. 21-28
4. S. Gardiner Testing Safety-Related Software: A Practical Handbook 1999 Springer Berlin
5. A. Gotlieb, B. Botella, and M. Rueher Automatic test data generation using constraint solving techniques International Symposium on Software Testing and Analysis 1998
6. N. Gupta, A.P. Mathur, and M.L. Soffa Automated test data generation using an iterative relaxation method ACM SIGSOFT Sixth International Symposium on Foundations of Software Engineering(FSE-6), Orlando, FL Nov. 1998 pp. 231-244
7. M. Hind, M. Burke, P. Carini, and J.-D. Choi Interprocedural pointer alias analysis ACM Transactions on Programming Languages and Systems 21 4 1999 848 894
8. J. Hummel, L.J. Hendren, and A. Nicolau A general data dependence test for dynamic, pointer-based data structures in: Proceedings of ACMSIGPLAN'94 Conference on Programming Language Design and Implementation, Orlando, FL, Jun. 20-24 1994 pp. 218-229
9. B. Korel Automated software test data generation IEEE Transactions on Software Engineering 16 8 1990 870 879
10. C. Michel, M. Rueher, and Y. Lebbah Solving constraint over floating-point numbers in: Seventh International Conference on Principles and Practice of Constraint 2001 Springer, LNCS Berlin
11. J. Offutt An integrated automatic test data generation system Journal of Systems Integration 1 3 1996 391 409
12. J. Offutt, Z. Jin, and J. Pan The dynamic domain reduction approach to test data generation Software-Practice and Experience 29 2 1999 167 193
13. R.E. Prather, and J.P. Myers Jr. The path prefix software testing strategy IEEE Transactions on Software Engineering SE-13 7 1987 761 765
14. M. Sagiv, T. Reps, and R. Wilhelm Solving shape-analysis problems in languages with destructive updating ACM Transactions on Programming Languages and Systems 20 1 1998 1 50
15. I. Sommerville Software Engineering fourth ed. 1992 Addison-Wesley Reading, MA
16. B. Steensgarrd Points-to analysis in linear time in: ACM Symposium on Principles of Programming Languages 1996 ACM New York
17. P. Stocks, and D. Carrington A framework for specification-based testing IEEE Transactions on Software Engineering 22 1996 777 793
18. M.Z. Tsoukalas, J.W. Duran, and S.C. Ntafos On some reliability estimation problems in random and partition testing IEEE Transactions on Software Engineering 19 7 1993 687 697
19. S. Viswanathan, and N. Gupta Generating test data for functions with pointer inputs Seventeenth IEEE International Conference on Automated Software Engineering (ASE'02), Edinburgh, UK Sep. 2002 pp. 149-160
20. R. Wilhelm, M. Sagiv, and T. Reps Shape analysis in: International Conference on Compiler Construction Mar. 2000