講演名 2014-01-28
プレース/トランジションネットとソフトウェア実行履歴を用いた精密化運用プロファイルの生成
高木 智彦, 荒尾 拓矢,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 統計的テスト法は,運用環境におけるソフトウェアの使われ方とその期待される振舞いを表す確率的モデル(運用プロファイル)に基づいてテストケースを生成する手法であり,ソフトウェア信頼性を評価したり,ソフトウェア信頼性に大きな影響を与える故障を発見したりする際に用いられる.従来手法では,複数の構成要素が相互に作用しながら並行動作するソフトウェア(並行動作ソフトウェア)に対して運用プロファイルを構築することが困難であった.そこで,プレース/トランジションネットとソフトウェア実行履歴から精密化運用プロファイルを生成する手法を提案する.本稿では,精密化運用プロファイルを用いた統計的テスト法の手順や精密化運用プロファイルの生成アルゴリズム,例などを示し,その有効性を考察する.
抄録(英) Statistical testing is effective in evaluating software reliability and detecting failures that can make serious impacts on software reliability, and test cases are generated from an operational profile that represents the actual use and the expected behavior of software. Its traditional manner has a difficulty in constructing operational profiles for software whose multiple elements run concurrently and interactively. Therefore, we propose a new technique to generate a detailed operational profile (DOP) from a place/transition net and software execution histories. This paper includes the procedure of statistical testing using DOP, the algorithm of generating DOP, examples, and consideration about its effectiveness.
キーワード(和) ソフトウェアテスト / モデルベースドテスト / 運用プロファイル / プレース/トランジションネット
キーワード(英) software testing / model-based testing / operational profile / place/transition net
資料番号 KBSE2013-74
発行日

研究会情報
研究会 KBSE
開催期間 2014/1/20(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Knowledge-Based Software Engineering (KBSE)
本文の言語 JPN
タイトル(和) プレース/トランジションネットとソフトウェア実行履歴を用いた精密化運用プロファイルの生成
サブタイトル(和)
タイトル(英) Detailed Operational Profile Generation Using a Place/transition Net and Software Execution Histories
サブタイトル(和)
キーワード(1)(和/英) ソフトウェアテスト / software testing
キーワード(2)(和/英) モデルベースドテスト / model-based testing
キーワード(3)(和/英) 運用プロファイル / operational profile
キーワード(4)(和/英) プレース/トランジションネット / place/transition net
第 1 著者 氏名(和/英) 高木 智彦 / Tomohiko TAKAGI
第 1 著者 所属(和/英) 香川大学工学部
Faculty of Engineering, Kagawa University
第 2 著者 氏名(和/英) 荒尾 拓矢 / Takuya ARAO
第 2 著者 所属(和/英) 香川大学工学部
Faculty of Engineering, Kagawa University
発表年月日 2014-01-28
資料番号 KBSE2013-74
巻番号(vol) vol.113
号番号(no) 414
ページ範囲 pp.-
ページ数 6
発行日