Loading...
Please wait, while we are loading the content...
Similar Documents
Generation Conformance Analysis Conformance Testing Conformance Relation Test Model Test Model Semantics System Under Test Semantics System Under Test Soundness Formal Semantics Testing Hypothesis Exhaustiveness Common Semantic Domain
| Content Provider | Semantic Scholar |
|---|---|
| Author | Mohaqeqi, Morteza Mousavi, Mohammad Reza |
| Copyright Year | 2016 |
| 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. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://www.cs.le.ac.uk/people/mm789/pub/mousavi-tase-2016.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |