Home | english  | Impressum | Sitemap | KIT

A Case Study for Lazy On-The-Fly Model Based Testing

A Case Study for Lazy On-The-Fly Model Based Testing

David Faragó


Felix Kutzner



Lazy On-The-Fly (LazyOTF) is a new MBT test case derivation and execution algorithm
combining the advantages of on-the-y and oine test case generation. This is achieved by traversing
the speci cation and using heuristics to nd stimuli advancing the test towards ful lling its
test requirements, e.g. state coverage. In contrast to oine test case generation, LazyOTF does
not construct test cases a priori, but interleaves phases of test case generation and test execution.
This thesis investigates the performance of LazyOTF and compares it to the performance of
on-the-y testing with the JTorX tool as well as with Guides, which correspond to test purposes. To this end, several experiments are de ned, each tasked with discharging a set
of test requirements. With the system under test being a potential major bottleneck in terms of
response time, the major focus lies on the average amount of test steps needed to complete an
experiment. However, the resource consumption of LazyOTF experiments is investigated as well
using a simulated SUT.
The experiments were conducted using a variant of the JTorX MBT tool with integrated
support for LazyOTF. During the course of this case study, the software was extended and
improved, with the main contributions being dynamic bound adjustment and the margin-safety
mechanism for LazyOTF and an ioco-compliant SUT-simulating test adapter for JTorX.