Generation of Optimized Testsuites for UML Statecharts with Time

abstract We present an approach to automatically generate time-optimized coverage-based testsuites from a subclass of deterministic statecharts with real-time constraints. The algorithms are implemented as a plugin for a standard UML tool (Poseidon for UML). The statecharts are extended to accomplish common and new coverage criteria inspired by the experience of test experts and translated into timed automata. The model checker UPPAAL then searches a trace with the fastest diagnostic trace option which provides the basis for the testsuite.

[1]  Doron A. Peled,et al.  Software Reliability Methods , 2001, Texts in Computer Science.

[2]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[3]  Insup Lee,et al.  A Temporal Logic Based Theory of Test Coverage and Generation , 2002, TACAS.

[4]  Brian Nielsen,et al.  Automated Test Generation from Timed Automata , 2001, TACAS.

[5]  Alexandre Petrenko,et al.  Protocol testing: review of methods and relevance for software testing , 1994, ISSTA '94.

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

[7]  Thierry Jéron,et al.  Test Generation Derived from Model-Checking , 1999, CAV.

[8]  Pretschner,et al.  Model Based Testing with Constraint Logic Programming: First Results and Challenges , 2001 .

[9]  Angelo Gargantini,et al.  Using model checking to generate tests from requirements specifications , 1999, ESEC/FSE-7.

[10]  Nnamdi Kohn,et al.  Middleware zur Realisierung offener Steuerungssoftware für hochdynamische Prozesse (Realizing Open Control Software for High Dynamic Processes with a Middleware) , 2004, it Inf. Technol..

[11]  Sungdeok Cha.  Automatic Test Generation from Statecharts Using Model Checking , 2001 .

[12]  Alan Hartman,et al.  Projected state machine coverage for software testing , 2002, ISSTA '02.

[13]  Sanjai Rayadurgam,et al.  Coverage based test-case generation using model checkers , 2001, Proceedings. Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer-Based Systems-ECBS 2001.

[14]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[15]  Thierry Jéron,et al.  Automated test generation from SDL specifications , 1999, SDL Forum.

[16]  Brian Nielsen,et al.  Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers , 2005, FATES.

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

[18]  Elaine J. Weyuker,et al.  Selecting Software Test Data Using Data Flow Information , 1985, IEEE Transactions on Software Engineering.

[19]  Ron Patton,et al.  Software Testing , 2000 .

[20]  A. Pretschner.  Classical search strategies for test case generation with Constraint Logic Programming , 2001 .

[21]  Rajeev Alur,et al.  A Temporal Logic of Nested Calls and Returns , 2004, TACAS.

[22]  Kim G. Larsen,et al.  Time-Optimal Real-Time Test Case Generation Using Uppaal , 2003, FATES.

[23]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[24]  Nicolae Goga,et al.  Comparing TorX, Autolink, TGV and UIO Test Algorithms , 2001, SDL Forum.

[25]  Yael Edan,et al.  An Individual Feed Allocation Decision Support System for the Dairy Farm , 2001 .