By Topic

Comments on the probability model for the modified condition/decision coverage method of testing software

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $31
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
White, A.L. ; NASA Langley Res. Center, Hampton, VA, USA

The probability model of software errors offered as a partial justification for the modified condition/decision coverage (MC/DC) method of testing software is examined. MC/DC is complex and still evolving, but a description of MC/DC adequate for a discussion of the probability model is presented. The original description of the model is presented, and the model's relationship to MC/DC is described. The model is reformulated to make it easier to understand, and it is generalised to strengthen it. The assertions about MC/DC and programming that have been made on the basis of the model are examined. Finally, some experiments are proposed to estimate the model's parameters and to test the appropriateness of the model.

Published in:

Software, IEE Proceedings -  (Volume:150 ,  Issue: 1 )