Dokument 1.pdf - Opus - Friedrich-Alexander-Universität Erlangen ...

Abstract
Software is continuously increasing in size, complexity and quality demands. Modern
software engineering faces up to these challenges amongst others with improved programming
concepts, programming languages with higher degrees of abstraction and more
systematic development processes. In this context, the growing popularity of model based
software engineering is reasonable, which has its strengths in mostly graphical and abstract
notations and in extended validation possibilities. In the last years this tendency
dilated to the testing phase, to generate test cases both systematically and automatically
from models. The UML, as a family of languages, is the most popular representative of
all modelling notations.
The aim of this thesis is the conceptual design of a systematic test development process
based on a software design with the UML2. It should apply common language standards
and account for relevant time and performance aspects. Significant test results should
facilitate the decision to release software. Furthermore the whole process ought to be
practice-oriented, in particular with low prerequisites and easy appliance.
This thesis introduces a test development process called Q.E.D. (“QoS Enhanced test
Development”). It starts with requirements defined as scenarios in the UML2. Moreover
they may include standard conforming time and performance requirements. By applying a
set of transformation rules - as discussed in this thesis - a test model can be created. User
profiles are added to the model to generate test cases statistically to the expected software
usage. A consequence is the ability to estimate the achieved software reliability from the
user perspective, an appropriate measurement for the decision towards a software release.
TTCN-3 is chosen as the target language for test execution, both because of its popularity
and because it’s the only standardized test notation language. Due to the possible high
degree of automation the whole test development process is easily applicable.
For this thesis all necessary partial steps of the test development process were prototypically
implemented. The emerged tool chain could be validated by appliance within a real
case study. Therein six wireless DECT modules M5, developed and provided by the project
group CCIOS from the Fraunhofer Institute for Integrated Circuits, could be used as
the system under test. The realized case study demonstrates the practical applicability of
the Q.E.D. approach.
VII