Abstract-Conformance testing is a formal and structured approach to verifying system correctness. We propose a conformance testing algorithm for cyber-physical systems, based on the notion of hybrid conformance by Abbas and Fainekos. We show how the dynamics of system specification and the sampling rate play an essential role in making sound verdicts. We specify and prove error bounds that lead to sound test-suites for a given specification and a given sampling rate.
Based on the concept of hybrid consistency in Abbas and Fainekos, a CPS consistency testing algorithm is proposed in REF .
Sound Test-Suites for Cyber-Physical Systems
2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE)
2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE)
Computer Science