Arjan Snippe - ToLERo: ToRX-tested LEGO Robots

author:Arjan Snippe
title:ToLERo: ToRX-tested LEGO Robots
keywords:Model-based Testing, Adaptor, TorX, Reactive Systems
committee:dr.ir. A.F.E. Belinfante
graduation date:June 2010


Abstract

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.