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