モデル駆動開発を支援するための拡張運用プロファイルベースドテスト法の適用方法
スポンサーリンク
概要
- 論文の詳細を見る
拡張運用プロファイルは,ユーザがソフトウェアをどのように利用するかを確率付き拡張有限状態機械として表現したモデルであり,テストケースの生成に用いられる.一方,モデル駆動開発は,形式的モデルとして記述された設計情報に基づいてソフトウェアを効果的に開発する方法であり,近年注目されている.形式的モデルとして拡張有限状態機械が用いられることが多いことから,拡張運用プロファイルに基づくテスト法はモデル駆動開発との親和性が高いと考えられる.そこで本稿では,モデル駆動開発を支援するための拡張運用プロファイルベースドテスト法の適用方法を検討する.
- 2013-03-06
著者
関連論文
- KT法を用いた出荷判定支援システムの提案
- 多重マルコフ連鎖に基づく精密化利用モデルの構築とその適用例
- Shlaer-Mellor法を利用した統計的テストのための利用モデルの作成法(ソフトウェアテスト技法・保守技術)
- Shlaer-Mellor 法を利用した統計的テストのための利用モデルの作成法
- ソフトウェア保守のための統計的回帰テスト法の概要とそのケーススタディ(ソフトウェアテスト,ディペンダブルコンピューティング論文)
- 6P-3 動作シミュレーションを用いて生成した拡張状態列による仕様理解支援(ソフトウェア理解支援,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 多重マルコフ連鎖を用いた統計的テストのための精密化利用モデルについて(要求/モデル)
- 統計的回帰テストのための期待出力の導出方法(テスト・評価)
- B-048 ソースコード生成法を用いた利用モデルの作成(B.ソフトウェア)
- UML状態図を用いたテストケース作成支援システムの試作
- 機能木を用いたテストケース管理方法の提案
- ソフトウェアテスト観点に基づいたゴールグラフの生成を支援する方法とその有効性について(学生,一般)
- 拡張運用プロファイルに基づく最適化されたテストスイートの生成手法
- 直行表を用いたソフトウェアテストにおける効果的な因子選択・割り付け手法
- 設計文書とテストケースとを関連付けたテストケース管理手法に関する研究
- モデル駆動開発を支援するための拡張運用プロファイルベースドテスト法の適用方法
- 同期実行モデルを用いた並行状態グラフ上のNスイッチテストについて
- 分析・検証モデルに基づく分析・検証リポジトリに関する研究-意味情報を付与した要求仕様の記述方法-