派生開発におけるミューテーションテスト手法のシステムテストへの応用

スポンサーリンク

概要

• 論文の詳細を見る
• 2009-11-05

著者

• 今井 健男

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

• 太田 暁率

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

• 片岡 欣夫

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

• 太田 暁率

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

• 丸地 康平

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

• 今井 健男

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

• 片岡 欣夫

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

関連論文

• 機能多重度を用いた保守性見積もり手法の提案と評価
• アーキテクチャ指向設計手法ACEの紹介
• データ構造に関する仕様を含め検証できるC言語プログラム部品検証ツール CForge (特集 製品ライフサイクルでの高信頼化技術)
• AS-4-2 形式的なμITRON4.0仕様を用いたテストケース生成の実験(ソフトウェアのテストと検証,AS-4.組込みシステムの形式的手法,シンポジウム)
• 編集にあたって(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)
• 派生開発におけるミューテーションテスト手法のシステムテストへの応用
• D-6-9 HDDのキャッシュにおける入れ替えアルゴリズム性能評価(D-6.コンピュータシステムC(ソフトウェア),一般講演)
• 林 晋 (著), "プログラム検証論" 情報数学講座(8), 共立出版 (株), 211p, 3,296円, 1995, ISBN4-320-02658-6
• シーケンス制御プログラムのテストに適した新しいカバレッジ基準の提案

スポンサーリンク