WEKO3
-
RootNode
アイテム
多重マルコフ連鎖に基づく精密化利用モデルの構築とその適用例
https://ipsj.ixsq.nii.ac.jp/records/70351
https://ipsj.ixsq.nii.ac.jp/records/7035100192704-3b97-4ef4-af4b-9be3391789a0
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-JNL5109029.pdf (757.2 kB)
|
Copyright (c) 2010 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Journal(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2010-09-15 | |||||||
| タイトル | ||||||||
| タイトル | 多重マルコフ連鎖に基づく精密化利用モデルの構築とその適用例 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Detailed Usage Model Construction Based on High-order Markov Chains and Its Examples | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 特集：未来志向のソフトウェア工学 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| 香川大学工学部 | ||||||||
| 著者所属 | ||||||||
| 香川大学工学部 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Engineering, Kagawa University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Engineering, Kagawa University | ||||||||
| 著者名 |
高木, 智彦
× 高木, 智彦
|
|||||||
| 著者名(英) |
Tomohiko, Takagi
× Tomohiko, Takagi
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 統計的テスト法においてテストケースを生成するために用いる利用モデルを，多重マルコフ連鎖に基づき，現実のユーザの振舞いをより反映するように構築する手法を提案する．統計的テスト法は欠陥を網羅的に検出することよりもソフトウェア信頼性を評価することに主眼を置いたソフトウェアテスト技法であり，その評価の正確さはユーザの振舞いのモデルである利用モデルに依存している．従来手法では単純マルコフ連鎖や斉時マルコフ連鎖などが利用モデルとして用いられる．その場合，ユーザの次の振舞いがそれまでの振舞いの内容に影響されるような状況を表現することができず，利用モデルの正確さを損なう場合があった．そこで本稿では，多重マルコフ連鎖に基づく精密化利用モデルの構築手法を提案する．本手法の手順やアルゴリズム，適用例などについて述べる．精密化利用モデルが従来のものよりも正確であり，ソフトウェア信頼性を正確に評価するうえで役立つこと，そして実際のソフトウェア開発に適用可能であることが分かった．また，本手法をより有効化するための課題について明らかにすることができた． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | This paper shows the detailed usage model construction method based on high-order Markov chains to generate test cases in statistical testing. The statistical testing is used rather for estimating software reliability than for discovering failures comprehensively, and the accuracy of the estimation depends on a usage model that represents the behavior of users. So far usage models have been constructed as simple or time-homogeneous Markov chains. However, such usage models can't represent situations where previous behavior of users influences next behavior, and therefore it can't always realize its accuracy. In order to solve this problem, we propose the construction method of detailed usage models based on high-order Markov chains. This paper includes the procedure, algorithm, and examples of this method. It was found that the detailed usage models are more accurate than usual ones and enable accurate estimation of software reliability. This method is of practical use in software development. In addition, challenges for making this method more effective emerged. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116647 | |||||||
| 書誌情報 |
情報処理学会論文誌 巻 51, 号 9, p. 1794-1804, 発行日 2010-09-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7764 | |||||||
