Code Coverage for C

Question

I've been doing a little bit of reviewing the different code coverage testing used on embedded systems. In particular, I'm looking at the MC/DC. From what I understand, one of the objectives is to make sure that each logical clause in a statement should affect the outcome of the statement.

Two questions:

What is gained by independently verifying that each clause has an effect on the outcome?
Why would (A||B) && (A||!C) not be able to achieve 100% MC/DC, while A||(B&&!C) will achieve 100% MC/DC even if they have the exact same functionality?

Eli Sadoff · Accepted Answer · 2016-11-04 04:20:08Z

2

To answer your questions

You want as little of code as possible and as less complex code as possible. Having unreachable conditions lengthens your code and makes your code unnecessarily complex.
(A||B) && (A||!C) won't achieve 100% because it requires A to be checked twice for no reason. In the condition where A is false and B is true, A's truthiness will be checked for a second time in the (A||!C) expression for no reason in this formulation whereas in the formula A||(B&&!C) has A's truthiness being checked only once.

answered Nov 4, 2016 at 4:20

Eli Sadoff

7,2986 gold badges37 silver badges64 bronze badges

Sign up to request clarification or add additional context in comments.

2 Comments

engineer14 Over a year ago

So the main target of the MC/DC is to reduce complexity?

Eli Sadoff Over a year ago

The goal of MC/DC is to test every possible outcome with as little complexity as possible.

Collectives™ on Stack Overflow

Code Coverage for C

1 Answer 1

2 Comments

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

1 Answer 1

2 Comments

Your Answer

Sign up or log in

Post as a guest

Related