Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper)

摘要

We review and compare three notions of conformance testing for cyber-physical systems. We begin with a review of their underlying semantic models and present conformance-preserving translations between them. We identify the differences in the underlying s