Modellbasierte Testfallgenerierung und Ausführung für dasTesten eines Echtzeitsystems auf Konformität

Abstract

Das Testen einer Anwendung stellt im Softwareentwicklungsprozess einen hohen Aufwand dar. Ein Ansatz, diesen Aufwand zu reduzieren, kann das Model-Based-Testing bieten. In dieser Arbeit wird ein möglicher Ansatz für dieses Vorgehen am Beispiel der Entwicklung eines Steuerungssystems für eine Sortieranlage beschrieben mit dem Ziel, die Anforderungen an das Gesamtsystem an der Implementation zu testen. Dafür wird im ersten Schritt ein Modell der Anforderungen entwickelt. Anschließend wird ein Algorithmus gewählt, der aus dem Modell Testfälle generiert, und zuletzt eine Anwendung entwickelt, die diese Testfälle automatisiert gegen die Implementation ausführt.

The testing of an application represents a high effort in the software development process. Model-based testing can offer an approach to reduce this effort. This paper describes a possible approach for this procedure using the example of the development of a control system for a sorting plant with the aim of testing the implementation requirements of the overall system. The first step is to develop a model of the requirements. Then an algorithm is chosen, which generates test cases from the model, and finally an application is developed, which executes these test cases automatically against the implementation.