Submitted: March 2016

Abstract

Model-based testing is a modern automated testing technique that provides a completely automatic test generation and execution based on a given formal model, that specifies the desired behavior of the system under test. J. Tretman’s ioco model-based testing theory assumes a synchronous communication between the tester and the system under test. However, perfect synchronicity is not realizable in practice. The more asynchronous such a communication is the more the test results become falsified when applying this theory to test systems that actually communicate with its environment in an asynchronous manner, but where this asynchronous behavior is not specified in the model. The goal of this thesis is to develop an appropriate solution handling this problematic by keeping the general idea of ioco testing untouched. The thesis will just use an extension of ioco by time aspects. This makes it possible to easily include the new developed approach into an already existing testing algorithm that is based on ioco testing and assumes a synchronous communication. The thesis extends the Modest tool Motest by this feature in its practical part.