Automatic test set generation for function block based systems using model checking

Jussi Lahtinen

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

3 Citations (Scopus)

Abstract

Many nuclear instrumentation and control (I&C) systems are designed using a function block diagram description of the system. Strict requirements pertain to the verification of these systems. Different verification techniques, including structure-based testing, are demanded by standards and the regulators. Unfortunately, the traditional structure-based test techniques intended for software code are not directly applicable to function block diagrams. However, coverage criteria for function block diagrams have recently been developed. In this work we have used these coverage criteria and developed a technique for generating structure-based test sets for function block based designs. The test set is automatically generated but the technique requires that a model checking model of the system is available. The technique utilises model checking to determine the concrete test cases. We have also described how tests can be generated so that multiple test requirements can be fulfilled at once, thus decreasing the number of generated test cases. We have implemented our approach as a proof-of-concept tool, and demonstrated the technique on a case study system.
Original languageEnglish
Title of host publicationProceedings
Subtitle of host publication9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014
PublisherIEEE Institute of Electrical and Electronic Engineers
Pages216-225
ISBN (Electronic)978-1-4799-6133-7
ISBN (Print)978-1-4799-6132-0
DOIs
Publication statusPublished - 2014
MoE publication typeA4 Article in a conference publication
Event9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014 - Guimarães, Portugal
Duration: 23 Sep 201426 Sep 2014

Conference

Conference9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014
Abbreviated titleQUATIC 2014
CountryPortugal
CityGuimarães
Period23/09/1426/09/14

Keywords

  • function block diagram
  • model checking
  • nuclear automation
  • structure-based testing
  • test generation

Fingerprint Dive into the research topics of 'Automatic test set generation for function block based systems using model checking'. Together they form a unique fingerprint.

  • Cite this

    Lahtinen, J. (2014). Automatic test set generation for function block based systems using model checking. In Proceedings: 9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014 (pp. 216-225). IEEE Institute of Electrical and Electronic Engineers. https://doi.org/10.1109/QUATIC.2014.15