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 条
  • [1] Comments on modified condition/decision coverage for software testing
    White, AL
    2001 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-7, 2001, : 2821 - 2827
  • [2] 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
  • [3] 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
  • [4] A Greedy-Based Method for Modified Condition/Decision Coverage Testing Criterion
    Li, Bo-His
    Huang, Chin-Yu
    2017 IEEE 36TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), 2017, : 244 - 246
  • [5] Scaling modified condition/decision coverage using distributed concolic testing for Java']Java programs
    Godboley, Sangharatna
    Dutta, Arpita
    Mohapatra, Durga Prasad
    Mall, Rajib
    COMPUTER STANDARDS & INTERFACES, 2018, 59 : 61 - 86
  • [6] 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
  • [7] Modified Condition Decision Coverage: A Hardware Verification Perspective
    Salem, Mohamed A.
    Eder, Kerstin I.
    2013 14TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION (MTV): COMMON CHALLENGES AND SOLUTIONS, 2013, : 8 - 13
  • [8] Practical Amplification of Condition/Decision Test Coverage by Combinatorial Testing
    Andrzejak, Artur
    Bach, Thomas
    2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2018, : 341 - 347
  • [9] 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
  • [10] 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