A Framework for Off-Line Conformance Testing of Timed Connectors

被引：3

作者：

Li, Shaodong ^{[1
]}

Chen, Xiaohong ^{[2
]}

Wang, Yiwu ^{[1
]}

Sun, Meng ^{[1
]}

机构：

[1] Peking Univ, Sch Math Sci, LMAM & DI, Beijing, Peoples R China

[2] Birmingham City Univ, Fac Comp Engn & Built Environm, Ctr Software Engn, Birmingham, W Midlands, England

来源：

PROCEEDINGS 2015 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING | 2015年

关键词：

TEST-GENERATION; MODEL; REO;

D O I：

10.1109/TASE.2015.9

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Coordination is playing a key role in complex cyber-physical systems (CPSs). The complexity and importance of coordination models and languages for CPSs necessarily lead to a higher relevance of testing during development of CPSs. Model-based testing is a promising technology to test the conformance or non-conformance relation between the implementation-under-test (IUT) and its specification. In this paper, we present an approach to test the conformance relation tioco(c)(Timed Input-Output Conformance) between the implementation of a timed Reo connector and its specification given by a timed constraint automaton (TCA). An algorithm to generate test cases from a TCA is proposed and the testing approach is implemented in UPPAAL.

引用

页码：15 / 22

页数：8

共 22 条

[1] The power of reachability testing for timed automata
Aceto, L
Bouyer, P
Burgueño, A
Larsen, KG
[J]. THEORETICAL COMPUTER SCIENCE, 2003, 300 (1-3) : 411 - 475
[2] Fault-based Test Case Generation for Component Connectors
Aichernig, Bernhard K.
Arbab, Farhad
Astefanoaei, Lacramioara
de Boer, Frank S.
Meng, Sun
Rutten, Jan
[J]. THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 147 - 154
[3] A THEORY OF TIMED AUTOMATA
ALUR, R
DILL, DL
[J]. THEORETICAL COMPUTER SCIENCE, 1994, 126 (02) : 183 - 235
[4] ALUR R, 1990, LECT NOTES COMPUT SC, V443, P322, DOI 10.1007/BFb0032042
[5] Reo: a channel-based coordination model for component composition
Arbab, F
[J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2004, 14 (03) : 329 - 366
[6] Models and temporal logics for timed component connectors
Arbab, F
Baier, C
de Boer, F
Rutten, J
[J]. PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2004, : 198 - 207
[7] Models and temporal logical specifications for timed component connectors
Arbab, Farhad
Baier, Christel
de Boer, Frank
Rutten, Jan
[J]. SOFTWARE AND SYSTEMS MODELING, 2007, 6 (01) : 59 - 82
[8] Modeling component connectors in Reo by constraint automata
Baier, Christel
Sirjani, Marjan
Arbab, Farhad
Rutten, Jan
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2006, 61 (02) : 75 - 113
[9] Bengtsson J., 1996, Hybrid Systems III. Verification and Control, P232, DOI 10.1007/BFb0020949
[10] Bohnenkamp H, 2005, LECT NOTES COMPUT SC, V3582, P173

← 1 2 3 →