1 0 0 0 OA シーケンス制御プログラムのテストに適した新しいカバレッジ基準の提案
- 著者
- 丸地 康平 酒井 政裕 進 博正
- 雑誌
- 研究報告ソフトウェア工学(SE)
- 巻号頁・発行日
- vol.2013-SE-179, no.17, pp.1-8, 2013-03-04
本論文では,シーケンス制御プラグラミング言語に適した新しいカバレッジ基準 MTC を提案する.MTC は,必要となるテストケース数を抑えつつ,効果的なテストを実現するためのカバレッジ基準であり,論理回路におけるトグル網羅とソフトウェアにおける MC/DC 網羅の両性質を併せ持つことを特徴とする.ミューテーションテストによる評価実験により,MTC の有効性を確認した.
言及状況
Google+ (1 users, 1 posts)
DeepXplore: Automated Whitebox Testing of Deep Learning Systems https://arxiv.org/abs/1705.06640 DNNのテストのために、複数のDNNで予測結果が異なる、もしくは各ニューロンが活性化したかどうかで定義されるニューロンカバレッジを増やすようなテストケースの生成を行うというもの。 「あるDNNだけ予測結 ...