Test case generation by means of UML sequence diagrams and labeled transition systems

We present a systematic procedure of functional test case generation for feature testing of mobile phone applications. A feature is an increment of functionality, usually with a coherent purpose that is added on top of a basic system. Feature are usually developed and tested separately from the basic system as independent modules. The procedure is based on model-based testing techniques with test cases generated from UML sequence diagrams translated into labeled transition systems (LTSs). A case study is presented to illustrate the application of the procedure. The work is part of a research initiative for automation of test case generation, selection and evaluation of Motorola mobile phone applications.

[1]  Boris Beizer,et al.  Software Testing Techniques , 1983 .

[2]  Boris Beizer,et al.  Software testing techniques (2. ed.) , 1990 .

[3]  W. B. Perkinson.  A methodology for designing and executing ISDN feature tests, using automated test systems , 1992, [Conference Record] GLOBECOM '92 - Communications for Global Users: IEEE.

[4]  Paul C. Jorgensen,et al.  Software Testing: A Craftsman's Approach , 1995 .

[5]  Paul J. Kühn,et al.  The Feature and Service Interaction Problem in Telecommunications Systems. A Survey , 1998, IEEE Trans. Software Eng..

[6]  J. Jézéquel,et al.  Validating Distributed Software Modeled with UML , 1998 .

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

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

[9]  Siddhartha R. Dalal,et al.  Model-based testing in practice , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[10]  Chryssa Dislis,et al.  The evolution of a system test process [for Motorola GSM products] , 1999, International Test Conference 1999. Proceedings (IEEE Cat. No.99CH37034).

[11]  Jean-Marc Jézéquel,et al.  UMLAUT: an extendible UML transformation framework , 1999, 14th IEEE International Conference on Automated Software Engineering.

[12]  John D. McGregor,et al.  A Practical Guide to Testing Object-Oriented Software , 2001, Addison Wesley object technology series.

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

[14]  James A. Whittaker,et al.  Model‐Based Software Testing , 2002 .

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

[16]  Mario Kolberg,et al.  Feature interaction: a critical review and considered forecast , 2003, Comput. Networks.

[17]  Alexander Ran,et al.  Making sense of runtime architecture for mobile phone software , 2003, ESEC/FSE-11.

[18]  Amy P. Felty,et al.  Feature specification and automated conflict detection , 2003, TSEM.

[19]  Winfried Dulz,et al.  Automated TTCN-3 test case generation by means of UML sequence diagrams and Markov chains , 2003, 2003 Test Symposium.

[20]  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 .

[21]  Thierry Jéron,et al.  A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems , 2005 .

[22]  Hassan Gomaa,et al.  Model-based testing for applications derived from software product lines , 2005, A-MOST.