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 [J].

BASILI, VR ;

SELBY, RW .

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 [J].

CLARKE, LA ;

PODGURSKI, A ;

RICHARDSON, DJ ;

ZEIL, SJ .

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 [J].

HOWDEN, WE .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (02) :162-169

[10]

Kernighan B.W., 1981, SOFTWARE TOOLS PASCA

← 1 2 3 →