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.
展开▼
