@techreport{oai:ipsj.ixsq.nii.ac.jp:00090484,
 author = {丸地, 康平 and 酒井, 政裕 and 進, 博正 and Kohei, Maruchi and Masahiro, Sakai and Hiromasa, Shin},
 issue = {17},
 month = {Mar},
 note = {本論文では，シーケンス制御プラグラミング言語に適した新しいカバレッジ基準 MTC を提案する．MTC は，必要となるテストケース数を抑えつつ，効果的なテストを実現するためのカバレッジ基準であり，論理回路におけるトグル網羅とソフトウェアにおける MC/DC 網羅の両性質を併せ持つことを特徴とする．ミューテーションテストによる評価実験により，MTC の有効性を確認した．, In this paper, we propose new coverage criterion called MTC, which is suited to testing for sequence control programs. MTC combines two popular coverage criteria, namely toggle coverage commonly used for digital circuits, and modified condition/decision coverage (MC/DC) commonly used for safety-critical software, to achieve effective testing while keeping the number of necessary test cases relatively small. We have evaluated the effectiveness of MTC by using mutation testing method.},
 title = {シーケンス制御プログラムのテストに適した新しいカバレッジ基準の提案},
 year = {2013}
}