シーケンス制御プログラムのテストに適した新しいカバレッジ基準の提案

スポンサーリンク

概要

• 論文の詳細を見る

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

• 2013-03-04

著者

• 進 博正

  (株)東芝研究開発センター

• 丸地 康平

  (株)東芝 研究開発センター システム技術ラボラトリー

• 酒井 政裕

  (株)東芝研究開発センター

• 進 博正

  (株)東芝研究開発センターシステム技術ラボラトリー

関連論文

• AS-4-2 形式的なμITRON4.0仕様を用いたテストケース生成の実験(ソフトウェアのテストと検証,AS-4.組込みシステムの形式的手法,シンポジウム)
• 派生開発におけるミューテーションテスト手法のシステムテストへの応用
• D-6-9 HDDのキャッシュにおける入れ替えアルゴリズム性能評価(D-6.コンピュータシステムC(ソフトウェア),一般講演)
• A-12-6 記号実行によるプログラムからの決定表抽出(A-12.システム数理と応用,一般セッション)
• シーケンス制御プログラムのテストに適した新しいカバレッジ基準の提案

スポンサーリンク