TESTOR: deriving test sequences from model-based specifications

The dependability analysis of a component-based system may be driven by the components/system implementation or by the model-based specification provided prior to or together with the implementation. In particular, model-based specifications of a component-based system allows to explicitly model the structure and behavior of components and their integration, while model-based testing allows to derive test sequences which can be successively refined into test cases and then run onto the system implementation. Several techniques have been proposed so far to allow model-based testing. However, very few of them show certain characteristics which are peculiar for use in industrial contexts. We here describe TeStor, a TEst Sequence generaTOR algorithm which allows to extract test sequences from both state machine and scenario diagrams. We detail the algorithm, we apply it to a system study and we provide a link to its implementation.

[1]  Frank Maurer,et al.  Using UML to Partially Automate Generation of Scenario-Based Test Drivers , 2001, OOIS.

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

[3]  Antonio Bucchiarone,et al.  Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing , 2004, FORTE Workshops.

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

[5]  Zhichang Qi,et al.  Test selection from UML Statecharts , 1999, Proceedings Technology of Object-Oriented Languages and Systems (Cat. No.PR00393).

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

[7]  Studi Di Pisa.  Software Testing in the XXI Century: Methods, Tools and New Approaches To Manage, Control and Evaluate This Critical Phase , 2004 .

[8]  Thierry Jéron,et al.  TGV : theory , principles and algorithms A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems , 2004 .

[9]  Martin Glinz,et al.  Using Dependency Charts to Improve Scenario-Based Testing , 2000 .

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

[11]  Ekkart Rudolph,et al.  HyperMSCs and Sequence Diagrams for Use Case Modelling and Testing , 2000, UML.

[12]  David Harel,et al.  Specifying and executing behavioral requirements: the play-in/play-out approach , 2003, Software & Systems Modeling.

[13]  Garry D. Coleman,et al.  Advancing the Standard , 1999 .

[14]  David Harel,et al.  Specifying and executing requirements: the play-in/play-out approach , 2002, OOPSLA '02.

[15]  Marc J. Balcer,et al.  The category-partition method for specifying and generating fuctional tests , 1988, CACM.

[16]  Bernhard Rumpe,et al.  «UML»’99 — The Unified Modeling Language , 2003, Lecture Notes in Computer Science.

[17]  Ivica Crnkovic,et al.  Building Reliable Component-Based Software Systems , 2002 .

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

[19]  Eda Marchetti,et al.  The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects , 2002, UML.

[20]  Giuliano Antoniol,et al.  A case study using the round-trip strategy for state-based class testing , 2002, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings..

[21]  Eda Marchetti,et al.  Introducing a Reasonably Complete and Coherent Approach for Model-based Testing , 2005, TACoS.

[22]  Jean-Marc Jézéquel,et al.  ≪UML≫ 2002 — The Unified Modeling Language , 2002, Lecture Notes in Computer Science.

[23]  Manuel Núñez,et al.  Applying Formal Methods: Testing, Performance, and M/E-Commerce , 2004, Lecture Notes in Computer Science.