Abstract-Conformance testing är en formell och strukturerad metod för att kontrollera systemets korrekthet. Vi föreslår en överensstämmelsetestalgoritm för cyberfysiska system, baserad på begreppet hybridkonformitet av Abbas och Fainekos. Vi visar hur dynamiken i systemspecifikationerna och provtagningsfrekvensen spelar en viktig roll för att göra sunda bedömningar. Vi specificerar och bevisar felgränser som leder till ljudtest-sviter för en given specifikation och en given provtagningsfrekvens.
Baserat på konceptet hybrid konsekvens i Abbas och Fainekos, en CPS konsekvent testning algoritm föreslås i REF.
Sound Test-Suites for Cyber-Physical Systems
{'venue': '2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE)', 'journal': '2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE)', 'mag_field_of_study': ['Computer Science']}