組込みシステムのためのカラーペトリネットを利用した実装に基づくモデル化とテスト法(<特集>オブジェクト指向とWeb技術)
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,組込みソフトウェアのために,割込みハンドラに対応したモデリングとテスト方法を提案する.提案する方法では,タスク状態図から割込みハンドラとコントローラ状態図を生成し,これらの状態図をカラーペトリネットへ変換しテストケースを得る.割込みハンドラに対応することにより,従来よりも設計と実装とが明確に関連付くため,設計から実装へのシームレスな開発,実際的なシミュレーションとテストケースの生成が可能になる.以上により,プロダクトの品質の向上と短期開発に貢献する.
- 2004-06-15
著者
関連論文
- MDDチャレンジにみる組込みソフトウェアモデル中心開発の工学と教育(MDDロボットチャレンジ)
- 組込みソフトウェアのためのゴール指向手法による状態モデル構築法(モデル表記・モデル検査)
- 組込みソフトウェアシンポジウム2004報告(ソフトウェア工学の動向報告)
- MDDチャレンジにみる組込みソフトウェアモデル中心開発の工学と教育(MDDロボットチャレンジ)
- 組込みシステムのためのカラーペトリネットを利用した実装に基づくモデル化とテスト法(オブジェクト指向とWeb技術)
- (形式的仕様)オブジェクト指向ソフトウェアテストのためのカラーペトリネットスライシング技術(オブジェクト指向技術)
- ロボットコンテストを利用した組込み教育の実践
- 組込みソフトウェアのためのゴール指向手法による状態モデル構築法(モデル表記・モデル検査)
- 4 プロダクトライン開発技術(組み込みソフトウェア開発技術)
- 組込みソフトウェアのためのテスト・検証可能な状態モデル (第21回 回路とシステム軽井沢ワークショップ論文集)
- ステレオタイプによるUMLモデル間の整合性検証支援手法(オブジェクト指向技術)
- 組み込みシステムにおける優先度付きタスクの抽出方法
- カラーペトリネットスライシングによるリアルタイム開発支援
- カラーペトリネットスライシングによるリアルタイム開発支援
- カラーペトリネットスライシングによるリアルタイム開発支援
- 基本ブロックを用いたオブジェクト指向リアルタイムシステムの開発
- 状態遷移言語による組込みソフトウェア開発 (ディペンダブルコンピューティング)
- 状態遷移言語による組込みソフトウェア開発 (コンピュータシステム)
- 状態遷移言語による組込みソフトウェア開発
- 状態遷移言語による組込みソフトウェア開発
- アスペクト指向遷移状態言語の非正常系の問題への適用
- アスペクト指向遷移状態言語の非正常系の問題への適用