Filters








8 Hits in 1.9 sec

TestML - A Test Exchange Language for Model-Based Testing of Embedded Software [chapter]

Juergen Grossmann, Ines Fey, Alexander Krupp, Mirko Conrad, Christian Wewetzer, Wolfgang Mueller
Lecture Notes in Computer Science  
TestML supports the exchange of tests between different test notations in a heterogeneous tool environment.  ...  In the industrial practice a product has to pass tests at several levels of abstraction such as Model-in-the-Loop (MIL), Software-in-the-Loop (SIL) and Hardware-in-the-Loop (HIL) tests.  ...  TestML was conceived as a language for exchanging test descriptions in the context of model-based testing of embedded automotive software.  ... 
doi:10.1007/978-3-540-70930-5_7 fatcat:fufb3jrzene55emv3bpdgm3km4

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  ...  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  ...  We would like to thank our partners in the IMMOS project for their contribution to TestML, especially S. Sadeghipour and H.-W. Wiesbrock (ITPower Consultants), Prof. Schlingloff and M.  ... 
doi:10.1109/isola.2006.37 dblp:conf/isola/GrossmannM06 fatcat:mxaunw57j5covas6ryqxmrdete

A Modeling Language Based on UML for Modeling Simulation Testing System of Avionic Software

Lize WANG, Bin LIU, Minyan LU
2011 Chinese Journal of Aeronautics  
Based on the profile mechanism of unified modeling language (UML) 2.2, a kind of DSML is presented to model simulation testing systems of avionic software (STSAS).  ...  With direct expression of individual application domain patterns and ideas, domain-specific modeling language (DSML) is more and more frequently used to build models instead of using a combination of one  ...  TestML is conceived as a powerful XML-denoted language for exchanging test descriptions in the context of model-based testing of embedded automotive software.  ... 
doi:10.1016/s1000-9361(11)60022-8 fatcat:cheqkn23kfdvfclh7lgcevhuqm

A systematic approach to the test of combined HW/SW systems

Alexander Krupp, Wolfgang Muller
2010 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)  
Today we can identify a big gap between requirement specification and the generation of test environments.  ...  This article extends the Classification Tree Method for Embedded Systems (CTM/ES) to fill this gap by new concepts for the precise specification of stimuli for operational ranges of continuous control  ...  TestML [8] has been developed as an exchange format for functional, regression, and back-to-back tests and stimuli definitions can be captured by means of existing such as CTM/ES.  ... 
doi:10.1109/date.2010.5457186 dblp:conf/date/Krupp010 fatcat:wiakevmz3ncabokhmqh5koxu6y

Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems [chapter]

Wolfgang Mueller, Alexander Bol, Alexander Krupp, Ola Lundkvist
2010 IFIP Advances in Information and Communication Technology  
for embedded systems.  ...  We introduce a structured methodology for the generation of executable test environments from textual requirement specifications via UML class diagrams and the application of the classification tree methodology  ...  For the exchange of test descriptions, ATML was introduced by IEEE [7] and TestML by the IMMOS project [5] .  ... 
doi:10.1007/978-3-642-15234-4_9 fatcat:36u2czc75fhijj573cklbualum

Testing hybrid systems with TTCN-3 [article]

Jürgen Großmann, Technische Universität Berlin, Technische Universität Berlin, Ina Schieferdecker
2014
This test specification language, in turn, allows for intuitive and practical specification of automated tests for hybrid real-time systems in the automotive industry. Dedicated int [...]  ...  In this thesis, a test technology, namely TTCN-3 embedded, which supports and facilitates the testing of networked, hybrid systems is developed.  ...  Fanny-Michaela Reisin for guiding me into the world of research and scientific work, Prof.Ina Schieferdecker for her friendly advice and constructive feedback to this work and my parents for providing  ... 
doi:10.14279/depositonce-4138 fatcat:6xffwbs7xbgf3dit224hriftkq

A Methodology For Pattern-Oriented Model-Driven Testing of Reactive Software Systems [article]

Alain-Georges Vouffo Feudjio, Technische Universität Berlin, Technische Universität Berlin, Ina Schieferdecker
2011
UTML is a Domain-Specific Modeling Language (DSML)for designing test objectives, test architectures, test data and test behaviour at a high level of abstraction, using predefined test design patterns.  ...  The methodology is based on a new notation called Unified Test Modeling Language (UTML), specifically designed to support pattern-oriented model-driven testing.  ...  Schieferdecker for keeping the faith and pushing me with new ideas to complete this work.  ... 
doi:10.14279/depositonce-2881 fatcat:j3r6kzcd3balbph3f2vsbq54hu

Eine Technologie für das durchgängige und automatisierte Testen eingebetteter Software

Till Fischer
2016
Model-, Software- und Hardware-in-the-Loop Werkzeuge.  ...  Eingebettete Systeme unterliegen Anforderungen, die den Test der Software erforderlich machen.  ...  Es wird dort zwischen "Software unit testing", "Software integration and testing" und "Verification of software safety requirements" unterschieden.  ... 
doi:10.5445/ir/1000064298 fatcat:c32bdd6dyzh4rgqqohnib2yeyu