APPLICABILITY OF MODIFIED CONDITION DECISION COVERAGE TO SOFTWARE TESTING

被引：249
|
作者：
CHILENSKI, JJ
MILLER, SP
机构：
[1] BOEING COMMERCIAL AIRPLANE GRP,SEATTLE,WA 98124
[2] ROCKWELL INT CORP,COLLINS COMMERCIAL AVION,CEDAR RAPIDS,IA 52498
来源：
SOFTWARE ENGINEERING JOURNAL | 1994年 / 9卷 / 05期
关键词：
D O I：
10.1049/sej.1994.0025
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Modified condition/decision coverage is a structural coverage criterion requiring that each condition within a decision is shown by execution to independently and correctly affect the outcome of the decision. This criterion was developed to help meet the need for extensive testing of complex Boolean expressions in safety-critical applications. The paper describes the modified condition/decision coverage criterion, its properties and areas for further work.
引用
收藏
页码：193 / 200
页数：8
相关论文
共 50 条
  • [11] Test-suite reduction and prioritization for modified condition/decision coverage
    Jones, JA
    Harrold, MJ
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2003, 29 (03) : 195 - 209
  • [12] 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
  • [13] 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
  • [14] Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving
    Kitamura, Takashi
    Maissonneuve, Quentin
    Choi, Eun-Hye
    Artho, Cyrille
    Gargantini, Angelo
    COMPUTER SAFETY, RELIABILITY, AND SECURITY (SAFECOMP 2018), 2018, 11093 : 123 - 138
  • [15] Enhanced Modified Condition/Decision Coverage Using Exclusive-Nor Code Transformer
    Godboley, Sangharatna
    Prashanth, G. S.
    Mohapatra, Durga Prasad
    Majhi, Bansidhar
    2013 IEEE INTERNATIONAL MULTI CONFERENCE ON AUTOMATION, COMPUTING, COMMUNICATION, CONTROL AND COMPRESSED SENSING (IMAC4S), 2013, : 524 - 531
  • [16] 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
  • [17] DeepBoundary: A Coverage Testing Method of Deep Learning Software based on Decision Boundary Representation
    Liu, Yue
    Feng, Lichao
    Wang, Xingya
    Zhang, Shiyu
    2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY, AND SECURITY COMPANION, QRS-C, 2022, : 166 - 172
  • [18] A Study on Test Coverage in Software Testing
    Shahid, Muhammad
    Ibrahim, Suhaimi
    Mahrin, Mohd Naz'ri
    COMPUTER COMMUNICATION AND MANAGEMENT, 2011, 5 : 207 - 215
  • [19] An investigation of the applicability of design of experiments to software testing
    Kuhn, R
    Reilly, MJ
    27TH ANNUAL NASA GODDARD/IEEE SOFTWARE ENGINEERING WORKSHOP - PROCEEDINGS, 2003, : 91 - 95
  • [20] J3 Model: A novel framework for improved Modified Condition/Decision Coverage analysis
    Godboley, Sangharatna
    Dutta, Arpita
    Mohapatra, Durga Prasad
    Mall, Rajib
    COMPUTER STANDARDS & INTERFACES, 2017, 50 : 1 - 17
12345