修正された条件/判定カバレッジに関して、理解できない質問があります。
したがって、式が((A || B) && C)あり、タスクが最小数のテスト ケースである場合、100% MD/DC を受け取ります。
と の最小数のテスト ケースを使用して、2 つの部分に分割し(A || B)ます(X && C)。
(A || B) : {F, F} = F, {F, T} = T, {T, -} = T
(X && C) : {F, -} = F, {T, F} = F, {T, T} = T
「-」は、コンパイラによって評価されないため、どの値であっても問題ないことを意味します。
したがって、これらを組み合わせると、これが最小限のテスト ケース セットとして得られます。
((A || B) && C) : {{F, F}, -} = F, {{F, T}, F} = F, {{T, -}, T} = T
しかし、グーグルで検索すると、これもセット{{F, T}, T} = T
に含まれています。このセットの一部を他のテストで個別にテストしたため、同意しませんか?
したがって、4 番目のテスト ケースがセットに追加するものを見逃しているようですが、なぜそれが必要なのか誰かが説明してくれたらうれしいです。