A Framework for Off-Line Conformance Testing of Timed Connectors

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.EICPCI-S(ISTP)lisdpku@gmail.com; xiaohong.chen@mail.bcu.ac.uk; yiwuwang@126.com; sunmeng@math.pku.edu.cn15-2