Model based generati... Research Projects UML-basierte Beschre...

Student thesis

Test Case Generation by the Equivalence Class Method

(Original Title:Testfallerzeugung nach der Äquivalenzklassenmethode)



There are different test criteria to increase the correctness of software systems. This work concentrates on test criteria for control flow oriented tests of methods.
In most cases the test values for the test runs get selected manually. Because of the complexity of software systems today, it is very time-consuming to find all test values needed to fulfil a selected test criterion. Therefore an automated generation of the test values would be of great value.
The skill of testing is to select a small manageable amount of test cases. On the one hand the possibility to find a fault should be maximized, but on the other hand the chance to waste test cases should be reduced. The ideal selection would be, if every test case showed a fault, which was not detected before.
In general the input range of a method can get partitioned, so that the values of a partition cause an equivalent behaviour of the program. Therefore the test runs of single representatives of each input class would be sufficient test case selection in the meaning of the control flow. The input data has to fulfil certain conditions to execute a certain control flow path. In general these conditions cannot be calculated through a pure static analysis. Target of this work is to evaluate under which requirements an implementation is possible. The results are to be implemented in a tool, which can analyse source code written in C#. The tool shall be evaluated at a real example of the industrial practise.
Chapter 1 gives an overview about testing of software products and presents the project, which this work is part of. Chapter 2 introduces the necessary terms and gives an overview of the used technique. Chapter 3 deals with the calculation of the input classes. Chapter 4 describes the practical implementation. Chapter 5 gives future prospects of further research demand.

Tutor: Dr.-Ing. Norbert Oster

In Cooperation with: Siemens Automation and Drives