Substra: A framework for automatic generation of integration tests

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2006, Pages 64-70

  Yuan, Hai ^a   Xie, Tao ^a  

^a North Carolina State University   (United States)

Author keywords

integration testing; software testing; test generation

Indexed keywords

AUTOMATIC GENERATION; COMPONENT INTERACTION; COMPONENT-BASED SOFTWARE SYSTEMS; INTEGRATION TESTING; INTEGRATION TESTS; MULTIPLE METHODS; PROGRAM BEHAVIOR; SOFTWARE INTEGRATION; TEST EXECUTION; TEST GENERATIONS;

COMPUTER SOFTWARE SELECTION AND EVALUATION; INTEGRATION; SOFTWARE ENGINEERING; SOFTWARE TESTING;

TESTING;

EID: 77953605335     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1138929.1138942     Document Type: Conference Paper

References (19)

1. S. Ali, M. J. ur Rehman, L. C. Briand, H. Asghar, Z. Zafar, and A. Nadeem. A state-based approach to integration testing for object-oriented programs. Technical Report SCE-05-08, Department of Systems and Computer Engineering, Carleton University, May 2005.
2. G. Ammons, R. Bodik, and J. R. Larus. Mining specifications. In Proc. 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 4-16, 2002.
3. F. Basanieri, A. Bertolino, and E. Marchetti. The Cow-Suite approach to planning and deriving test suites in UML projects. In Proc. 5th International Conference on the Unified Modeling Language, pages 383-397, 2002.
4. R. C. Bjork. ATM example introduction. http://courses.knox.edu/cs292/ ATMExample/Intro.html.
5. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Trans. Softw. Eng., 27(2):99-123, 2001.
6. G. T. Heineman and W. T. Councill. Component-Based Software Engineering: Putting the Pieces Together. Addison-Wesley, 2001.
7. D. Kung, N. Suchak, J. Gao, and P. Hsia. On object state testing. In Proc. 18th International Computer Software and Applications Conference, pages 222-227, 1994.
8. L.C.Briand, Y.Labiche, and J.Leduc. Towards the reverse engineering of UML sequence diagrams for distributed real-time Java software. Technical Report SCE-04-04, Carleton University, September 2004.
9. A. Orso and B. Kennedy. Selective Capture and Replay of Program Executions. In Proc. 3rd International ICSE Workshop on Dynamic Analysis, pages 29-35, St. Louis, MO, May 2005.
10. A. Paradkar. SALT - an integrated environment to automate generation of function tests for APIs. In Proc. 11th International Symposium on Software Reliability Engineering, pages 304-316, 2000.
11. A. Rountev, O. Volgin, and M. Reddoch. Static Control-Flow Analysis for Reverse Engineering of UML Sequence Diagrams. In Proc. ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, pages 96-102, September 2005.
12. D. Saff, S. Artzi, J. H. Perkins, and M. D. Ernst. Automatic test factoring for Java. In Proc. 21st Annual International Conference on Automated Software Engineering, pages 114-123, Long Beach, CA, November 2005.
13. K. Sen and G. Agha. Automated systematic testing of open distributed programs. In Proc. International Conference on Fundamental Approaches to Software Engineering (FASE 2006), 2006.
14. J. Whaley, M. C. Martin, and M. S. Lam. Automatic extraction of object-oriented component interfaces. In Proc. International Symposium on Software Testing and Analysis, pages 218-228, 2002.
15. T. Xie, D. Marinov, and D. Notkin. Rostra: A framework for detecting redundant object-oriented unit tests. In Proc. 19th IEEE International Conference on Automated Software Engineering, pages 196-205, Sept. 2004.
16. T. Xie and D. Notkin. Automatic extraction of object-oriented observer abstractions from unit-test executions. In Proc. 6th International Conference on Formal Engineering Methods, pages 290-305, Nov. 2004.
17. T. Xie and D. Notkin. Automatic extraction of sliced object state machines for component interfaces. In Proceedings of the 3rd Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2004), pages 39-46, October 2004.
18. T. Xie and D. Notkin. Tool-assisted unit-test generation and selection based on operational abstractions. Automated Software Engineering Journal, 2006.
19. H. Yuan and T. Xie. Automatic extraction of abstract-object-state machines based on branch coverage. In Proc. 1st International Workshop on Reverse Engineering To Requirements at WCRE 2005, pages 5-11, November 2005.