On Handling Data in Automata Learning Considerations from the CONNECT Perspective

被引：16

作者：

Howar, Falk ^{[1
]}

Jonsson, Bengt ^{[2
]}

Merten, Maik ^{[1
]}

Steffen, Bernhard ^{[1
]}

Cassel, Sofia ^{[2
]}

机构：

[1] Tech Univ Dortmund, Chair Programming Syst, Dortmund, Germany

[2] Uppsala Univ, Dept Comp Syst, S-75105 Uppsala, Sweden

来源：

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II | 2010年 / 6416卷

关键词：

REGULAR INFERENCE; STATE MACHINES;

D O I：

10.1007/978-3-642-16561-0_24

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Most communication with real-life systems involves data values being relevant to the communication context and thus influencing the observable behavior of the communication endpoints. When applying methods from the realm of automata learning, it is necessary to handle such data-occurrences. In this paper, we consider how the techniques of automata learning can be adapted to the problem of learning interaction models in which data parameters are an essential element. Especially, we will focus on how test-drivers for real-word systems can be generated automatically. Our main contribution is an analysis of (1) the requirements On information contained in models produced by the learning enabler in the CONNECT project and (2) the resulting preconditions for generating test-drivers automatically.

引用

页码：221 / +

页数：3

共 25 条

[11]

Grinchtein O, 2006, LECT NOTES COMPUT SC, V4137, P435

[12]

Hagerer A., 2001, ANN REV COMMUN INT E, V55, P1033

[13]

Huima A, 2007, LECT NOTES COMPUT SC, V4581, P1

[14] A Theory of Mediators for Eternal Connectors [J].

Inverardi, Paola ;

Issarny, Valerie ;

Spalazzese, Romina .

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, 2010, 6416 :236-+

[15] CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems [J].

Issarny, Valerie ;

Steffen, Bernhard ;

Jonsson, Bengt ;

Blair, Gordon ;

Grace, Paul ;

Kwiatkowska, Marta ;

Calinescu, Radu ;

Inverardi, Paola ;

Tivoli, Massimo ;

Bertolino, Antonia ;

Sabetta, Antonino .

2009 14TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2009, :154-161

[16]

Jung Georg, 2010, Proceedings of the 2010 7th IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EASe 2010), P106, DOI 10.1109/EASe.2010.21

[17]

Lamprecht A.-L., 2010, QUATIC 2010 IN PRESS

[18] Efficient test-based model generation for legacy reactive systems [J].

Margaria, T ;

Niese, O ;

Raffelt, H ;

Steffen, B .

NINTH IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2004, :95-100

[19] Knowledge-based relevance filtering for efficient system-level test-based model generation [J].

Margaria, Tiziana ;

Raffelt, Harald ;

Steffen, Bernhard .

INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2005, 1 (02) :147-156

[20] LearnLib: A framework for extrapolating behavioral models [J].

Raffelt H. ;

Steffen B. ;

Berg T. ;

Margaria T. .

International Journal on Software Tools for Technology Transfer, 2009, 11 (5) :393-407

← 1 2 3 →