Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Standard view
Full view
of .
Look up keyword or section
Like this

Table Of Contents

1 Background and Purpose
1.1 Scope of the Tutorial
1.2 Notes on definitions and notation
2 MC/DC Apologia
2.1 The Verification Process
2.2 Definition and Role of Coverage
2.2.1 Requirements Coverage Analysis
2.2.2 Structural Coverage Analysis
2.3 Types of Structural Coverage
2.3.1 Statement Coverage
2.3.2 Decision Coverage
2.3.3 Condition Coverage
2.3.4 Condition/Decision Coverage
2.3.5 Modified Condition/Decision Coverage
2.3.6 Multiple Condition Coverage
2.4 Structural Coverage versus Structural Testing
2.5 More Details about Modified Condition/Decision Coverage
2.6 Confounding Issues
3 MC/DC Approach
3.1 MC/DC Building Blocks (“how do I test a …?”)
3.1.1 and Gate
3.1.2 or Gate
3.1.3 xor Gate
3.1.4 not Gate
3.1.5 Comparator
3.1.6 If-then-else Statement
3.1.7 Loop Statements
3.2 Evaluation Method
3.2.1 Source Code Representation
3.2.2 Identification of Test Inputs
3.2.3 Elimination of Masked Tests
3.2.4 Determination of MC/DC
3.2.5 Output Confirmation
3.3 Following the Five-step Evaluation Process
3.4 Grouped Functionality
3.5 Developing Complex Constructs
3.6 MC/DC with Short Circuit Logic
3.7 MC/DC with Bit-wise Operations
3.7.1 Examples with Bit-Wise Operations
3.7.2 Alternate Treatments of Bit-wise Operations
3.8 Analysis Resolution
4 MC/DC Admonitions
4.1 Automation Problems
4.1.1 How Coverage Analysis Tools Work
4.1.2 Factors to Consider in Selecting or Qualifying a Tool
4.2 Process Problems
4.2.1 Inadequate Planning for MC/DC
4.2.2 Misunderstanding the MC/DC Objective
4.2.3 Inefficient Testing Strategies
4.2.4 Poor Management of Verification Resources
5 Assessment Process
Step 1—Review Verification Plans
Step 2—Determine need for tool qualification
Step 3—Review data related to qualification of MC/DC tools
Step 4—Review test cases and procedures
Step 5—Review checklists for test cases, procedures, and results
Step 6—Determine effectiveness of test program
Task 6.1—Assess results of requirements-based tests
Task 6.2—Assess failure explanations and rework
Task 6.3—Assess coverage achievement
6 Summary
7 References
Appendix A
Solutions to Exercises
Solution 2.5a
Solution 2.5b
Solution 3.3a, OR/XOR Exercise
Solution 3.3b, Ground Test Exercise
Solution 3.3c, Weight on Wheels Exercise
Solution 3.3d, Gain Exercise
Solution 3.5, Reset-Overides-Set Latch Exercise
Appendix B
Certification Authorities Software Team Position Paper on Masking MC/DC
Appendix C
Background on Tutorial Authors
0 of .
Results for:
No results containing your search query
P. 1
MC DC.tutorial.nasa 2001 Tm210876

MC DC.tutorial.nasa 2001 Tm210876

Ratings: (0)|Views: 5 |Likes:

More info:

Published by: Jandisson Soares Jesus on Oct 03, 2012
Copyright:Attribution Non-commercial


Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less





You're Reading a Free Preview
Pages 5 to 36 are not shown in this preview.
You're Reading a Free Preview
Pages 41 to 85 are not shown in this preview.

You're Reading a Free Preview

/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->