Rigorous testing by merging structural and behavioral UML representations

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

Volumn 2863, Issue , 2003, Pages 234-248

  Pilskalns, Orest ^a   Andrews, Anneliese ^a   Ghosh, Sudipto ^b   France, Robert ^b  

^a WASHINGTON STATE UNIVERSITY   (United States)

^b Department of Environmental and Radiological Health Sciences   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DIRECTED GRAPHS; ENCODING (SYMBOLS); GRAPH THEORY; MERGING; MODELING LANGUAGES; TESTING;

ATTRIBUTE VALUES; DIRECTED ACYCLIC GRAPH (DAG); ERROR DETECTION AND CORRECTION; EXECUTION SEQUENCES; MERGING PROCESS; SEQUENCE DIAGRAMS; SYSTEMATIC TESTING; TEST ADEQUACY CRITERIA;

UNIFIED MODELING LANGUAGE;

EID: 0242339580     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45221-8_21     Document Type: Article

References (10)

1. A. Abdurazik and J. Offutt, "Using UML Collaboration Diagrams for Static Checking and Test Generation", 3rd International Conference on the UML, pp. 383-395, Oct, 2000.
2. A. Andrews, R. France, S. Ghosh and G. Craig; "Test Adequacy Criteria for UML Design Models," Journal of Software Testing, Verification, and Reliability, 13(2), pp. 95-127, June, 2003.
3. R. Binder, Testing Object-Oriented Systems Models, Patterns, and Tools, Object Technology Series, Addison Wesley, Reading, Massachusetts, 1999.
4. L. Briand and Y. Labiche, "A UML-based Approach to System Testing", 4th International Conference on the UML, pp. 194-208, Oct, 2001.
5. M. Fowler and K. Scott, UML Distilled Second Edition, Addison-Wesley, 2000.
6. C. Larman, Applying UML and Patterns, Prentice Hall, 2002.
7. Object Management Group, "UML 2.0 Draft Specification", http://www.omg.org/uml, 2003
8. J. Offutt and A. Abdurazik, "Generating Test from UML Specifications", 2nd International Conference on the UML, pp. 416-429, Oct, 1999.
9. T. Schafer, A. Knapp, and S. Merz, "Model Checking UML State Machines and Collaborations", Electronic Notes in Theoretical Computer Science, 47, pp. 1-13, 2001.
10. M. Scheetz and A. von Mayrhauser and R. France and E. Dahlman and A. E. Howe, "Generating Test Cases from an OO Model with an AI Planning System", ISSRE'99, pp. 250-259, 1999.