|title:||ToLERo: ToRX-tested LEGO Robots|
|keywords:||Model-based Testing, Adaptor, TorX, Reactive Systems|
Model-based software testing is done by generating test-cases from a model that represents the workings of a System Under Test (SUT). Then the tool runs those tests and compares the results with the actual SUT. One of the issues here is the synchronization of the communications between the tool and the SUT. In the testing tool TorX this is the task of the Adaptor. For this paper we’ve developed an Adaptor for a simple Lego Mindstorms robot. The goal behind this is to obtain a generic Adaptor from this specific Adaptor.