Towards automated support for deriving test data from UML statecharts

Lionel C. Briand, Jim Cui, Yvan Labiche

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Abstract

Many statechart-based testing strategies result in specifying a set of paths to be executed through a (flattened) statechart. These techniques can usually be easily automated so that the tester does not have to go through the tedious procedure of deriving paths manually to comply with a coverage criterion. The next step is then to take each test path individually and derive test data, i.e., fully specified test cases. This requires that we determine the system state required for each event/transition that is part of the path to be tested and the input parameter values for all events and actions on the transitions. We propose here a methodology to automate this procedure, which is based on a careful normalization and analysis of event/action contracts and transition guards written with the Object Constraint Language (OCL). It is illustrated by a case study that exemplifies the steps and provides an initial validation. Though many of the steps are automated, some inputs are still required from the modeler and tester and further work is necessary to push the automation even further and solve a number of remaining issues. This paper is a first attempt at clarifying the issues and identifying the analysis steps required in such an endeavor.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
EditorsPerdita Stevens, Jon Whittle, Grady Booch
PublisherSpringer Verlag
Pages249-264
Number of pages16
ISBN (Print)9783540202431
DOIs
Publication statusPublished - 2003
Externally publishedYes

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2863
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint

Dive into the research topics of 'Towards automated support for deriving test data from UML statecharts'. Together they form a unique fingerprint.

Cite this