Model-based Testing (seminar paper)
This is a paper I wrote in 2008 as a seminar paper for an advanced seminar course in software quality. It is about model-based testing, which tries to automatically generate software test cases out of models of the system's intended behaviour. With the all the buzz about model-driven development, it will surely be very interesting in future.
All the seminar papers together were also published as technical report TUM-I0824 by the Technische Universität München.
Below you can find my paper (in english) as well as the slides (in german) I used in the presentation of my topic.
Abstract
This work gives an overview of model-based testing, which
aims at automatically generating test cases for a software system from
a formal model of its intended behavior. It first describes the theoreti-
cal foundations, including different modeling languages and different test
generation techniques. After that, the practical use of model-based test-
ing is examined. For this purpose, several case studies are described.
Here, a focus lies not only on the different application domains, but
more on empirical results that help to evaluate the technique and com-
pare it to other quality assurance techniques. The paper concludes with
an overview of the academic and commercial tool support for model-
based testing. A practical example is conducted using one commercial
tool.
Contents
- Introduction
- Model-based Testing
- Testing Procedure
- Models
- Test Specifications
- Test Generation
- Test Execution
- Testing non-functional Requirements
- Example
- Case Study and Empirical Evaluation
- Tool Support
- Tool Descriptions
- An Example
- Choosing a Tool
- Conclusion and Outlook
