Konfiguration und Er... Theses on offer Analysis of the new ...

Student thesis

Development of a test driver generator for object-otiented Java-components

(Original Title:Entwicklung eines Testtreibergenerators für objekt-orientierte Java-Komponenten)



In the phase of module and integration testing testdrivers are useful. These test drivers initialize the modules and test their functionality, usually by call of the functions. Because the costs for testing rises with the complexity of the software which should be tested, is there a large need of automation.
In chapter 1 some tools are presented for automated test generation for Java - classes. These tools are especially different in the way, how they generate test cases and datas. The first possibility is to generate test cases and data in a strictly systematic way, the other is to walk the way of random generation. Important are also these questions: What is the result of a test? How can I detect errors in the code automatically? Usually the possibility of evaluating the thrown exceptions and errors remains. But there is also the alternative to specify the sematic of the code formally, approximately via JML. Then the compliance of this specification can be checked.
Chapter 2 occupied with the tool for automated generation of test drivers, which was written in the context of this study . These special test drivers serve as link between the test case generator and the Java classes, that should be tested. They offer the possibility of calling all not private methods of the classes, whereby the selection, which method is next called, is made via a integer data. The test execution is specified clearly by the test driver and an input stream, consisting of initialization values for elementary data types and control data. The test case generator has so a simple possibility given to generate tests by a stream of integer values. A goal is to measure the characteristics of the test and so to optimize the generated test by clever adaption of the input stream. If an optimized test is found, then an equivalent JUnit test can be generated with the same input stream.

Author: Johannes Ostler

Tutor: Dr.-Ing. Norbert Oster