mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Combinatorial modeling and test case generation for industrial control software using ACTS
Mälardalen University.
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0003-2416-4205
2018 (English)In: Proceedings - 2018 IEEE 18th International Conference on Software Quality, Reliability, and Security, QRS 2018, Institute of Electrical and Electronics Engineers Inc. , 2018, p. 414-425Conference paper, Published paper (Refereed)
Abstract [en]

Combinatorial testing has been suggested as an effective method of creating test cases at a lower cost. However, industrially applicable tools for modeling and combinatorial test generation are still scarce. As a direct effect, combinatorial testing has only seen a limited uptake in industry that calls into question its practical usefulness. This lack of evidence is especially troublesome if we consider the use of combinatorial test generation for industrial safety-critical control software, such as are found in trains, airplanes, and power plants. To study the industrial application of combinatorial testing, we evaluated ACTS, a popular tool for combinatorial modeling and test generation, in terms of applicability and test efficiency on industrial-sized IEC 61131-3 industrial control software running on Programmable Logic Controllers (PLC). We assessed ACTS in terms of its direct applicability in combinatorial modeling of IEC 61131-3 industrial software and the efficiency of ACTS in terms of generation time and test suite size. We used 17 industrial control programs provided by Bombardier Transportation Sweden AB and used in a train control management system. Our results show that not all combinations of algorithms and interaction strengths could generate a test suite within a realistic cut-off time. The results of the modeling process and the efficiency evaluation of ACTS are useful for practitioners considering to use combinatorial testing for industrial control software as well as for researchers trying to improve the use of such combinatorial testing techniques.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers Inc. , 2018. p. 414-425
Keywords [en]
Accident prevention, Application programs, Combinatorial mathematics, Computer control, Computer software selection and evaluation, Efficiency, Industrial plants, Petroleum reservoir evaluation, Programmable logic controllers, Risk management, Software reliability, Bombardier Transportation, Combinatorial modeling, Combinatorial testing, Efficiency evaluation, Industrial controls, Interaction strength, Programmable Logic Controller (PLC), Test case generation, Software testing
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:mdh:diva-40745DOI: 10.1109/QRS.2018.00055Scopus ID: 2-s2.0-85052318599ISBN: 9781538677575 (print)OAI: oai:DiVA.org:mdh-40745DiVA, id: diva2:1246522
Conference
18th IEEE International Conference on Software Quality, Reliability, and Security, QRS 2018, 16 July 2018 through 20 July 2018
Available from: 2018-09-07 Created: 2018-09-07 Last updated: 2018-10-31Bibliographically approved

Open Access in DiVA

fulltext(326 kB)47 downloads
File information
File name FULLTEXT01.pdfFile size 326 kBChecksum SHA-512
84a83a6616b0fce16825efdeab18f5f1090cdae261e2909b38cf3650401d94dbfb26b9701c1977de497fdb334674d68d7f0dc2d3fbcb49ac92b491cfb12ff700
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Authority records BETA

Enoiu, Eduard Paul

Search in DiVA

By author/editor
Ericsson, SaraEnoiu, Eduard Paul
By organisation
Mälardalen UniversityEmbedded Systems
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 47 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 48 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf