Bachelor and Master Theses

Title: Automated Test Generation for Structured Text Language using UPPAAL Model Checker
Subject: Computer Science
Level: Advanced
Description: Software for Programmable Logic Controllers (PLC) is often written in a Structured Text (ST), one of 5 languages defined in IEC 61131-3 standard. At Software Testing Laboratory in MDH we have devised an approach for automated test generation for Function Block Diagrams (FBD), which is another language within the 61131-3 standard. In this thesis, we would like to look into possibilities of transforming ST into a formal language (or some other method) for the purpose of generating test cases reaching a maximum logic coverage of the underlying structure.

Automated Test Generation using Model-Checking: An Industrial Evaluation (Nov 2014) Eduard Paul Enoiu, Adnan Causevic, Thomas Ostrand, Elaine Weyuker, Daniel Sundmark, Paul Pettersson International Journal on Software Tools for Technology Transfer (STTT)
Prel. end date: 2015-06-07
Presentation date: 2015-06-04
Student: Filip Markovic
IDT supervisor: Adnan Causevic, 021-101689
Examinator: Björn Lisper
Björn Lisper, +46-21-151709

Rapport och bilagor


Senaste uppdatering



2015-05-20, 16:27

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