CS447 Lecture 1: L18.pdf
Document Summary
So, how can we satisfy cacc on this example from last time? p = a (b c) There"s no clear reason to prefer racc over cacc. But we can con- struct situations where cacc is feasible and racc is infeasible. These situations typically involve dependencies between clauses, making some combinations of clause variables impossible. Racc seems to come from the aviation community misinterpreting a loosely-de ned criterion known as mcdc . Racc then corresponds to unique-cause mcdc , but the faa now allows. Cacc test suites, under the name masking mcdc . The book also de nes the notion of inactive clause coverage.
