Generating test sequences from UML sequence diagrams and state diagrams

INFORMATIK 2006 - Informatik fur Menschen, Beitrage der 36. Jahrestagung der Gesellschaft fur Informatik e.V. (GI)

Volumn 2, Issue , 2006, Pages 236-240

  Sokenou, Dehla ^a  

^a GEBIT Solutions GmbH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SEQUENCE DIAGRAMS; STATE DIAGRAM; TEST CASE; TEST SEQUENCE; UML COMPONENTS; UML MODEL; UML SEQUENCE; UML SEQUENCE DIAGRAMS;

GRAPHIC METHODS; UNIFIED MODELING LANGUAGE;

SOFTWARE TESTING;

EID: 57749182996     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. F. Basanieri and A. Bertolino. A Practical Approach to UML-Based Derivation of Integration Tests. In QWE' 2000
2. L. C. Briand and Y. Labiche. A UML-Based Approach to System Testing. In UML' 2001
3. Z. R. Dai, J. Grabowski, H. Neukirchen, and H. Pals. From Design to Test with UML -Applied to a Roaming Algorithm for Bluetooth Devices. In Test Com' 2004
4. A. Engels, L. M. G. Feijs, and S. Mauw. Test Generation for Intelligent Networks Using Model Checking. In TACAS' 1997
5. F. Fraikin and T. Leonhardt. SeDiTeC - Testing Based on Sequence Diagrams. In ASE' 2002
6. D. C. Kung, N. Suchak, J. Gao, P. Hsia, Y. Toyoshima, and C. Chen. On Object State Testing. In COMPSAC' 1994
7. C. Nebut, F. Fleurey, Y. Le Traon, and J.-M. Jézéquel. Automatic Test Generation: A Use Case Driven Approach. IEEE Transactions on Software Engineering, 32(3):140-155, 2006.
8. J. Offutt and A. Abdurazik. Using UML Collaboration Diagrams for Static Checking and Test Generation. In UML' 2000
9. D. Seifert, S. Helke, and T. Santen. Test Case Generation for UML Statecharts. In PSI' 2003
10. H. Störrle. Assert, Negate and Refinement in UML 2 Interactions. In Workshop on Critical Systems Development with UML at UML' 2003
11. Unified Modeling Language Specification, Version 2.0. OMG, 2004.
12. UML 2.0 Testing Profile Specification, Version 1.0. OMG, 2004.