DocumentCode
1188751
Title
Applicability of modified condition/decision coverage to software testing
Author
Chilenski, John Joseph ; Miller, Steven P.
Author_Institution
Boeing Commercial Airplanes, Seattle, WA, USA
Volume
9
Issue
5
fYear
1994
fDate
9/1/1994 12:00:00 AM
Firstpage
193
Lastpage
200
Abstract
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
Keywords
program testing; program verification; real-time systems; safety; software reliability; complex Boolean expressions; high integrity software; modified condition/decision coverage; safety-critical applications; software testing; structural coverage criterion; validation; verification;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
329068
Link To Document