統計的回帰テストのための期待出力の導出方法(テスト・評価)
スポンサーリンク
概要
- 論文の詳細を見る
自動回帰テストにおいて, 系統的なテスト法とは別のアプローチとして統計的テスト法を導入することを提案する.統計的テスト法の主な目的は, 実際の運用環境におけるソフトウェアの信頼性を予測することである.そのために, ユーザの利用の特徴を利用モデルと呼ばれるマルコフ連鎖として定義し, 利用モデル上の確率に比例してランダムにテストケースを生成する.本稿の手法は, 被テストプログラムの前バージョンに対してランダム生成した入力条件を適用することにより, 厳密な期待出力を自動的に生成する.本手法が機能することを確認するために, 小規模のクライアントサーバプログラムおよび自動テスト環境を構築した.
- 2005-07-28
著者
-
高木 智彦
香川大学工学部
-
古川 善吾
香川大学工学部
-
古川 善吾
九州大学情報処理教育センター
-
高木 智彦
香川大学大学院工学研究科
-
古川 善吾
香川大学図書館情報機構(総合情報センター):香川大学工学部
-
古川 善吾
香川大学大学院工学研究科
-
山崎 敏範
香川大学大学院工学研究科
-
高木 智彦
香川大学
関連論文
- 分散型キャンパス情報ネットワークにおけるセキュリティ環境 : 香川大学情報ネットワークにおけるセキュリティ対策の現状と報告(網管理,サービス管理,ビジネス管理,料金管理,及び一般)
- KT法を用いた出荷判定支援システムの提案
- 情報セキュリティ監査・診断のための実施計画,実施体制,人材育成および継続運用について : ケーススタディ:香川大学における監査人育成と監査実施状況(ユビキタス・モバイル学習環境/一般)
- 多重マルコフ連鎖に基づく精密化利用モデルの構築とその適用例
- 監視カメラと計測ソフトを組み合わせたネットワーク型フィールドデータベースシステム
- 計算機システム教育のためのビジュアルシミュレータVisuSim
- WWWベース情報共有システムのプログラミング教育への適用
- 計算機の構造・動作の理解を目的としたビジュアルシミュレータ
- 香川大学キャンパス情報ネットワークシステムの現状と課題
- オブジェクト指向プログラムのテスト法に関する一考察
- 順序列テスト基準を用いたテスト充分性評価システムの試作
- 多キャンパス間統合情報ネットワークの集中分散管理 : 分散キャンパス型大学ネットワーク構築の事例報告(網管理,サービス管理,ビジネス管理,料金管理,及び一般)
- バーチャルリアリティ環境下での教科教育を考慮した発見的学習支援機構
- 0SIディレクトリサービスにおける簡易言語の実装
- タスク型を含む並行処理プログラムのテストケース生成法について
- 1. 並行処理プログラムの試験 (<特集>「並行処理におけるプログラム試験」)
- C並行処理プログラムのためのテストケース生成系について
- オブジェクト指向プログラムのテストのためのモデルについて
- テストによって同期・通信誤りを発見するための並行処理プログラムのモデルに関する一考察
- 順序列テスト基準における測定事象の最適化方法について
- 並行処理プログラムにおけるテストケースの定義と生成ツールの試作
- 並行処理プログラムのためのテスト支援ツールに関する一考察
- タスク型を含んだ並行処理プログラムのテスト法について
- 順序列テスト基準に基づく並行処理プログラムのテスト充分性評価
- C並行処理プログラムのテスト充分性評価システムのソケットへの対応
- C並行処理プログラムのテスト充分性評価システムの試作
- Shlaer-Mellor法を利用した統計的テストのための利用モデルの作成法(ソフトウェアテスト技法・保守技術)
- Shlaer-Mellor 法を利用した統計的テストのための利用モデルの作成法
- ソフトウェア保守のための統計的回帰テスト法の概要とそのケーススタディ(ソフトウェアテスト,ディペンダブルコンピューティング論文)
- 九州大学におけるWWWキャッシュサーバの運用と評価
- 並行動作の統計的テスト法に関する一考案
- 並行処理プログラムの安全性破壊に対する順序列テスト基準の信頼性に関する一考察
- 安全性の破壊に対する順序列テスト基準の信頼性評価
- 6P-3 動作シミュレーションを用いて生成した拡張状態列による仕様理解支援(ソフトウェア理解支援,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 1.ソフトウェアテスト総論(ソフトウェアテストの最新動向)
- 編集にあたって(ソフトウェアテストの最新動向)
- 多重マルコフ連鎖を用いた統計的テストのための精密化利用モデルについて(要求/モデル)
- 統計的回帰テストのための期待出力の導出方法(テスト・評価)
- B-048 ソースコード生成法を用いた利用モデルの作成(B.ソフトウェア)
- UML状態図を用いたテストケース作成支援システムの試作
- 表の配置グラフに基づくX-Window上での表操作ツールTableXについて
- 特集「並行処理におけるプログラム試験」の編集にあたって (<特集>「並行処理におけるプログラム試験」)
- 自律移動型プログラムを用いた計算機管理支援の枠組について
- 移動型プログラムを利用した分散システムの管理について
- 教育用計算機システムにおけるデータの配置方法に関して
- 一般情報処理教育用システムにおける利用者情報の管理について
- 利用者用計算機に自己修復機能を組み込んだ教育用システムの運用実績について
- 表の物理構造を表現した配置グラフの X-Window上での操作ツールの試作
- アフィン変換近似推定による一般背景下の複数人物の顔認識
- ソフトウェアテスト観点に基づいたゴールグラフの生成を支援する方法とその有効性について (知能ソフトウェア工学)
- 機能木を用いたテストケース管理方法の提案
- ソフトウェアテスト観点に基づいたゴールグラフの生成を支援する方法とその有効性について(学生,一般)
- 拡張運用プロファイルに基づく最適化されたテストスイートの生成手法
- 直行表を用いたソフトウェアテストにおける効果的な因子選択・割り付け手法
- 直交表を用いたソフトウェアテストにおける効果的な因子選択・割り付け手法
- 拡張有限状態機械を用いた運用プロファイルベースドテストのテストケース生成手法とツール構成
- 設計文書とテストケースとを関連付けたテストケース管理手法に関する研究
- モデル駆動開発を支援するための拡張運用プロファイルベースドテスト法の適用方法
- 同期実行モデルを用いた並行状態グラフ上のNスイッチテストについて
- 香川大学のプリンタシステムに対する諸問題を解決するICカード認証課金プリンタシステムの開発とその導入効果(教育工学,システム開発論文)
- 分析・検証モデルに基づく分析・検証リポジトリに関する研究-意味情報を付与した要求仕様の記述方法-