AS-4-2 形式的なμITRON4.0仕様を用いたテストケース生成の実験(ソフトウェアのテストと検証,AS-4.組込みシステムの形式的手法,シンポジウム)

スポンサーリンク

概要

• 論文の詳細を見る
• 社団法人電子情報通信学会の論文
• 2007-08-29

著者

• 岩政 幹人

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

• 岩政 幹人

  (株)東芝

• 太田 暁率

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

• 進 博正

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

• 太田 暁率

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

関連論文

• モデルに基づくプラント制御ロジック生成支援システム
• 想定外事態に対処する制御エキスパートシステムの構築
• モデルに基づく診断トレース機構 : シーケンス制御プログラムへの適用
• モデルに基づく運転操作プランの生成機構を組み込んだプラント運転制御用エキスパートシステム
• 制御用エキスパートシステム : 定性的モデルに基づく診断機構
• AS-4-2 形式的なμITRON4.0仕様を用いたテストケース生成の実験(ソフトウェアのテストと検証,AS-4.組込みシステムの形式的手法,シンポジウム)
• 診断型モデルベース推論シェルARES_/MBR
• 派生開発におけるミューテーションテスト手法のシステムテストへの応用
• CAIA'95参加報告
• A-12-6 記号実行によるプログラムからの決定表抽出(A-12.システム数理と応用,一般セッション)
• シーケンス制御プログラムのテストに適した新しいカバレッジ基準の提案

もっと見る 閉じる

スポンサーリンク