Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving

被引：5
|
作者：
Kitamura, Takashi [1 ]
Maissonneuve, Quentin [1 ,2 ]
Choi, Eun-Hye [1 ]
Artho, Cyrille [3 ]
Gargantini, Angelo [4 ]
机构：
[1] Natl Inst Adv Ind Sci & Technol, Osaka, Japan
[2] Univ Nantes, Nantes, France
[3] KTH Royal Inst Technol, Stockholm, Sweden
[4] Univ Bergamo, Bergamo, Italy
来源：
COMPUTER SAFETY, RELIABILITY, AND SECURITY (SAFECOMP 2018) | 2018年 / 11093卷
关键词：
REDUCTION;
D O I：
10.1007/978-3-319-99130-6_9
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Boolean expressions occur frequently in descriptions of computer systems, but they tend to be complex and error-prone in complex systems. The modified condition decision coverage (MCDC) criterion in system testing is an important testing technique for Boolean expression, as its usage mandated by safety standards such as DO-178 [1] (avionics) and ISO26262 [2] (automotive). In this paper, we develop an algorithm to generate optimal MCDC test suites for Boolean expressions. Our algorithm is based on SAT solving and generates minimal MCDC test suites. Experiments on a real-world avionics system confirm that the technique can construct minimal MCDC test suites within reasonable times, and improves significantly upon prior techniques.
引用
收藏
页码：123 / 138
页数：16
相关论文
共 50 条
  • [31] Optimal test suite selection in regression testing with testcase prioritization using modified Ann and Whale optimization algorithm
    S. K. Harikarthik
    V. Palanisamy
    P. Ramanathan
    Cluster Computing, 2019, 22 : 11425 - 11434
  • [32] Optimal test suite selection in regression testing with testcase prioritization using modified Ann and Whale optimization algorithm
    Harikarthik, S. K.
    Palanisamy, V.
    Ramanathan, P.
    CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2019, 22 (Suppl 5): : 11425 - 11434
  • [33] Using Artificial Bee Colony for Code Coverage based Test Suite Prioritization
    Konsaard, Patipat
    Ramingwong, Lachana
    2015 2ND INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND SECURITY (ICISS), 2015, : 152 - 155
  • [34] An Empirical Study of Greedy Test Suite Minimization Techniques Using Mutation Coverage
    Jehan, Seema
    Wotawa, Franz
    IEEE ACCESS, 2023, 11 : 65427 - 65442
  • [35] Model-Based Coverage-Driven Test Suite Generation for Software Product Lines
    Cichos, Harald
    Oster, Sebastian
    Lochau, Mahe
    Schuerr, Andy
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2011, 6981 : 425 - +
  • [36] A Test Sequence Generation Method for Communication Protocols Using the SAT Algorithm
    Mori, Takanori
    Otsuka, Hirotaka
    Funabiki, Nobuo
    Nakata, Akio
    Higashino, Teruo
    Systems and Computers in Japan, 2003, 34 (11) : 20 - 29
  • [37] Automatic Test Generation for Coverage Analysis Using CBMC
    Augeletti, Damiano
    Giunchiglia, Enrico
    Narizzano, Massimo
    Puddu, Alessandra
    Sabina, Salvatore
    COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2009, 2009, 5717 : 287 - +
  • [38] Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution
    Wei-jiang Hong
    Yi-jun Liu
    Zhen-bang Chen
    Wei Dong
    Ji Wang
    Frontiers of Information Technology & Electronic Engineering, 2020, 21 : 1267 - 1284
  • [39] Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution
    Hong, Wei-jiang
    Liu, Yi-jun
    Chen, Zhen-bang
    Dong, Wei
    Wang, Ji
    FRONTIERS OF INFORMATION TECHNOLOGY & ELECTRONIC ENGINEERING, 2020, 21 (09) : 1267 - 1284
  • [40] Artificial bee colony algorithm in data flow testing for optimal test suite generation
    Sheoran, Snehlata
    Mittal, Neetu
    Gelbukh, Alexander
    INTERNATIONAL JOURNAL OF SYSTEM ASSURANCE ENGINEERING AND MANAGEMENT, 2020, 11 (02) : 340 - 349
12345