MC/DCによる現実的な網羅のススメ (PDF)CESL Copyright CATS 2009 [2009 年 7 月 8 日]1 MC/DC による現実的な網羅のススメ 松本 充広† Modified condition/decision coverage（MC/DC）は，ソフトウェアのテスト網羅度として非 常に有効な指標である．テスト網羅度は，ソフトウェアテストにおいて，充分にテストした，と いう品質基準を定義する指標の一つであり，テスト網羅度を用いることで，ソフトウェア品質 を保持しながら，コストや時間が無制限に増大するのを避けることができる．MC/DC は，故 障が人命に係わる航空機ソフトウェアのテスト時に使用するテスト網羅度として，米国の航 空機産業の業界団体である RTCA が策定した DO-178B の中で開発された．MC/DC 開発 以前に存在したテスト網羅度は，様々な問題を持っていたが，これらの問題が MC/DC
