A Formal Behavioral Semantics for TestML

Großmann, Jürgen; Müller, Wolfgang

doi:10.1109/isola.2006.37

Cited by 8 publications

(4 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Automatic acceptance evaluation is performed by correlation to a reference model or by predicate evaluation [12,13]. The definition of continuous, interpolated behavioral boundaries is not covered by current assertion languages, therefore a reference model is required for correlation purposes.…”

Section: Enhanced Ctm For Acceptance Criteriamentioning

confidence: 99%

Systematic Model-in-the-Loop Test of Embedded Control Systems

Krupp

Müller

2009

IFIP Advances in Information and Communication Technology

Self Cite

View full text Add to dashboard Cite

Current model-based development processes offer new opportunities for verification automation, e.g., in automotive development. The duty of functional verification is the detection of design flaws. Current functional verification approaches exhibit a major gap between requirement definition and formal property definition, especially when analog signals are involved. Besides lack of methodical support for natural language formalization, there does not exist a standardized and accepted means for formal property definition as a target for verification planning. This article addresses several shortcomings of embedded system verification. An Enhanced Classification Tree Method is developed based on the established Classification Tree Method for Embeded Systems CTM/ES which applies a hardware verification language to define a verification environment.

show abstract

Section: Enhanced Ctm For Acceptance Criteriamentioning

confidence: 99%

Systematic Model-in-the-Loop Test of Embedded Control Systems

Krupp

Müller

2009

IFIP Advances in Information and Communication Technology

Self Cite

View full text Add to dashboard Cite

show abstract

“…In domains such as avionics [4] and automotive industry the efforts have been made to address the standardization of testing methods and languages, e.g. creating a meta-model for testing avionics systems [4], and the Automotive TestML [5]. Similarly, the Open Test Sequence Exchange Format (OTX) [6] standardized by ISO provides tool-independent XML-based data exchange format [7] for description and documentation of executable test sequences.…”

Section: Introductionmentioning

confidence: 99%

Test Scenario Specification Language for Model-Based Testing

Halling¹,

Vain²,

Boyarchuk³

et al. 2019

IJC

View full text Add to dashboard Cite

In mission critical systems a single failure might cause catastrophic consequences. This sets high expectations to timely detection of design faults and runtime failures. By traditional software testing methods the detection of deeply nested faults that occur sporadically is almost impossible. The discovery of such bugs can be facilitated by generating well-targeted test cases where the test scenario is explicitly specified. On the other hand, the excess of implementation details in manually crafted test scripts makes it hard to understand and to interpret the test results. This paper defines high-level test scenario specification language TDLTP for specifying complex test scenarios that are relevant for model-based testing of mission critical systems. The syntax and semantics of TDLTP operators are defined and the transformation rules that map its declarative expressions to executable Uppaal Timed Automata test models are specified. The scalability of the method is demonstrated on the TUT100 satellite software integration testing case study.

show abstract

“…The use of hybrid automata to describe continuous test behavior in the context of embedded systems could be successfully shown in [19]. To support the definition of exact and well-defined mappings between existing test languages and TestML we provided a rigorous formal behavioral semantics for TestML by means of Abstract State Machines (ASMs) [20].…”

Section: Data Synthesismentioning

confidence: 99%

“…We mainly emphasize on behavioral aspects and introduce a detailed mapping that maps the TestML constructs defined in section 4.5 to the well-defined behavioral constructs of Simulink/Stateflow. For a concise TestML semantics refer to [20].…”

Section: Mapping Testml Automata To Matlab Simulinkmentioning

confidence: 99%

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

Grossmann

Fey

Krupp

et al.

Model-Driven Development of Reliable Automotive Services

View full text Add to dashboard Cite

Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. 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. Different test systems are applied for this purpose (e.g. dSPACE MTest, dSPACE Automation Desk, National Instruments Teststand) and almost each test system requests its own proprietary test description language. The exchange of tests between different test systems and the reuse of tests between different test levels is normally not possible. Efforts to integrate these heterogeneous test environments, to address test exchange in a general manner and to standardize and harmonize the existing language environment are still at the beginning and not tailored towards the requirements of the automotive domain. To keep the whole development and test process efficient and manageable, the definition of an integrated and seamless approach is required. TestML -the test exchange language we present in this articleis defined to overcome the technological obstacles (different test language syntax and semantics, different data formats and interface descriptions) that almost automatically accompany the application of heterogeneous test tools and test infrastructures. TestML supports the exchange of tests between different test notations in a heterogeneous tool environment. In this paper, we introduce the XML schema of TestML and demonstrate the efficiency of the interchange format by giving examples from the model-based development of electronic control units. Tool support is illustrated by an application with Simulink/Stateflow.

show abstract

A Formal Behavioral Semantics for TestML

Cited by 8 publications

References 15 publications

Systematic Model-in-the-Loop Test of Embedded Control Systems

Systematic Model-in-the-Loop Test of Embedded Control Systems

Test Scenario Specification Language for Model-Based Testing

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

Contact Info

Product

Resources

About