MC/DC Implications for Software Testing from (Combinational) Logic Design
Structural testing is often the most common sought criteria for exercising aspects of control flow (i.e. such as statement, branch and path coverage). In many cases, criteria based on statement, decision and path coverage appears sufficiently effective for testing (in terms of selecting the appropr...
| Main Authors: | , , |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | English |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://umpir.ump.edu.my/id/eprint/5301/ http://umpir.ump.edu.my/id/eprint/5301/ http://umpir.ump.edu.my/id/eprint/5301/1/37_ump.pdf |
| Summary: | Structural testing is often the most common sought criteria for exercising aspects of control flow (i.e. such as statement, branch and path coverage). In many cases, criteria based on statement, decision and path coverage
appears sufficiently effective for testing (in terms of selecting the appropriate test cases for testing
consideration) the various parts of the software implementation. In other cases involving complex predicates, criteria based on statement, branch, and path coverage appear problematic owing to the problem of masking (where one variable is “masking” the effects of other variables). Addressing this issue, this paper discusses the strategy for structural testing based on Multiple Condition/Decision Coverage (MC/DC). In doing so, this paper also highlights the implication of MC/DC for (combinational) logic design. |
|---|