Automatic Conformance Test Generation Based on a Verified Model of a Bus System Standard

In automation domain, the conformance of field bus devices in regard to the corresponding bus system standard is ensured by deploying conformance tests. The correctness of the tests is therefore decisive. A common practice to develop conformance test manually is fault-prone due to the fact that the test engineer can misinterpret the standard or the standard itself has defects. Therefore, in this present work we argue that a conformance test development should be based on formally verified requirements and propose an approach to automatically generate conformance tests based on the verified model of a bus system standard in order to assure the test correctness.