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.

References:
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 ske14002@student.mdh.se
IDT supervisor: Adnan Causevic
adnan.causevic@mdh.se, 021-101689
Examinator: Daniel Sundmark
Daniel Sundmark
daniel.sundmark@mdh.se, +46-21-103145

Rapport och bilagor

Size

Senaste uppdatering

TR1744.pdf

1358490

2015-05-20, 15:38


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