%0 Journal Article %1 atmosudiro2014 %A Lechler, Armin %A Macias, Tomas %A Atmosudiro, Agus %D 2014 %J Procedia \CIRP\ %K Feldbus Konformanztest Sercos Testgenerierung xao %P 305 - 312 %R http://dx.doi.org/10.1016/j.procir.2014.10.043 %T Automatic Conformance Test Generation Based on a Verified Model of a Bus System Standard %U http://www.sciencedirect.com/science/article/pii/S2212827114010749 %V 25 %X Abstract 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.

@article{atmosudiro2014, abstract = {Abstract 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. }, added-at = {2016-03-08T13:50:12.000+0100}, author = {Lechler, Armin and Macias, Tomas and Atmosudiro, Agus}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23ce7b1eac6a2e36972358964b62d685b/isw-bibliothek}, doi = {http://dx.doi.org/10.1016/j.procir.2014.10.043}, interhash = {772212b99125d19697e07f2e657b776c}, intrahash = {3ce7b1eac6a2e36972358964b62d685b}, issn = {2212-8271}, journal = {Procedia \{CIRP\} }, keywords = {Feldbus Konformanztest Sercos Testgenerierung xao}, note = {8th International Conference on Digital Enterprise Technology - \{DET\} 2014 Disruptive Innovation in Manufacturing Engineering towards the 4th Industrial Revolution }, pages = {305 - 312}, timestamp = {2016-03-08T12:50:12.000+0100}, title = {Automatic Conformance Test Generation Based on a Verified Model of a Bus System Standard }, url = {http://www.sciencedirect.com/science/article/pii/S2212827114010749}, volume = 25, year = 2014 }