データ構造に関する仕様を含め検証できるC言語プログラム部品検証ツール CForge (特集 製品ライフサイクルでの高信頼化技術)

スポンサーリンク

概要

• 論文の詳細を見る
• 東芝技術企画室の論文

著者

• 今井 健男

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

• 片岡 欣夫

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

関連論文

• 機能多重度を用いた保守性見積もり手法の提案と評価
• アーキテクチャ指向設計手法ACEの紹介
• データ構造に関する仕様を含め検証できるC言語プログラム部品検証ツール CForge (特集 製品ライフサイクルでの高信頼化技術)
• 派生開発におけるミューテーションテスト手法のシステムテストへの応用

スポンサーリンク