Fraunhofer FOKUSCompetence Center MOTION

FOKUS’ VIEW ON MODEL-BASED TEST DESCRIPTION LANGUAGES (TDLS)

Alain-G. Vouffo Feudjio

Fraunhofer FOKUSCompetence Center MOTION

Motivations: Why Model-Based Test Design

FOKUS’ View on TDL by Example

Discussion

Outline

Fraunhofer FOKUSCompetence Center MOTION

Test design at early phase of the product lifecycle

Enhanced reuse of test design.

Facilitated communication between stakeholders.

Facilitated integration of testing in MDE process by filling the gap between requirements and testing.

Higher quality of test specifications through Application and Automated Verification of Test Design Guidelines.

Unified and test execution platform-independent test design.

Facilitated Reuse of legacy test scripts through Round-Trip Engineering in Test Automation. E.g. Visualization of legacy test scripts for reuse.

Why Model-Based Test Description (I)

Fraunhofer FOKUSCompetence Center MOTION

Requirements traceability.

Early identification of flaws in system specification.

Integration of test-related activities in the overall MDE process.

Time savings, Costs reduction

Automated generation of executable test scripts through model-to-model (M2M) or model-to-text (M2T) transformations from system model to test model and backwards.

Why Model-Based Test Description (II)

Fraunhofer FOKUSCompetence Center MOTION

Model-Based Test Design: Process

Model-BasedTest Design

InformalSystem/TestSpecification

InformalSystem/TestSpecification

ExecutableTestcases

or Skeletons

ExecutableTestcases

or Skeletons

SystemModel

SystemModel

(Automated) Test Model Transformation

System Description

RequirementsRequirements

Test Architecture

Model

Test Architecture

Model

Test DataModel

Test DataModel

Test Behaviour

Model

Test Behaviour

Model

Test Model

Test Objectives

Model

Test Objectives

Model

Test Procedures

Model

Test Procedures

Model

Test Suite

Test Documentation

Test Documentation

DSMLs

TTCN-3

OptionalOptional

Fraunhofer FOKUSCompetence Center MOTION

FOKUS follows a two-way approach to test modeling/designing A pure UML approach (UTP) based A UML-Like approach based on a DSML called UTML

(Unified Test Modeling Language)

UTML combines concepts of TTCN-3, UML (TP) and SysML into a DSML for designing tests at high level of abstraction

Based on an EMF (eMOF) Meta-Model

Currently supports 3 representation formats Tree & Tabular Graphical

Allows a Formalization and exploitation of patterns in test design to guide and speed up the process

The UTML Notation as a TDL

Fraunhofer FOKUSCompetence Center MOTION

Model-Based Test Design: ITS DENM Example

Fraunhofer FOKUSCompetence Center MOTION

Model-Based Test Design: Test Objective/Purpose Design

Fraunhofer FOKUSCompetence Center MOTION

Model-Based Test Design: Test Architecture Design

Fraunhofer FOKUSCompetence Center MOTION

Model-Based Test Design: Test Behaviour Design

Don‘t worry: You will NOT have to enter this as source code.It‘s just a label created out of the provided model elements.

Fraunhofer FOKUSCompetence Center MOTION

Model-Based Test Design: Test Behaviour Design using Activity Diagram

Don‘t worry: You will NOT have to enter this as source code.It‘s just a label created out of the provided model elements.

Fraunhofer FOKUSCompetence Center MOTION

Model-Based Test Design: Transformation

Fraunhofer FOKUSCompetence Center MOTION

Models are transformed. Therefore, only information contained therein can be transformed or exploited

Models may provide different Levels of detail. Obviously, the ability to generate automatically executable test cases will depend on the completeness of the information provided in the modelling

The test models may be used by model-based test generation to apply combinatory algorithms for generating a larger number of variants of the test case, although those would be functionally equivalent (From a conformance testing perspective)

As any matter of taste, obviously the graphical diagram elements may be more or less appreciated, depending on the organization and the individual, but they can be considered as inter-changeable. Focus should be laid on the concepts, rather than their representation

A Few Remarks

Fraunhofer FOKUSCompetence Center MOTION

Define a standardized concept space as MOF/EMF Metamodel ? Other ?

Define and standardize Representation formats?

Graphical visualization concepts?Textual syntax?

TDL: Goals of standardization