設計自体もテスト可能なようになされ(次節参照)、網羅率が100%に近くなる。