Applicability of modified condition/decision coverage to software testing

Applicability of modified condition/decision coverage to software testing

For access to this article, please select a purchase option:

Buy article PDF
(plus tax if applicable)
Buy Knowledge Pack
10 articles for £75.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Your details
Why are you recommending this title?
Select reason:
Software Engineering Journal — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

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.


    1. 1)
      • Hoffman, D.: `Hardware testing and software ICs', Proc. Pacific Northwest Software Quality Conf., September 1989, , p. 234–244
    2. 2)
      • , Software testing techniques
    3. 3)
      • Functional program testing
    4. 4)
      • , The art of software testing
    5. 5)
      • , SDS software testing and evaluation: a review of the state-of-the-art in software testing and evaluation with recommended R&D tasks
    6. 6)
      • Comparing the effectiveness of software testing strategies
    7. 7)
      • Theoretical and empirical studies of program testing
    8. 8)
      • Weyuker, E.J., Weiss, S.N., Hamlet, D.: `Comparison of program testing strategies', Proc. Symp. on Testing, Analysis, and Verification (TAV4), October 1991, Victoria, British Columbia, p. 1–10
    9. 9)
      • A formal evaluation of data flow path selection criteria
    10. 10)
      • A comparison of some structural testing strategies
    11. 11)
      • Selecting software test data using data flow information
    12. 12)
      • `Software considerations in airborne systems and equipment certification', Document RTCA/DO-178B, December 1992
    13. 13)
      • , The science of programming
    14. 14)
      • , Switching theory and finite automata theory
    15. 15)
      • , Logic design principles
    16. 16)
      • `Reference manual for the Ada programming language', ANSI/MIL-STD-1815A-1983, February 1983
    17. 17)
      • Hamlet, R.: `Theoretical comparison of testing methods', Proc. Third Symp. on Testing, Analysis, and Verification, December 1989, Key West, Florida, p. 28–37
    18. 18)
      • , Software tools in Pascal
    19. 19)
      • , Software components with Ada
    20. 20)
      • Sensitive test data for logic expressions
    21. 21)
      • Tai, K-C., Su, H-K.: `Test generation for Boolean expressions', Proc. 11th Int. Symp. on Computer Software and Applications (COMPSAC '87), October 1987, Tokyo, Japan, p. 278–283, ISSN 0730-3157

Related content

This is a required field
Please enter a valid email address