Automatic Test Case Generation for PLC Programs using Coverage Metrics

被引：0
|
作者：
Simon, Hendrik [1 ]
Friedrich, Nico [1 ]
Biallas, Sebastian [1 ]
Hauck-Stattelmann, Stefan [2 ]
Schlich, Bastian [2 ]
Kowalewski, Stefan [1 ]
机构：
[1] Rhein Westfal TH Aachen, Embedded Software Lab, Aachen, Germany
[2] ABB Corp Res Germany, Ladenburg, Germany
来源：
PROCEEDINGS OF 2015 IEEE 20TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA) | 2015年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents a method for automatic test case generation for PLC software following the IEC61131-3 standard. The core component is a model checker that iteratively creates program traces, each of them covering a part of the program in terms of a coverage metric. These test cases are translated into Structured Text, a programming languages defined in the IEC61131-3, to allow the execution on a soft-PLC or the actual hardware. Our approach is evaluated on a set of function blocks that are used in industry. We demonstrate that test cases can be automatically generated within few seconds in most cases.
引用
收藏
页数：4
相关论文
共 50 条
  • [1] Concolic Test Generation for PLC Programs using Coverage Metrics
    Bohlender, Dimitri
    Simon, Hendrik
    Friedrich, Nico
    Kowalewski, Stefan
    Hauck-Stattelmann, Stefan
    [J]. 2016 13TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS (WODES), 2016, : 432 - 437
  • [2] Automatic Test Generation for Coverage Analysis Using CBMC
    Augeletti, Damiano
    Giunchiglia, Enrico
    Narizzano, Massimo
    Puddu, Alessandra
    Sabina, Salvatore
    [J]. COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2009, 2009, 5717 : 287 - +
  • [3] Towards Automatic Generation of Test Data using Branch Coverage
    Chen, Jifeng
    Yang, Luming
    [J]. ICCSSE 2009: PROCEEDINGS OF 2009 4TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION, 2009, : 921 - 925
  • [4] Automatic Test Generation for Coverage Improvement
    Wilson, Chris
    [J]. HLDVT: 2008 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2008, : 141 - 142
  • [5] Integrating DSGEO into test case generation for path coverage of MPI programs
    Sun, Baicai
    Gong, Dunwei
    Yao, Xiangjuan
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2023, 153
  • [6] Automatic Business Process Test Case Selection: Coverage Metrics, Algorithms, and Performance Optimizations
    Boehmer, Kristof
    Rinderle-Ma, Stefanie
    [J]. INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 2016, 25 (04)
  • [7] Test Data Generation for Path Coverage of MPI Programs Using SAEO
    Gong, Dunwei
    Sun, Baicai
    Yao, Xiangjuan
    Tian, Tian
    [J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2021, 30 (02)
  • [8] Automatic Test Data Generation for C Programs
    Bokil, Prasad
    Darke, Priyanka
    Shrotri, Ulka
    Venkatesh, R.
    [J]. 2009 THIRD IEEE INTERNATIONAL CONFERENCE ON SECURE SOFTWARE INTEGRATION AND RELIABILITY IMPROVEMENT, PROCEEDINGS, 2009, : 359 - 368
  • [9] AUTOMATIC GENERATION OF THE PLC PROGRAMS FOR THE SEQUENTIAL CONTROL OF PNEUMATIC ACTUATORS
    Blagojevic, Vladislav
    Randelovic, Sasa
    Nikolic, Vlastimir
    Dudic, Slobodan
    [J]. FACTA UNIVERSITATIS-SERIES MECHANICAL ENGINEERING, 2019, 17 (03) : 405 - 414
  • [10] Methodology for Railway Automation Study and Automatic Generation of PLC Programs
    Coupat, Raphael
    Philippot, Alexandre
    Annebicque, David
    Riera, Bernard
    Niang, Mohamed
    Courtois, Christian
    [J]. IEEE INTELLIGENT TRANSPORTATION SYSTEMS MAGAZINE, 2018, 10 (03) : 80 - 93
12345