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
fDate :
9/1/1994 12:00:00 AM
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;
Journal_Title :
Software Engineering Journal
