Formal test-case generation for UML statecharts

被引：23

作者：

Gnesi, S ^{[1
]}

Latella, D ^{[1
]}

Massink, M ^{[1
]}

机构：

[1] CNR, ISTI, I-56124 Pisa, Italy

来源：

NINTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS: NAVIGATING COMPLEXITY IN THE E-ENGINEERING AGE | 2004年

关键词：

D O I：

10.1109/ICECCS.2004.1310906

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The Unified Modeling Language has been introduced as a notation for modeling and reasoning about large and complex systems, and their design, across a wide range of application domains. System modeling and analysis techniques, especially those based on formal methods, are more and more used for enhancing traditional System Engineering techniques for improving system quality In particular this holds for model-based formal test case derivation using formal conformance testing. The contribution of the present paper is to provide a solid mathematical basis for conformance testing and automatic test case generation for UML Statecharts (UMLSCs). We propose a formal conformance-testing relation for input-enabled transition systems with transitions labeled by input/output-pairs (IOLTSs). IOLTSs provide a suitable semantic model for a behavioral subset of UMLSCs. We also provide an algorithm which, for a UMLSC specification and the alphabet of implementations, generates a test suite. The algorithm is proven exhaustive and sound w.r.t. the conformance relation.

引用

页码：75 / 84

页数：10

共 21 条

[1]

ALILOVICCURGUS J, 1993, IFIP TRANS C, V16, P289

[2]

Bogdanov K, 1999, LECT NOTES COMPUT SC, V1641, P107

[3] FINITE STATE MACHINE BASED FORMAL METHODS IN PROTOCOL CONFORMANCE TESTING - FROM THEORY TO IMPLEMENTATION [J].

BOSIK, BS ;

UYAR, MU .

COMPUTER NETWORKS AND ISDN SYSTEMS, 1991, 22 (01) :7-33

[4]

BRINKSMA E, 1991, PROTOCOL SPECIFICATI, V11, P289

[5]

FANTECHI A, 2004, UNPUB ENHANCING TEST

[6]

FEIJS L, 2002, IFIP 14 INT C TEST C

[7] Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking [J].

Gnesi, S ;

Latella, D ;

Massink, M .

JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2002, 51 (01) :43-75

[8]

GNESI S, 2001, CNUCEB04200116

[9]

Hennessy M., 1988, An algebraic theory of processes

[10]

Latella D., 1999, IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distribution Systems (FMOODS), P331

← 1 2 3 →