Industrial evaluation of search-based test generation techniques for control systems

Florian Hauer; Alexander Pretschner; Maximilian Schmitt; Markus Groetsch

doi:10.1109/ISSREW.2017.10

Industrial evaluation of search-based test generation techniques for control systems

Florian Hauer
, Alexander Pretschner
, Maximilian Schmitt
, Markus Groetsch

Informatics 4 - Chair of Software und Systems Engineering

Technical University of Munich
Jungheinrich Moosburg AG and Co. KG

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

4 Scopus citations

Abstract

The systems and the software in the domain of industrial trucks are becoming increasingly complex due to the rapidly increasing demand for more functionality. This leads to an even faster rising effort for manual verification activities. Therefore, automated testing techniques need to be introduced into the verification process.In this work, a search-based test generation technique has been adapted for the requirements-based black box test of control systems for counterweight forklift trucks. Fitness functions are derived from industrial requirement documents and are utilized to automatically generate test cases consisting of multiple input signals. The designed approach has been evaluated on an industrial control system and the results show that failures can bedetected in the system as well as in the environment model.

Original language	English
Title of host publication	Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	5-8
Number of pages	4
ISBN (Electronic)	9781538623879
DOIs	https://doi.org/10.1109/ISSREW.2017.10
State	Published - 14 Nov 2017
Event	28th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2017 - Toulouse, France Duration: 23 Oct 2017 → 26 Oct 2017

Publication series

Name	Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017

Conference

Conference	28th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2017
Country/Territory	France
City	Toulouse
Period	23/10/17 → 26/10/17

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 9 Industry, Innovation, and Infrastructure

Keywords

Automatic Testing
Embedded Software
Genetic Algorithms
System Verification

Access to Document

10.1109/ISSREW.2017.10

Cite this

Hauer, F., Pretschner, A., Schmitt, M., & Groetsch, M. (2017). Industrial evaluation of search-based test generation techniques for control systems. In Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017 (pp. 5-8). Article 8109236 (Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ISSREW.2017.10

Hauer, Florian ; Pretschner, Alexander ; Schmitt, Maximilian et al. / Industrial evaluation of search-based test generation techniques for control systems. Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017. Institute of Electrical and Electronics Engineers Inc., 2017. pp. 5-8 (Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017).

@inproceedings{1312d36b33a94a2fba7c13df823a8cf3,

title = "Industrial evaluation of search-based test generation techniques for control systems",

abstract = "The systems and the software in the domain of industrial trucks are becoming increasingly complex due to the rapidly increasing demand for more functionality. This leads to an even faster rising effort for manual verification activities. Therefore, automated testing techniques need to be introduced into the verification process.In this work, a search-based test generation technique has been adapted for the requirements-based black box test of control systems for counterweight forklift trucks. Fitness functions are derived from industrial requirement documents and are utilized to automatically generate test cases consisting of multiple input signals. The designed approach has been evaluated on an industrial control system and the results show that failures can bedetected in the system as well as in the environment model.",

keywords = "Automatic Testing, Embedded Software, Genetic Algorithms, System Verification",

author = "Florian Hauer and Alexander Pretschner and Maximilian Schmitt and Markus Groetsch",

note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 28th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2017 ; Conference date: 23-10-2017 Through 26-10-2017",

year = "2017",

month = nov,

day = "14",

doi = "10.1109/ISSREW.2017.10",

language = "English",

series = "Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "5--8",

booktitle = "Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017",

}

Hauer, F, Pretschner, A, Schmitt, M & Groetsch, M 2017, Industrial evaluation of search-based test generation techniques for control systems. in Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017., 8109236, Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017, Institute of Electrical and Electronics Engineers Inc., pp. 5-8, 28th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2017, Toulouse, France, 23/10/17. https://doi.org/10.1109/ISSREW.2017.10

Industrial evaluation of search-based test generation techniques for control systems. / Hauer, Florian; Pretschner, Alexander; Schmitt, Maximilian et al.
Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017. Institute of Electrical and Electronics Engineers Inc., 2017. p. 5-8 8109236 (Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Industrial evaluation of search-based test generation techniques for control systems

AU - Hauer, Florian

AU - Pretschner, Alexander

AU - Schmitt, Maximilian

AU - Groetsch, Markus

PY - 2017/11/14

Y1 - 2017/11/14

N2 - The systems and the software in the domain of industrial trucks are becoming increasingly complex due to the rapidly increasing demand for more functionality. This leads to an even faster rising effort for manual verification activities. Therefore, automated testing techniques need to be introduced into the verification process.In this work, a search-based test generation technique has been adapted for the requirements-based black box test of control systems for counterweight forklift trucks. Fitness functions are derived from industrial requirement documents and are utilized to automatically generate test cases consisting of multiple input signals. The designed approach has been evaluated on an industrial control system and the results show that failures can bedetected in the system as well as in the environment model.

AB - The systems and the software in the domain of industrial trucks are becoming increasingly complex due to the rapidly increasing demand for more functionality. This leads to an even faster rising effort for manual verification activities. Therefore, automated testing techniques need to be introduced into the verification process.In this work, a search-based test generation technique has been adapted for the requirements-based black box test of control systems for counterweight forklift trucks. Fitness functions are derived from industrial requirement documents and are utilized to automatically generate test cases consisting of multiple input signals. The designed approach has been evaluated on an industrial control system and the results show that failures can bedetected in the system as well as in the environment model.

KW - Automatic Testing

KW - Embedded Software

KW - Genetic Algorithms

KW - System Verification

UR - https://www.scopus.com/pages/publications/85040610005

U2 - 10.1109/ISSREW.2017.10

DO - 10.1109/ISSREW.2017.10

M3 - Conference contribution

AN - SCOPUS:85040610005

T3 - Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017

SP - 5

EP - 8

BT - Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 28th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2017

Y2 - 23 October 2017 through 26 October 2017

ER -

Hauer F, Pretschner A, Schmitt M, Groetsch M. Industrial evaluation of search-based test generation techniques for control systems. In Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017. Institute of Electrical and Electronics Engineers Inc. 2017. p. 5-8. 8109236. (Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017). doi: 10.1109/ISSREW.2017.10

Industrial evaluation of search-based test generation techniques for control systems

Abstract

Publication series

Conference

UN SDGs

Keywords

Access to Document

Other files and links

Fingerprint

Cite this