2B-5
組込みシステムへのモデル検査の適用
○中川雄一郎，明神智之，小川秀人（日立）
組込みシステムの品質向上を目的とし，モデル検査技術を適用する手法の検討を行った。一般的な不具合事例を元にすることで，モデル検査の検証範囲を限定しても不具合の発見が可能となる手法を提案し，適用試行した。2.5人月の検査工数で，テストに換算して74人月と同等の検証効果を得られた。