CompleteTest

Automatic Test Generation for Function Block Diagrams

Model-based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker

Abstract

A method for model-based test generation of safety-critical applications using Programmable Logic Controllers and implemented in a programming language such as Function Block Diagram (FBD) is described. It involves the transformation of FBD programs with timed annotations into timed automata models which are used to automatically generate test suites. Specifically we demonstrate how to use model transformation for formalization and model-checking of FBD programs using the UPPAAL tool. Many benefits emerge from this method, including the ability to automatically generate test suites from a formal model in order to ensure compliance to strict quality requirements including unit testing and specific coverage measurements. The approach is experimentally assessed on a train control system in terms of consumed resources.

Citation

Enoiu, E. P., Sundmark, D., & Pettersson, P. (2013). Model-based Test Suite Generation for Function Block Diagrams using the UPPAAL Model Checker. In International Conference on Software Testing, Verification and Validation (ICST) – Advances in Model Based Testing (A-MOST 2012). IEEE.

Download

Full-text available at www.es.mdh.se

Bibtex

@inproceedings{Enoiu2763,
author = {Eduard Paul Enoiu and Daniel Sundmark and Paul Pettersson},
title = {Model-based Test Suite Generation for Function Block Diagrams using the UPPAAL Model Checker},
month = {April},
year = {2013},
booktitle = {International Conference on Software Testing, Verification and Validation (ICST) - Advances in Model Based Testing (A-MOST 2012)},
publisher = {IEEE },
url = {http://www.es.mdh.se/publications/2763-}
}