APPLICABILITY OF MODIFIED CONDITION DECISION COVERAGE TO SOFTWARE TESTING

被引：257
作者：
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
相关论文
共 21 条
  • [1] COMPARING THE EFFECTIVENESS OF SOFTWARE TESTING STRATEGIES
    BASILI, VR
    SELBY, RW
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1987, 13 (12) : 1278 - 1296
  • [2] Beizer B., 2003, SOFTWARE TESTING TEC
  • [3] Booch G, 1987, SOFTWARE COMPONENTS
  • [4] A FORMAL EVALUATION OF DATA FLOW PATH SELECTION CRITERIA
    CLARKE, LA
    PODGURSKI, A
    RICHARDSON, DJ
    ZEIL, SJ
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1989, 15 (11) : 1318 - 1332
  • [5] Foster K. A., 1984, ACM SIGSOFT SOFTWARE, V9, P120
  • [6] Gries David, 1981, SCI PROGRAMMING
  • [7] HOFFMAN D, 1989, SEP P NW SOFTW QUAL, P234
  • [8] HOWDEN W, 1978, IEEE T, V4, P162
  • [9] FUNCTIONAL PROGRAM TESTING
    HOWDEN, WE
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (02) : 162 - 169
  • [10] Kernighan B.W., 1981, SOFTWARE TOOLS PASCA
123