The UML 2.0 Testing Profile and Its Relation to TTCN-3

Schieferdecker, Ina; Dai, Zhen Ru; Grabowski, Jens; Rennoch, Axel

doi:10.1007/3-540-44830-6_7

Cited by 33 publications

(15 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…MBT covers a broad spectrum of concepts, including, for example, automatic test generation [19], test execution [28], automated test evaluation [3], test control, and effective test management [4]. It results in tests that can be utilized in the early design stages and that contribute to highest test coverage, thus providing great value by reducing cost and risk.…”

Section: Solution Approachmentioning

confidence: 99%

Model-based testing for execution algorithms in the simulation of cyber-physical systems

Zander

2013

2013 Ieee Autotestcon

View full text Add to dashboard Cite

The understanding of simulation semantics of a hybrid system is a challenge for computational engineers as it requires expertise in computer science, engineering, numerical methods, and mathematics at once. The testing methods for the execution of a simulation are being researched but not yet applied on the industrial level. Consequently, the semantics of the simulation becomes a critical artifact in the system development process. Embracing it from multiple design perspectives is going to create positive implications at the model, software, and hardware level. Hence, a set of self-testing algorithms for the simulation execution are proposed. Deploying them requires an inclusion of an additional testing dimension in the typical V diagram. Thus, a systematic methodology is conceptualized. A prototypical implementation takes advantage of the Simulink ® (1) simulation loop and (2) simulation state retrieval during the system model execution. These two artifacts allow to control and monitor the execution of a simulation. As a consequence, the semantics is systematically considered, its correctness is tested, and the numerical approximation is examined. A case study of a Cyber-Physical System illustrates conceptual and methodological aspects of the proposed algorithms.The ever growing pervasion of software-intensive systems into physical, technical, business, and social areas not only consistently increases the number of requirements on system functionality and features, but also puts forward ever stricter demands on system quality, reliability, safety, usability, etc. For example, Cyber-Physical Systems (CPS) [1], frequently characterized as smart systems include digital cyber technologies, software, and physical components and are intelligently interacting with other systems across information and physical interfaces. They are expressing an emerging behavior and so, create even more functionalities during the deployment ('live') to collaborate with each other more efficiently. CPS are sensing the external world and they immediately react on the state of the surrounding. Thus, in order to successfully develop such complex systems of systems and to additionally remain competitive, early and continuous consideration and assurance of system quality is becoming of vital importance.A challenging element of a CPS development process is its design phase. Here, selected features have to be accounted for and yet the entirety of the system has to be simulated in order to obtain knowledge and understanding about the dynamics and functionality of the system. This simulation, in turn, requires selected numerical integration methods (e.g., based on differential equations, difference equations, discrete events, discrete states, etc.[2]). Those methods include selected solvers and algorithms such as, control algorithms, optimization algorithms, integration and delay blocks, continuous-time elements, discrete-time elements, discreteevent elements, etc. to execute the system models. Thus, creating a CPS design implies a lot of algorit...

show abstract

Section: Solution Approachmentioning

confidence: 99%

Model-based testing for execution algorithms in the simulation of cyber-physical systems

Zander

2013

2013 Ieee Autotestcon

View full text Add to dashboard Cite

show abstract

“…In this context, different testing environments come into application like ControlDesk, MTest, and AutomationDesk from dSPACE. Each test environment typically applies its own proprietary testing language or exchange format and we can find only very few approaches to standard languages like ETSI TTCN-3 and the OMG UML testing profile [16].…”

Section: Existing Workmentioning

confidence: 99%

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

Mueller

Bol

Krupp

et al. 2010

Distributed, Parallel and Biologically Inspired Systems

View full text Add to dashboard Cite

Abstract. 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 embedded systems. The first phase is a stepwise transformation from unstructured English text into a textual normal form (TNF), which is automatically translated into UML class diagrams. After annotations of the class diagrams and the definition of test cases by sequence diagrams, both are converted into classification trees. From the classification trees we can finally generate SystemVerilog code. The methodology is introduced and evaluated by the example of an Adaptive Cruise Controller.

show abstract

“…Algorithms have been defined to derive tests from formal system specification given in various notations. But today, none of the approaches is widely used in the industrial practice for large applications [17]. As UML and MDA have gained much momentum in industry, we focus on using these concepts to show that retrieving executable test instances from system model can be supported via test skeleton generation combined with manual completion of the tests.…”

Section: Introductionmentioning

confidence: 99%

From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing -

Zander

Dai

Schieferdecker

et al. 2005

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

The approach towards system engineering according to Model-Driven Architectures (MDA) with code generation derived from model implies also an increased need for research on automation of the test generation process. This paper presents an approach to derive executable tests from UML 2.0 Testing Profile diagrams automatically. In particular, an approach to derive executable tests within the Testing and Test Control Notation (TTCN-3) is discussed. The transformation rules between the source U2TP meta-model to the target TTCN-3 meta-model are given.

show abstract

The UML 2.0 Testing Profile and Its Relation to TTCN-3

Cited by 33 publications

References 3 publications

Model-based testing for execution algorithms in the simulation of cyber-physical systems

Model-based testing for execution algorithms in the simulation of cyber-physical systems

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

From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing -

Contact Info

Product

Resources

About