Bachelor and Master Theses

Title: A Model-based Test Generation Tool for Industrial Function Block Diagrams
Subject: Computer Science
Level: Basic or Advanced (contact supervisor)
Description: Industrial safety-critical systems implemented in Programmable Logic Controllers (PLCs) are widely used in avionics and railway domain. One of the programming languages defined by the International Electrotechnical Commission for PLCs is the Function Block Diagram (FBD), a standard most widely used to implement safety-critical software. FBD programs are developed and transformed into program code, which is compiled into machine code automatically by using specific engineering tools provided by PLC vendors. However, in the case of model-driven development it is also of utmost importance to be able to generate automatically test cases from FBD programs.

There has been little research and practice on rigorously applying model-based testing approaches for FBD programs in industrial practice. We focus on a model-based test generation tool as a way of improving the effectiveness of testing PLC programs, and moreover doing this on an automatic way. One practical approach is to generate test suites for FBD programs using UPPAAL model-checker on the basis of a TA model.

We propose a thesis with a twofold objective: (1) to provide the implementation of a GUI interface for model-based test generation tailored to FBD programs using the UPPAAL model-checker, (2) and to show relevant experiments with respect to the performance of the tool.
Prel. end date: 2013-06-07
Presentation date: 2013-06-07
Student: Gonzalo Laso Ferrer glo12001@student.mdh.se
IDT supervisor: Eduard Paul Enoiu
eduard.paul.enoiu@mdh.se, +46-21-101624
Examinator: Daniel Sundmark
Daniel Sundmark
daniel.sundmark@mdh.se, +46-21-103145

Rapport och bilagor

Size

Senaste uppdatering


  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2017.10.14