A Formal Behavioral Semantics for TestML

Jürgen Grossmann, Wolfgang Müller
2006 Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)  
TestML is an XML-based language for the exchange of test descriptions in automotive systems design and mainly introduced through the structural definition of an XML schema as an independent exchange format for existing tools and methods covering a wide range of different test technologies. In this paper, we present a rigorous formal behavioral semantics for TestML by means of Abstract State Machines (ASMs). Our semantics is a concise, unambiguous, high-level specification for TestML-based
more » ... entations and serves as a basis to define exact and well-defined mappings between existing test languages and TestML.
doi:10.1109/isola.2006.37 dblp:conf/isola/GrossmannM06 fatcat:mxaunw57j5covas6ryqxmrdete