モデル駆動によるテスト仕様の生成手法の提案(一般セッション E_テスト・検証)
スポンサーリンク
概要
- 論文の詳細を見る
我々は,高機能化・複雑化が進む組込み制御ソフトウェアへの,モデル駆動開発(MDD)の適用を検討している.MDDは開発対象ソフトウエアの動作仕様から実装コードを生成することを狙った開発手法であり,品質および生産性の向上が期待される.しかし,現時点では,実装コードを完全に生成する技術は確立していない.そのため,MDDを利用した開発においても,検証と妥当性確認を実施する必要がある.本稿では,動作仕様を記述する状態遷移モデルから検証と妥当性確認のためのテスト仕様を生成する手法を提案する.また,通信制御ソフトウェア開発への,本手法の適用例を示す.
- 社団法人情報処理学会の論文
- 2007-03-22
著者
-
田村 直樹
三菱電機(株)情報技術総合研究所
-
田村 直樹
三菱電機
-
磯田 誠
三菱電機(株)情報技術総合研究所
-
磯田 誠
三菱電機株式会社情報技術総合研究所
-
田村 直樹
三菱電機株式会社情報技術総合研究所
-
田村 直樹
三菱電機株式会社
関連論文
- 2B-1 モデル駆動開発によるシステム性能評価手法の提案(組込み,品質,一般セッション,ソフトウェア科学・工学)
- 高信頼性を実現するシステム仕様検査技術 (特集 ソフトウェア開発環境)
- ペトリネットを用いたグラフィカルユーザインタフェースのふるまいの記述
- モデル駆動によるテスト仕様の生成手法の提案(一般セッション E_テスト・検証)
- SIPアダプテーションを適用したNGNにおけるQoS制御の実現(ブロードバンドアクセス、電灯線通信、ホームネットワーク、一般)
- ソフトウェア開発環境EvoManにおける構成管理機能の評価
- ソフトウエア再利用環境EvoManにおける構成管理機能
- 4C-4 ソフトウェア構成管理をベースとする再利用支援環境 : EvoMan
- S/W部品庫EvoManにおける品質管理機能
- オブジェクト指向フレームワーク部品の蓄積・検索の新方式の提案
- オブジェクト指向プロトタイピングツール : ROAD/EE
- オブジェクト指向実行検証系ROAD/EE(3) : プロトタイピング
- オブジェクト指向実行検証系ROAD/EE(2) : 統合方式と実行メカニズム
- オブジェクト指向実行検証系ROAD/EE(1) : 要求工学への一アプローチ
- 形式手法を用いたシステム設計検証技術
- 形式手法を用いたシステム設計検証技術
- B-018 状態遷移を持つオブジェクト間通信のモデル検査技術(B分野:ソフトウェア,一般論文)
- ソフトウェア部品庫EvoManにおけるツール連携機構(組込みソフトウェア工学及び一般)
- ソフトウェア部品庫EvoManにおけるツール連携機構
- ソフトウェア部品庫EvoManにおけるツール連携機構
- B-006 UML MARTE Profileを用いた性能シミュレーション手法の提案(B分野:ソフトウェア,一般論文)
- モデル駆動による組込みシステムの性能検証手法の提案
- 1506 標準プロセスiCoPSに基づく健康診断 : i-DoCK(一般セッション)
- 顧客対話時の要求獲得と確認を支援するプロトタイピングツール : ROAD/EE
- ソフトウェア工学最新動向 : 「ウィンターワークショップ・イン・伊豆」の総括
- 要求仕様に基づくソフトウェアソースコードの自動生成法
- 3C-5 大規模アプリケーションのオブジェクト指向開発に対する事後分析(3) : 下流からの視点
- 3C-4 大規模アプリケーションのオブジェクト指向開発に対する事後分析(2) : 上流からの視点
- 3C-3 大規模アプリケーションのオブジェクト指向開発に対する事後分析(1) : 全体概要
- 監視制御システムにおけるプロトタイピングの適用
- ROAD/EEにおける実行可能仕様と実行エンジン実現方法について
- 特集「オブジェクト指向とWeb技術」の編集にあたって
- CASE環境構築用ツールキットの開発
- 設計プロセスに対する支援機能についての一考察
- オブジェクト指向仕様記述の実行・検証系:ROAD/EE
- ソフトウェア安全性分析へのアプローチ
- ソフトウェア設計プロセスに対する質的研究の技法の提案
- 制御ソフトウェア向けテストケース生成方式の提案
- オブジェクト指向シンポジウム2003
- A-020 MARTE Profileによるリアルタイムシステム向け性能検証手法の提案(アルゴリズムと応用(2),A分野:モデル・アルゴリズム・プログラミング)
- 制御ソフトウェア向けテストケース生成方式の提案(テスト,ソフトウェアサイエンス、理論)