Efficient test-based model generation for legacy reactive systems

被引：42

作者：

Margaria, T ^{[1
]}

Niese, O ^{[1
]}

Raffelt, H ^{[1
]}

Steffen, B ^{[1
]}

机构：

[1] Univ Gottingen, D-3400 Gottingen, Germany

来源：

NINTH IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS | 2004年

关键词：

D O I：

10.1109/HLDVT.2004.1431246

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

We present the effects of using an efficient algorithm for behavior-based model synthesis which is specifically tailored to reactive (legacy) system behaviors. Conceptual backbone is the classical automata learning procedure L*, which we adapt according to the considered application profile. The resulting learning procedure L-Mealy*, which directly synthesizes generalized Mealy automata from behavioral observations gathered via an automated test environment, drastically outperforms the classical learning algorithm for deterministic finite automata. Thus it marks a milestone towards opening industrial legacy systems to model-based test suite enhancement, test coverage analysis, and online testing.

引用

页码：95 / 100

页数：6

共 23 条

[1] LEARNING REGULAR SETS FROM QUERIES AND COUNTEREXAMPLES
ANGLUIN, D
[J]. INFORMATION AND COMPUTATION, 1987, 75 (02) : 87 - 106
[2] Finding latent code errors via machine learning over program executions
Brun, Y
Ernst, MD
[J]. ICSE 2004: 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2004, : 480 - 490
[3] TESTING SOFTWARE DESIGN MODELED BY FINITE-STATE MACHINES
CHOW, TS
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1978, 4 (03) : 178 - 187
[4] Cook J. E., 1998, ACM Transactions on Software Engineering and Methodology, V7, P215, DOI 10.1145/287000.287001
[5] Cook JE, 2002, DISCOVERING MODELS B
[6] Ernst M. D., 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium, P449, DOI 10.1109/ICSE.2000.870435
[7] TEST SELECTION BASED ON FINITE STATE MODELS
FUJIWARA, S
BOCHMANN, GV
KHENDEK, F
AMALOU, M
GHEDAMSI, A
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (06) : 591 - 603
[8] Groce A, 2002, LECT NOTES COMPUT SC, V2280, P357
[9] Hagerer A, 2002, LECT NOTES COMPUT SC, V2306, P80
[10] HAGERER A, 2001, ANN REV COMMUNICATIO, V55

← 1 2 3 →