Conformance Testing of Cyber-Physical Systems: A Comparative Study

Authors

  • Morteza Mohaqeqi School of Electrical and Computer Engineering, University of Tehran, Iran Center for Research on Embedded Systems, Halmstad University, Sweden
  • Mohammad Reza Mousavi Center for Research on Embedded Systems, Halmstad University, Sweden
  • Walid Taha Center for Research on Embedded Systems, Halmstad University, Sweden Rice University, USA

DOI:

https://doi.org/10.14279/tuj.eceasst.70.982

Abstract

For systematic and automatic testing of cyber-physical systems, in which a set of test cases is generated based on a formal specification, a number of notions of conformance testing have been proposed. In this paper, we review two existing theories of conformance testing for cyber-physical systems and compare them. We point out their fundamental differences, and prove under which assumptions they coincide.

Downloads

Published

2014-11-20

Issue

Vol. 70 (2014): Automated Verification of Critical Systems 2014

Section

Articles