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

Fingerprint

Model checking
Nuclear instrumentation
Concretes
Testing

Keywords

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

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
Lahtinen, Jussi. / Automatic test set generation for function block based systems using model checking. Proceedings: 9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014. IEEE Institute of Electrical and Electronic Engineers , 2014. pp. 216-225
@inproceedings{fd63b01aff9845c79c49daffddf563e8,
title = "Automatic test set generation for function block based systems using model checking",
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.",
keywords = "function block diagram, model checking, nuclear automation, structure-based testing, test generation",
author = "Jussi Lahtinen",
year = "2014",
doi = "10.1109/QUATIC.2014.15",
language = "English",
isbn = "978-1-4799-6132-0",
pages = "216--225",
booktitle = "Proceedings",
publisher = "IEEE Institute of Electrical and Electronic Engineers",
address = "United States",

}

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. IEEE Institute of Electrical and Electronic Engineers , pp. 216-225, 9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014, Guimarães, Portugal, 23/09/14. https://doi.org/10.1109/QUATIC.2014.15

Automatic test set generation for function block based systems using model checking. / Lahtinen, Jussi.

Proceedings: 9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014. IEEE Institute of Electrical and Electronic Engineers , 2014. p. 216-225.

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

TY - GEN

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

AU - Lahtinen, Jussi

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

KW - function block diagram

KW - model checking

KW - nuclear automation

KW - structure-based testing

KW - test generation

U2 - 10.1109/QUATIC.2014.15

DO - 10.1109/QUATIC.2014.15

M3 - Conference article in proceedings

SN - 978-1-4799-6132-0

SP - 216

EP - 225

BT - Proceedings

PB - IEEE Institute of Electrical and Electronic Engineers

ER -

Lahtinen J. 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. IEEE Institute of Electrical and Electronic Engineers . 2014. p. 216-225 https://doi.org/10.1109/QUATIC.2014.15