Automated support for deriving test requirements from UML statecharts

被引：1

作者：

Briand L.C. ^{[1
]}

Labiche Y. ^{[1
]}

Cui J. ^{[1
]}

机构：

[1] Software Quality Engineering Laboratory, Carleton University, Department SCE, Ottawa, Ont. K1S 5B6

来源：

Software & Systems Modeling | 2005年 / 4卷 / 4期

基金：

加拿大自然科学与工程研究理事会;

关键词：

Information System; Operating System; Input Parameter; System State; System Application;

D O I：

10.1007/s10270-005-0090-5

中图分类号：

学科分类号：

摘要：

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 requirements leading to 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 associated with the transitions. We propose here a methodology towards the automation of this procedure, which is based on a careful normalization and analysis of operation contracts and transition guards written with the Object Constraint Language (OCL). It is illustrated by one case study that exemplifies the steps of our methodology and provides a first evaluation of its applicability. © Springer-Verlag 2005.

引用

页码：399 / 423

页数：24

共 34 条

[1]

(2001)

[2]

Bruegge B., Dutoit A.H., Object-Oriented Software Engineering Using UML Patterns and Java, (2004)

[3]

Binder R.V., Testing Object-Oriented Systems - Models, Patterns, and Tools. Object Technology, (1999)

[4]

Offutt A.J., Abdurazik A., Generating Tests from UML specifications, Proceedings of the 2nd International Conference on the Unified Modeling Language (UML'99), pp. 416-429, (1999)

[5]

Beizer B., Software Testing Techniques, (1990)

[6]

(2001)

[7]

Warmer J., Kleppe A., The Object Constraint Language, (1999)

[8]

Meyer B., Object-Oriented Software Construction, (1997)

[9]

Mitchell R., McKim J., Design By Contract By Example, (2001)

[10]

Chevalley P., Thevenod-Fosse P., Automated Generation of Statistical Test Cases from UML State Diagrams, Proceedings of the International Computer Software and Applications Conference, pp. 205-214, (2001)

← 1 2 3 4 →