| 講演名 | 2014-08-01 報酬構造を考慮したテストケース自動生成の改良について(信頼性理論,通信ネットワークの信頼性,信頼性一般) 今富 政喜, 土肥 正, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本稿では,マルコフ使用モデル(Markov Usage Model)とシステムの運用プロファイル(Operational Profile)に基づいてテストケースを自動生成するための統計的方法について考察する.特にソフトウェアの設計情報を報酬構造として導入することでマルコフ報酬過程を定義し,ソフトウェアテストの効率化を目指す.先行研究では各モジュールの設計メトリクスの相対順位を報酬値として用いたが,ここでは具体的なメトリクスの値を用いるものとする.最終的に,実際のソフトウェアプログラムにフォールトを埋め込んでテスト実験を行った結果,メトリクス情報を報酬として与えたテストケース生成アルゴリズムは,相対順位に基づいたアルゴリズムと比較して数多くのフォールトを検出できることが示された. |
| 抄録(英) | In this article we consider a statistical method to generate test cases automatically based on both Markov usage model and operational profile. By introducing the design information of software in the reward structure, we define a Markov reward process and challenge to test software efficiently. In our previous work, we used the relative order of design metrics in each module as the reward. In this article, we applied the metric values themselves to the reward. Finally, we conduct a fault injection experiment with a real software program and show that the test generation algorithm with the metric values could detect much more faults than the existing algorithm with the relative order. |
| キーワード(和) | マルコフ使用モデル / テストケース生成 / マルコフ報酬過程 / 運用プロファイル / 設計メトリクス |
| キーワード(英) | Markov usage model / test case generation / Markov reward process / operational profile / design metrics |
| 資料番号 | R2014-15 |
| 発行日 |
| 研究会情報 | |
| 研究会 | R |
|---|---|
| 開催期間 | 2014/7/25(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Reliability(R) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 報酬構造を考慮したテストケース自動生成の改良について(信頼性理論,通信ネットワークの信頼性,信頼性一般) |
| サブタイトル（和） | |
| タイトル（英） | On improvement of automatic test case generation taking account of reward structure |
| サブタイトル（和） | |
| キーワード(1)（和/英） | マルコフ使用モデル / Markov usage model |
| キーワード(2)（和/英） | テストケース生成 / test case generation |
| キーワード(3)（和/英） | マルコフ報酬過程 / Markov reward process |
| キーワード(4)（和/英） | 運用プロファイル / operational profile |
| キーワード(5)（和/英） | 設計メトリクス / design metrics |
| 第 1 著者 氏名（和/英） | 今富 政喜 / Masaki IMATOMI |
| 第 1 著者 所属（和/英） | 広島大学大学院工学研究科情報工学専攻 Department of Information Engineering, Graduate School of Engineering, Hiroshima University |
| 第 2 著者 氏名（和/英） | 土肥 正 / Tadashi DOHI |
| 第 2 著者 所属（和/英） | 広島大学大学院工学研究科情報工学専攻 Department of Information Engineering, Graduate School of Engineering, Hiroshima University |
| 発表年月日 | 2014-08-01 |
| 資料番号 | R2014-15 |
| 巻番号（vol） | vol.114 |
| 号番号（no） | 170 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |