Deriving tests from UML 2.0 sequence diagrams with neg and assert

In this paper we define an algorithm for deriving tests from UML 2.0 sequence diagrams based on the operational semantics for sequence diagrams defined in [13]. The algorithm is a modifiedand adapted version of the algorithm presented in [19, 20]. This modified algorithm is based on the standard semantic model of sequence diagrams and allows diagrams to contain the operators neg and assert. The derived tests are themselves sequence diagrams.

[1]  Mass Soldal Lund,et al.  Testing decomposition of component specifications based on a rule for formal verification , 2003, Third International Conference on Quality Software, 2003. Proceedings..

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

[3]  Dieter Hogrefe,et al.  SDL and MSC based test generation for distributed test architectures , 1999, SDL Forum.

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

[5]  Anders P. Ravn,et al.  Proceedings of the 2006 international workshop on Automation of software test , 2006, International Conference on Software Engineering.

[6]  Jan Tretmans,et al.  Testing Concurrent Systems: A Formal Approach , 1999, CONCUR.

[7]  Ketil Stølen,et al.  A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice , 2006, FM.

[8]  Ketil Stølen,et al.  How to transform UML neg into a useful construct , 2005 .

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

[10]  Dehla Sokenou.  Ein UML-basierter Testansatz zum Klassen- und Integrationstest , 2005, Software Engineering.

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

[12]  Ketil Stølen,et al.  STAIRS towards formal design with sequence diagrams , 2005, Software & Systems Modeling.

[13]  Sjouke Mauw,et al.  Message Sequence Chart (MSC) , 1996 .

[14]  Bill Mitchell,et al.  Automatic Generation of Conformance Tests from Message Sequence Charts , 2002, SAM.

[15]  Jean Hartmann,et al.  UML-Based integration testing , 2000, ISSTA '00.

[16]  Itu-T.  Specification and Description Language (SDL) , 1999 .

[17]  Ketil Stølen,et al.  Why Timed Sequence Diagrams Require Three-Event Semantics , 2003, Scenarios: Models, Transformations and Tools.