Coverage criteria for testing of object interactions in sequence diagrams

Lecture Notes in Computer Science

Volumn 3442, Issue , 2005, Pages 289-304

  Rountev, Atanas ^a   Kagan, Scott ^a   Sawin, Jason ^a  

^a OHIO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTATIONAL COMPLEXITY; COMPUTER CONTROL; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; REVERSE ENGINEERING; TESTING;

OBJECT INTERACTIONS; SEQUENCE DIAGRAMS; TEST COVERAGE TOOLS; UML SEQUENCES;

INTERACTIVE COMPUTER GRAPHICS;

EID: 24644489312     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31984-9_22     Document Type: Conference Paper

References (25)

1. Binder, R.: Testing object-oriented software: a survey. Journal of Software Testing, Verification and Reliability 6 (1996) 125-252
2. Perry, D., Kaiser, G.: Adequate testing and object-oriented programming. Journal of Object-Oriented Programming 2 (1990) 13-19
3. Binder, R.: Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley (1999)
4. Abdurazik, A., Offutt, J.: Using UML collaboration diagrams for static checking and test generation. In: International Conference on the Unified Modeling Language. (2000) 383-395
5. Briand, L., Labiche, Y.: A UML-based approach to system testing. Journal of Software and Systems Modeling 1 (2002)
6. . Fraikin, F., Leonhardt, T.: SeDiTeC - testing based on sequence diagrams. In: International Conference on Automated Software Engineering. (2002) 261-266
7. Wu, Y., Chen, M.H., Offutt, J.: UML-based integration testing for component-based software. In: International Conference on COTS-Based Software Systems. (2003)
8. Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley (1999)
9. Fowler, M.: UML Distilled. 3rd edn. Addison-Wesley (2003)
10. Larman, C.: Applying UML and Patterns. 2nd edn. Prentice Hall (2002)
11. Kollman, R., Gogolla, M.: Capturing dynamic program behavior with UML collaboration diagrams. In: European Conference on Software Maintenance and Reengineering. (2001) 58-67
12. Tonella, P., Potrich, A.: Reverse engineering of the interaction diagrams from C++ code. In: IEEE International Conference on Software Maintenance. (2003) 159-168
13. Rountev, A., Volgin, O., Reddoch, M.: Control flow analysis for reverse engineering of sequence diagrams. Technical Report OSU-CISRC-3/04-TR12, Ohio State University (2004)
14. Rountev, A., Connell, B.H.: Object naming analysis for reverse-engineered sequence diagrams. In: International Conference on Software Engineering. (2005) to appear.
15. Jorgenson, P., Erickson, C.: Object-oriented integration testing. Communications of the ACM 37 (1994) 30-38
16. Basanieri, F., Bertolino, A.: A practical approach to UML-based derivation of integration tests. In: 4th International Quality Week Europe. (2000)
17. Milanova, A., Rountev, A., Ryder, B.G.: Parameterized object sensitivity for points-to analysis for Java. ACM Transactions on Software Engineering and Methodology (2004) to appear.
18. Bodik, R., Gupta, R., Soffa, M.L.: Refining data flow information using infeasible paths. In: ACM SIGSOFT International Symposium on Foundations of Software Engineering. (1997) 361-377
19. Rountev, A., Kagan, S., Sawin, J.: Coverage criteria for testing of object interactions in sequence diagrams. Technical Report OSU-CISRC-12/04-TR68, Ohio State University (2004)
20. Ball, T., Larus, J.: Efficient path profiling. In: IEEE/ACM International Symposium on Microarchitecture. (1996) 46-57
21. Rountev, A., Milanova, A., Ryder, B.G.: Points-to analysis for Java based on annotated constraints. In: Conference on Object-Oriented Programming Systems, Languages, and Applications. (2001) 43-55
22. Rountev, A., Kagan, S., Gibas, M.: Static and dynamic analysis of call chains in Java. In: ACM SIGSOFT International Symposium on Software Testing and Analysis. (2004) 1-11
23. Sharir, M., Pnueli, A.: Two approaches to interprocedural data flow analysis. In Muchnick, S., Jones, N., eds.: Program Flow Analysis: Theory and Applications. Prentice Hall (1981) 189-234
24. Ammons, G., Ball, T., Larus, J.: Exploiting hardware performance counters with flow and context sensitive profiling. In: ACM SIGSOFT Conference on Programming Language Design and Implementation. (1997) 85-96
25. Melski, D., Reps, T.: Interprocedural path profiling. In: International Conference on Compiler Construction. LNCS 1575 (1999) 47-62