Home > Papers

 
 
A Framework for Off-Line Conformance Testing of Timed Connectors
LI Shao-Dong 1, CHEN Xiao-Hong 2, WANG Yi-Wu 1, SUN Meng 1
1. School of Mathematical Sciences, Peking University, Beijing, 100871
2. Center for Software Engineering, Birmingham City University, United Kingdom
*Correspondence author
#Submitted by
Subject:
Funding: National Natural Science Foundation of China (61202069) and （No.61272160）
Opened online:30 July 2015
Accepted by: none
Citation: LI Shao-Dong, CHEN Xiao-Hong, WANG Yi-Wu.A Framework for Off-Line Conformance Testing of Timed Connectors[OL]. [30 July 2015] http://en.paper.edu.cn/en_releasepaper/content/4650279
 
 
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 $ iococ$(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.
Keywords:Formal Method, Reo, Conformance Testing, UPPAAL
 
 
 

For this paper
  • ● PDF (0B)
  • ● Revision 0 　　
  • ● Print this paper
  • ● Recommend this paper to a friend
  • ● Add to my favorite list

    Saved Papers

    Please enter a name for this paper to be shown in your personalized Saved Papers list

Tags
Add yours

Related Papers

Statistics
PDF Downloaded 120
Bookmarked 0
Recommend 5
Comments Array
Submit your papers