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. We use reachability analysis to find such bounds and implement the proposed approach using the CORA toolbox in Matlab. We apply the implemented approach on a case study from the automotive domain. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1016/j.scico.2017.07.002 | Science of Computer Programming |
Keywords | Field | DocType |
Cyber-physical systems,Model-based testing,Conformance testing,Soundness,Reachability analysis | Programming language,Computer science,Correctness,Conformance testing,Theoretical computer science,Cyber-physical system,Model-based testing,Soundness | Journal |
Volume | ISSN | Citations |
162 | 0167-6423 | 2 |
PageRank | References | Authors |
0.36 | 15 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hugo L. S. Araujo | 1 | 3 | 0.71 |
Gustavo Carvalho | 2 | 48 | 6.13 |
Morteza Mohaqeqi | 3 | 56 | 10.40 |
M. R. Mousavi | 4 | 220 | 11.42 |
Augusto Sampaio | 5 | 501 | 43.38 |