DocumentCode
3144874
Title
A Formal Behavioral Semantics for TestML
Author
Grossmann, Jürgen ; Muller, Wayne
Author_Institution
DaimlerChrysler AG, Berlin
fYear
2006
fDate
15-19 Nov. 2006
Firstpage
441
Lastpage
448
Abstract
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 implementations and serves as a basis to define exact and well-defined mappings between existing test languages and TestML.
Keywords
XML; automotive engineering; mechanical engineering computing; TestML; XML-based language; abstract state machines; automotive systems design; exchange format; formal behavioral semantics; Automatic testing; Automotive engineering; Computer industry; Hardware design languages; Machinery production industries; Protocols; Samarium; Software testing; System testing; XML;
fLanguage
English
Publisher
ieee
Conference_Titel
Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on
Conference_Location
Paphos
Print_ISBN
978-0-7695-3071-0
Type
conf
DOI
10.1109/ISoLA.2006.37
Filename
4463747
Link To Document