Submitted: October 2014
Abstract
Model-based testing is a modern method which allows testing of software projects to be a lot more effective than it usually is. Usually, testing requires a lot of manual work, which makes it both inefficient in terms of development resources and error-prone.
In model-based testing, a multitude of tests can be automatically derived from a given formal specification that exactly prescribes the desired behavior that the implementation, which we are testing, has to show. These tests are provably correct in the sense that every implementation that fails them shows a wrong behavior. There are no false-positives.
The goal of this bachelor thesis is to enable the conduction of model-based testing with specifications written in the Modest modeling language. This is done with the creation of Motest, the first model-based testing tool to be able to process Modest specifications.