Automated large-scale simulation test-data generation for object-oriented software systems

Proceedings of the 1st International Symposium on Data, Privacy, and E-Commerce, ISDPE 2007

Volumn , Issue , 2007, Pages 74-79

  Zheng, Yujun ^a,b   Ma, Yan ^b   Xue, Jinyun ^c  

^a INSTITUTE OF SOFTWARE   (China)

^b Systems Engineering Institute of Engineer Equipment   (China)

^c JIANGXI NORMAL UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMMERCE; DESIGN FOR TESTABILITY; ELECTRONIC COMMERCE; INFORMATION SYSTEMS; LIFE CYCLE; OBJECT ORIENTED PROGRAMMING; SOFTWARE DESIGN; SOFTWARE ENGINEERING; STATISTICAL METHODS; STATISTICAL TESTS; TESTING;

ACCURATE SIMULATION; AUTOMATED GENERATION; DATA ANALYSIS; DATA GENERATION; DEVELOPMENT PROCESSES; E-COMMERCE; ENTERPRISE INFORMATION SYSTEMS (EIS); INTERNATIONAL SYMPOSIUM; LARGE-SCALE SIMULATIONS; OBJECT ORIENTED SOFTWARE DEVELOPMENT; OBJECT ORIENTED SOFTWARE SYSTEMS; REAL WORLD; SOFTWARE PRODUCTS; SOFTWARE TOOLS; STATISTICAL PROPERTIES; SYSTEM ANALYSIS; TEST TOOLS;

COMPUTER SOFTWARE;

EID: 48049098152     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISDPE.2007.104     Document Type: Conference Paper

References (17)

1. B. Beizer, Software Testing Techniques (2nd eds.), Van Nostrand, Reinhold, 1990.
2. R. T. Mraz, "Automated Testing of Application Domains", PhD Thesis, Computer Science Department, Colorado State University, 1994.
3. R. Ferguson and B. Korel, "The Chaining Approach for Software Test Data Generation", IEEE Transactions on Software Engineering, Vol. 5, No. 1, 1996, pp. 63-86.
4. C. Csallner and Y. Smaragdakis, "JCrasher: An Automatic Robustness Tester for Java", Software Practice and Experience, Vol. 34, No. 11, 2004, pp. 1025-1050.
5. T. Xie, D. Marinov, W. Schulte, and D. Notkin, "Symstra; A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution", in Proc. 11th Int 'I Conf. Tools and Algorithms for the Construction and Analysis of Systems, Edinburgh, UK, 2005. Lecture Notes in Computer Science, Vol. 3340, pp. 365-381.
6. J. Grundy, G.L. Ding, and J. Hosking, "Deployed Software Component Testing Using Dynamic Validation Agents", Journal of System and Software, Vol. 74, No. 1, 2005, pp. 5-14.
7. L. Liu and H.K. Miao, "A Specification-Based Approach to Testing Polymorphic Attributes," in Proc. 6th Int'l Conf. Formal Methods and Software Engineering, Seattle, 2004. Lecture Notes in Computer Science, Vol. 3308, pp. 306-319.
8. L. Frantzen, J. Tretmans, and A.C. Willemse, "Test Generation Based on Symbolic Specifications," in Proc. 4th Workshop on Formal Approaches to Software Testing, Linz, Austria, 2004. Lecture Notes in Computer Science, Vol.3395, pp. 1-15.
9. Y.J. Zheng and J.Y. Xue, "A Maintenance Process Framework for Formal Derived Software," in Proc. 1st Int'l Workshop on Software Process, Beijing, China, 2005, pp. 492-494.
10. T. Xie and D. Notkin, "Automatic Extraction of ObjectOriented Observer Abstractions from Unit-Test Executions," in Proc. 6th Int'l Conf. Formal Methods and Software Engineering, Seattle, USA, 2004, Lecture Notes in Computer Science, Vol. 3308, pp. 290-305.
11. J. Edvardsson, "A Survey on Automatic Test Data Generation", in Proc. 2nd Int'l Conf. Computer Science and Engineering, Linköping, Sweden, 1999, pp. 21-28.
12. J. Hartmann, M. Vieira, H. Foster, and A. Ruder, "UML-based Test Generation and Execution", Internal Report, Siemens Corporate Research Inc, 2004.
13. D. Box and C. Sells, Essential .NET, Volume 1: The Common Language Runtime, Addison Wesley, Reading Mass, 2003.
14. G. Booch, J. Rumbaugh and I. Jacoboson, The Unified Modeling Language User Guide, Addison Wesley, Reading Mass, 1999.
15. Y.J. Zheng, L.L. Wang, and R.W. Cui, "Performance Monitoring and Measuring in Management Information Systems," in Proc. 1st Chinese Symp. Quality Information Management, Beijing, China, 2002, pp. 253-257.
16. G.R. Gong and M.P. Qiang, Applied Stochastic Processes, Tsinghua University Press, Beijing, 2003.
17. E. Dustin, J. Rashka, and J. Paul, Automated Software Testing: Introduction, management, and performance, Addison Wesley, Reading Mass, 1999.