Bachelor and Master Theses

Title: Automated Test Case Generation for Function Block Diagrams using Java Path Finder and Symbolic Execution
Subject: Computer Science
Level: Advanced
Description: Automated test case generation for covering logic structure of Function Block Diagrams (FBD) is an ongoing research activity being conducted at Software Testing Laboratory at MDH. In [1], we proposed an approach which utilised Uppaal model-checker for generating tests. In this thesis we need to define how FBD programs could be represented as a Java program suitable for model-checking using Java Path Finder and evaluate the efficiency (performance) and the effectiveness (ability to find a fault) of such an approach when compared to the existing one using Uppaal.

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: Sebastian Kunze
IDT supervisors:
Adnan Causevic, 021-101689
     Eduard Paul Enoiu, +46-21-101624
Examinator: Daniel Sundmark
Daniel Sundmark, +46-21-103145

Rapport och bilagor


Senaste uppdatering



2015-05-20, 15:38

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