2015/11/04 by Morteza Mohaqeqi, Mohammad Reza Mousavi, Mohaqeqi, Morteza +3
Computer Science · Engineering · #Formal Methods in Verification #Radiation Effects in Electronics #Software Testing and Debugging Techniques
paper · doi:10.14279/tuj.eceasst.70.982
openalex publication_date 2024/03/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/29
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.