Using UML collaboration diagrams for static checking and test generation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1939, Issue , 2000, Pages 383-395

  Abdurazik, Aynur ^a   Offutt, Jeff ^a  

^a GEORGE MASON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TEST PATTERN GENERATION; DYNAMIC ANALYSIS; FLOW GRAPHS; GRAPHIC METHODS; SOFTWARE DESIGN; SPECIFICATIONS; UNIFIED MODELING LANGUAGE;

COLLABORATION DIAGRAM; CONTROL FLOW GRAPHS; GRAPHICAL MODEL; HIGH-LEVEL DESIGN; PROGRAM SOURCE CODES; STATIC CHECKING; TEST GENERATIONS; UML COLLABORATIONS;

SOFTWARE TESTING;

EID: 84957001879     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-40011-7_28     Document Type: Conference Paper

References (11)

1. B. Beizer. Software Testing Techniques. Van Nostrand Reinhold, Inc, New York NY, 2nd edition, 1990. ISBN 0-442-20672-0.
2. Rational Software Corporation. Rational Rose 98: Using Rational Rose. Rational Rose Corporation, Cupertino CA, 1998.
3. Gregor Engels, L. P. J. Groenewegen, and G. Kappal. Object-oriented specification of coordinated collaboration. In Proceedings of the IFIP World Conference on IT Tools, pages 437–449, Canberra, Australia, September 1996.
4. Gregor Engels, Roland Hucking, Stefan Sauer, and Annika Wagner. Uml collaboration diagrams and their transformation to java. In Proceedings of the Second IEEE International Conference on the Unified Modeling Language (UML99), pages 473–488, Fort Collins, CO, October 1999. IEEE Computer Society Press.
5. P. G. Frankl and E. J. Weyuker. An applicable family of data flow testing criteria. IEEE Transactions on Software Engineering, 14(10):1483–1498, October 1988.
6. Object Management Group. OMG UML Specification Version 1.3, June 1999. Available at http://www.omg.org/uml/.
7. Jeff Offutt and Aynur Abdurazik. Generating tests from UML specifications. In Proceedings of the Second IEEE International Conference on the Unified Modeling Language (UML99), pages 416–429, Fort Collins, CO, October 1999. IEEE Computer Society Press.
8. Jeff Offutt, Yiwei Xiong, and Shaoying Liu. Criteria for generating specificationbased tests. In Proceedings of the Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS’99), pages 119–131, Las Vegas, NV, October 1999. IEEE Computer Society Press.
9. Gunnar Overgaard. A Formal Approach to Collaborations in the Unified Modeling Language. In Proceedings of the Second IEEE International Conference on the Unified Modeling Language (UML99), pages 99–115, Fort Collins, CO, October 1999. IEEE Computer Society Press.
10. A. Spillner. Control flow and data flow oriented integration testing methods. The Journal of Software Testing, Verification, and Reliability, 2(2):83–98, 1992.
11. Hong Zhu, Patrick A. V. Hall, and John H. R. May. Software unit test coverage and adequacy. ACM Computing Surveys, 29(4):366–427, December 1997.