Shlaer-Mellor法を利用した統計的テストのための利用モデルの作成法(ソフトウェアテスト技法・保守技術)
スポンサーリンク
概要
- 論文の詳細を見る
統計的テスト法においてソフトウェアの利用方法を特性付ける利用モデルを,Shlaer-Mellor法を用いて系統的に作成する方法を提案する.統計的テスト法は,ソフトウェアの信頼性を評価するためのテスト手法である.実運用を反映したテストケースを無際限に生成するために,利用モデルが用いられる.これは,ソフトウェアに対して可能なすべての操作を定義するステートマシン(利用の構造)に,遷移確率をはじめとした各種統計量(利用の分布)を関連付けたものである.Shlaer-Mellor法を用いて利用モデルを作成することには2つの利点がある.1つはソフトウェアの仕様から手続き的に利用の構造を作成することが可能な点である.他方は,実運用または試験運用を行うソフトウェアに対して,利用の分布を導出するための探針を機械的に挿入できる点である.以上によって,少ない手間で正確な利用モデルを作成できるので,より効果的な信頼性評価が可能となる.本手法を在庫管理問題に実際に適用し,利用モデルを半自動的に作成できること,利用モデルを用いたテスト駆動系を容易に作成できることが分かった.同時に,いくつかの課題を抽出できた.
- 一般社団法人情報処理学会の論文
- 2006-08-15
著者
-
山崎 敏範
香川大学工学部
-
高木 智彦
香川大学工学部
-
古川 善吾
香川大学工学部
-
山崎 敏範
放送大学香川学習センター
-
山崎 敏範
香川大(教育)
-
古川 善吾
九州大学情報処理教育センター
-
高木 智彦
香川大学大学院工学研究科
-
古川 善吾
香川大学図書館情報機構(総合情報センター):香川大学工学部
-
高木 智彦
香川大学
関連論文
- ボードゲームの戦略プログラミングを題材としたJava演習の支援システムの開発
- 分散型キャンパス情報ネットワークにおけるセキュリティ環境 : 香川大学情報ネットワークにおけるセキュリティ対策の現状と報告(網管理,サービス管理,ビジネス管理,料金管理,及び一般)
- ベクトル場に基づく自動手書き文字認識
- 個々の学習者の行き詰まりを検知するLearning Management System(遠隔教育/一般)
- Webデザイナー養成のためのイラスト作成訓練学習システム (特集 新しいメディア/デバイスを活用した学習支援環境)
- 公共職業訓練のためのe-learning教材作成支援システム : 公共職業訓練モデルに基づく教材構造の設計(e-Learning教育システムの成果と目指すべきもの/一般)
- ヒューマンフレンドリーな教育用手書き文字・図形入力方式の開発 : ステレオカメラを利用するビデオタブレット(教育評価/一般)
- ステレオカメラを用いたビデオタブレットによる筆跡抽出
- VRシミュレーションによる力学実験のためのエデュティメント教材Interlude : 力学現象の多面的理解のためのノンリアリティな視覚表現(オープンソースソフトウェアの教育利用/一般)
- VRシミュレーションによる力学実験のためのエデュテイメント教材Interlude : 共通プラットフォームの実行インタフェースとコンポーネントライブラリの設計(ロボットを用いたプログラミング教育/一般)
- KT法を用いた出荷判定支援システムの提案
- 日英間の小学校における国際交流支援システムに関する基礎的研究
- 情報セキュリティ監査・診断のための実施計画,実施体制,人材育成および継続運用について : ケーススタディ:香川大学における監査人育成と監査実施状況(ユビキタス・モバイル学習環境/一般)
- マルチメディア情報に対応する国際交流授業支援システム( 遠隔教育/一般)
- 多重マルコフ連鎖に基づく精密化利用モデルの構築とその適用例
- 監視カメラと計測ソフトを組み合わせたネットワーク型フィールドデータベースシステム
- 一斉講義式の座学の双方向性を目指した携帯型授業設計支援システム
- 学習者が教材を投稿・共有できるe-Learningシステムの開発
- 統合型漢字学習環境におけるロールに基づく支援機能
- 計算機システム教育のためのビジュアルシミュレータVisuSim
- WWWベース情報共有システムのプログラミング教育への適用
- 計算機の構造・動作の理解を目的としたビジュアルシミュレータ
- 溶接技能パラメータに基づく溶接訓練学習システム(教育工学)
- 資格試験を対象とした投稿型自主学習素材共有システムの開発(新しいインターネット技術の教育環境への利用/一般)
- 問題解決学習を目的としたLEGOプログラミング演習支援GoalPost : 課題分析に基づく戦略設計支援と相互評価を促すグループ作業支援(オープンソースソフトウェアの教育利用/一般)
- グループコンテスト形式のCプログラミング演習支援環境tProgrEss : 出題構造に基づいた入出力サンプルでの実行テスト(オープンソースソフトウェアの教育利用/一般)
- 実行テストを用いたコンテスト形式の入門的Cプログラミング演習の大会運営サーバの開発
- 問題解決学習を目的としたLEGOプログラミング演習支援GoalPost : 段階的詳細化に基づくゲーム戦略の設計支援(ロボットを用いたプログラミング教育/一般)
- ステレオカメラを利用するビデオタブレット
- ステレオカメラを利用するビデオタブレット(コミュニケーション支援及び一般)
- ステレオカメラを利用するビデオタブレット(コミュニケーション支援及び一般)
- 平賀源内に学ぶ理科教育 : エレキテル再現実験と電気学習(遠隔教育/一般)
- ET2009-126 日本語と母語の差異に着目した漢字学習環境(障害者教育・特別支援教育/一般)
- 中国語母語話者のための漢字学習ポイントチェッカーの設計と開発(先進的学習システム/一般)
- 中国語母語話者のための日本語学習システム : 日本語学習教材の分析と整理(collaborationとagent技術/一般)
- 中国語母語話者のための日本語学習システム : 日中同漢字異義語データベース構築(教育評価/一般)
- テレビ会議システムを利用する海外中学校交流授業 : 交流授業支援システムの構築
- テレビ会議システムを利用する海外中学校との国際交流 : 香川大学教育学部附属高松中学校と上海師範大学附属外国語中学との実施報告
- テレビ会議システムを利用する日中間中学生交流 : 附属高松中学校と上海師範大学附属中学校(Collaborationとagent技術/一般)
- 操作式解答によるマルチメディア試験システムDrilLs-M : 領域解答と軌跡解答の採点方法の実装と評価(遠隔教育/一般)
- 操作式解答によるマルチメディア試験システムDrilLs-M : 領域解答と軌跡解答に対応する行為支援の実装と評価(e-LearningとFD支援/一般)
- 操作式解答によるマルチメディア試験システムDrilLs-M : 漢字の字形学習に適した領域と軌跡による解答方式の実現(collaborationとagent技術/一般)
- 操作式解答によるマルチメディア試験システムDrilLs-M : 漢字学習に適した解答方式の実装とその応用(e-Learning教育システムの成果と目指すべきもの/一般)
- 漢字データベースの構築と利用 : SVGを用いるマルチメディア型検索表示システム( 遠隔教育/一般)
- 漢字データベースの構築とその利用 : SVGを用いる教材作成例(教育評価/一般)
- 香川大学キャンパス情報ネットワークシステムの現状と課題
- 統合型漢字学習環境におけるロールに基づく支援機能
- マルチメディア対応日本語教育システム : 日本語能力試験への応用(Collaborationとagent技術/一般)
- 書き方を練習する日本語CAIシステム
- 地域素材に基づく歴史学習教材用マルチメディア型データベースの開発
- 地域素材活用による歴史学習の有効性
- 多キャンパス間統合情報ネットワークの集中分散管理 : 分散キャンパス型大学ネットワーク構築の事例報告(網管理,サービス管理,ビジネス管理,料金管理,及び一般)
- 対話的な授業支援のための個人適応の一間一答式クイズAQuAs : 柔軟なクイズ実施の実現と小会合における動作実験(遠隔教育/一般)
- ステレオカメラを用いたビデオタブレットの試作と性能評価(e-LearningとFD支援/一般)
- 対話的な授業支援のための個人適応の一問一答式クイズAQuAs : マルチメディア出題におけるGUIと解答傾向の推定方法の実装(e-LearningとFD支援/一般)
- 文書・絵画閲覧時における視線情報の計測と分析(先進的学習システム/一般)
- 作業過程を重視したLEGOプログラミング演習支援システムGoalPostの提案(マルチメディア教材と教育・学習システム/一般)
- VRシミュレーションによる力学実験のためのエデュテイメント教材Interludeの提案(マルチメディア教材と教育・学習システム/一般)
- 対話的な授業支援のための一問一答式クイズAQuAs : ファジィ推論による学習者の解答傾向の推定(collaborationとagent技術/一般)
- 対話的な授業支援のための一問一答式クイズAQuAs : 解答行為の分析と学習者パターンの推定(e-Learning教育システムの成果と目指すべきもの/一般)
- 筆記具の動きを学ぶ体感型書き方学習システム(教育工学)
- 一問一答式クイズAQuAsにおける学習支援の方法
- 個に対応するドリル型CAIシステム : 学習者レベルに適応する問題提示( 遠隔教育/一般)
- 筆触を学習する体感型書き方学習システム( 遠隔教育/一般)
- ドリル練習に基づくWeb 型試験システム : 出題履歴の分析・評価と問題データベースの改善
- ドリル練習に基づくWeb型試験システム : 情報基礎科目の試験編成と実施(Collaborationとagent技術/一般)
- ネットワーク対応型書き方学習システム : インタラクティブ電子ホワイトボードの利用(Collaborationとagent技術/一般)
- マルチメディア対応日本語教育システム : 学習漢字データベースの構築とその利用
- バーチャルリアリティ環境下での教科教育を考慮した発見的学習支援機構
- A-28 学校事務におけるマイクロコンピュータの利用
- タスク型を含む並行処理プログラムのテストケース生成法について
- Shlaer-Mellor法を利用した統計的テストのための利用モデルの作成法(ソフトウェアテスト技法・保守技術)
- Shlaer-Mellor 法を利用した統計的テストのための利用モデルの作成法
- ソフトウェア保守のための統計的回帰テスト法の概要とそのケーススタディ(ソフトウェアテスト,ディペンダブルコンピューティング論文)
- 褥瘡ケアのための在宅看護ガイダンスシステム
- 6P-3 動作シミュレーションを用いて生成した拡張状態列による仕様理解支援(ソフトウェア理解支援,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 1.ソフトウェアテスト総論(ソフトウェアテストの最新動向)
- 編集にあたって(ソフトウェアテストの最新動向)
- 多重マルコフ連鎖を用いた統計的テストのための精密化利用モデルについて(要求/モデル)
- 統計的回帰テストのための期待出力の導出方法(テスト・評価)
- B-048 ソースコード生成法を用いた利用モデルの作成(B.ソフトウェア)
- UML状態図を用いたテストケース作成支援システムの試作
- プロの操作からイラスト作成を学ぶWebデザイナー養成訓練学習システム (新しいメディア/デバイスを活用した学習支援環境)
- 公共職業訓練のためのe-learning教材作成支援システム(e-Learningにおける学習支援とコンテンツ開発/一般)
- 高度熟練技能者養成のための溶接トーチ操作シミュレーションシステム(e-Learningにおける学習支援とコンテンツ開発/一般)
- 公共職業訓練のためのe-learning教材作成支援システム : 高度熟練技能者の溶接トーチ操作シミュレーション教材( 遠隔教育/一般)
- ソフトウェアテスト観点に基づいたゴールグラフの生成を支援する方法とその有効性について (知能ソフトウェア工学)
- 漢字筆順同定システム
- 機能木を用いたテストケース管理方法の提案
- 日本語と母語の差異に着目した漢字学習環境
- 統合型漢字学習環境の開発 : 漢字学習ポータルにおける学習支援機能(エンタテインメントを活用した学習環境/一般)
- テレビ会議システムを利用する中学校理科落雷実験
- ソフトウェアテスト観点に基づいたゴールグラフの生成を支援する方法とその有効性について(学生,一般)
- 絵画の審美的印象度抽出実験
- 拡張運用プロファイルに基づく最適化されたテストスイートの生成手法
- 直行表を用いたソフトウェアテストにおける効果的な因子選択・割り付け手法
- 直交表を用いたソフトウェアテストにおける効果的な因子選択・割り付け手法
- 拡張有限状態機械を用いた運用プロファイルベースドテストのテストケース生成手法とツール構成
- 設計文書とテストケースとを関連付けたテストケース管理手法に関する研究
- 香川大学のプリンタシステムに対する諸問題を解決するICカード認証課金プリンタシステムの開発とその導入効果(教育工学,システム開発論文)