author: Arjan Snippe
title: ToLERo: ToRX-tested LEGO Robots
keywords: Model-based Testing, Adaptor, TorX, Reactive Systems
topics:
committee: Axel Belinfante
end: 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.

 

Additional Resources

  1. The paper