著者
丸地 康平 酒井 政裕 進 博正
雑誌
研究報告ソフトウェア工学(SE)
巻号頁・発行日
vol.2013-SE-179, no.17, pp.1-8, 2013-03-04

本論文では,シーケンス制御プラグラミング言語に適した新しいカバレッジ基準 MTC を提案する.MTC は,必要となるテストケース数を抑えつつ,効果的なテストを実現するためのカバレッジ基準であり,論理回路におけるトグル網羅とソフトウェアにおける MC/DC 網羅の両性質を併せ持つことを特徴とする.ミューテーションテストによる評価実験により,MTC の有効性を確認した.