An application of UML models for semi-automated generation of test scenarios for validation of object oriented systems against specification requirements

Systematic and rigorous validation carried out during entire process of development of a software intensive system can significantly reduce total costs and time to market and improve the quality of the system. In context of developing object-oriented systems (OOSs) information relevant to validation can be derived from early UML models. The paper presents next results of the work on a novel approach to generation of test scenarios from UML models for validation of OOSs against specification requirements.

[1]  Jeanine Souquières,et al.  Validation of UML scenarios using the B Prover , 2006 .

[2]  Lionel C. Briand,et al.  A UML-Based Approach to System Testing , 2001, Software and Systems Modeling.

[3]  Robert B. France,et al.  Rigorous Testing by Merging Structural and Behavioral UML Representations , 2003, UML.

[4]  Antonio Bucchiarone,et al.  TESTOR: deriving test sequences from model-based specifications , 2005, CBSE'05.

[5]  Dehla Sokenou.  Generating Test Sequences from UML Sequence Diagrams and State Diagrams , 2006, GI Jahrestagung.

[6]  Kevin Dockerill,et al.  4 The Importance of Animation with UML , 1999 .

[7]  Robert B. France,et al.  A Systematic Approach to Generate Inputs to Test UML Design Models , 2006, 2006 17th International Symposium on Software Reliability Engineering.

[8]  Standard Glossary of Software Engineering Terminology , 1990 .

[9]  Robert V. Binder,et al.  Testing Object-Oriented Systems: Models, Patterns, and Tools , 1999 .

[10]  Armin Eberlein,et al.  Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing , 2009, Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing.

[11]  Paul A. Strooper,et al.  Automated Generation of Test Cases Using Model-Driven Architecture , 2007, Second International Workshop on Automation of Software Test (AST '07).

[12]  Ilka Philippow,et al.  UML-Based Statistical Test Case Generation , 2002, NetObjectDays.

[13]  Doo-Hwan Bae,et al.  Test cases generation from UML state diagrams , 1999, IEE Proc. Softw..

[14]  Sebastián Uchitel,et al.  Scenarios and state machines: models, algorithms, and tools , 2002, ICSE '02.

[15]  Ahmed M. Salem,et al.  Utilizing UML Use Cases for Testing Requirements , 2004, Software Engineering Research and Practice.

[16]  A. Jefferson Offutt,et al.  Generating Tests from UML Specifications , 1999, UML.

[17]  Falk Fraikin,et al.  SeDiTeC-testing based on sequence diagrams , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.

[18]  Klaus Beetz,et al.  Model Based Testing of System Requirements using UML Use Case Models , 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

[19]  Aamer Nadeem,et al.  A state-based approach to integration testing based on UML models , 2007, Inf. Softw. Technol..

[20]  Sungwon Kang,et al.  Test Cases Generation from UML Activity Diagrams , 2007 .

[21]  Lionel C. Briand,et al.  Towards Automated Support for Deriving Test Data from UML Statecharts , 2003, UML.

[22]  Manuel Clavel,et al.  ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams , 2006, AMAST.

[23]  Pin Ng.  A Concept Lattice Approach for Requirements Validation with UML State Machine Model , 2007, 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007).

[24]  Jean Hartmann,et al.  A UML-based approach to system testing , 2005, Innovations in Systems and Software Engineering.

[25]  A. Jefferson Offutt,et al.  Using UML Collaboration Diagrams for Static Checking and Test Generation , 2000, UML.

[26]  Faizan Javed,et al.  A Grammar-Based Approach to Class Diagram Validation , 2005 .

[27]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .