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 条
  • [1] Test-suite reduction and prioritization for modified condition/decision coverage
    Jones, JA
    Harrold, MJ
    IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS: SYSTEMS AND SOFTWARE EVOLUTION IN THE ERA OF THE INTERNET, 2001, : 92 - 101
  • [2] Test-suite reduction and prioritization for modified condition/decision coverage
    Jones, JA
    Harrold, MJ
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2003, 29 (03) : 195 - 209
  • [3] Modified condition decision coverage criteria for test suite prioritization using particle swarm optimization
    Nayak, Gayatri
    Ray, Mitrabinda
    INTERNATIONAL JOURNAL OF INTELLIGENT COMPUTING AND CYBERNETICS, 2019, 12 (04) : 425 - 443
  • [4] Necessary test cases for Decision Coverage and Modified Condition/Decision Coverage
    Szügyi, Zalán
    Porkoláb, Zoltán
    Periodica Polytechnica Electrical Engineering, 2008, 52 (3-4): : 187 - 195
  • [5] Test Data Automatic Generation Based on Modified Condition/Decision Coverage Criteria
    Fan Xin
    Zheng Wei
    Yang Feng-yu
    Liang Qi-jun
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INTELLIGENT COMMUNICATION, 2015, 16 : 287 - 290
  • [6] Bi-objective model for test-suite reduction based on modified condition/decision coverage
    Pan, LL
    Zou, BJ
    Li, JY
    Chen, H
    11TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2005, : 235 - 241
  • [7] Test Generation Tool Design For Modified Condition/Decision Coverage: Model Based Testing Approach
    Rahj, Amine
    Elqortobi, Mounia
    Bentahar, Jamal
    Dssouli, Rachida
    International Journal of Computer Science and Applications, 2021, 18 (01) : 1 - 25
  • [8] Observable Modified Condition/Decision Coverage
    Whalen, Michael
    Gay, Gregory
    You, Dongjiang
    Heimdahl, Mats P. E.
    Staats, Matt
    PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013), 2013, : 102 - 111
  • [9] Test generation approach guided by linear fitting for condition/decision coverage criteria
    Tang E.-Y.
    Zhou Y.
    Ou J.-S.
    Chen X.
    Chen, Xin (chenxin@nju.edu.cn), 1600, Chinese Academy of Sciences (27): : 593 - 610
  • [10] Increase in Modified Condition/Decision Coverage Using Program Code Transformer
    Godboley, Sangharatna
    Prashanth, G. S.
    Mohapatro, Durga Prasad
    Majhi, Bansidhar
    PROCEEDINGS OF THE 2013 3RD IEEE INTERNATIONAL ADVANCE COMPUTING CONFERENCE (IACC), 2013, : 1400 - 1407
12345