Conformance Testing of Cyber-Physical Systems: A Comparative Study
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.
Full Text:
PDFDOI: http://dx.doi.org/10.14279/tuj.eceasst.70.982
DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.70.982.961
Hosted By Universitätsbibliothek TU Berlin.