| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2009-05-29 14:20 ソフトウェア信頼性評価のための離散型無限サーバ待ち行列モデル ○井上真二・岩本直樹・山田 茂（鳥取大）  R2009-12 |
|
| 抄録 | （和） | ソフトウェア信頼度成長モデル（SRGM）は，ソフトウェアの信頼性を定量的に評価するための有用な基盤技術として知られている．これまでに多くのSRGMが開発されているが，実行されたテストケース数など離散時間に依存した場合や実際のフォールト発見数データの離散的な収集方法を反映した離散時間モデルの開発は，解析的な取り扱いが困難であるために，連続時間モデルと比較して多く議論されていない．本研究では，ソフトウェア信頼性評価のための離散型無限サーバ待ち行列モデルを開発して，従来の手法では構築が極めて困難であった離散時間SRGMが容易に構築できるようなモデリング枠組みについて議論する．また，当該モデリング枠組みにおいて構築される離散時間SRGMの適合性を検証するために，実測データを用いながら，既存の連続時間モデルとの適合性比較を行う．最後に，今回構築された離散時間SRGMに基づいたソフトウェア信頼性解析例も示す． |
| （英） | It is well-known that software reliability growth models (SRGMs) play an important role in quantitative assessment of software reliability. A huge number of SRGMs have been developed so far on the continuous-time space. However, compared to the number of discussions on the continuous-time modeling approaches, modeling approach for discrete-time SRGMs, which have proper characteristics for describing a software reliability growth process depending on a unit of the software fault-detection period, such as the number of test runs and the number of executed test cases, is very few due to the difficulties of the mathematical manipulations. This paper discusses a modeling approach of discrete-time SRGMs by developing an discrete-time infinite server queueing model for describing the fault-detection process. Our approach enables us to develop discrete-time SRGMs which could not develop under conventional discrete-time modeling approaches. This paper also discuss goodness-of-fit comparisons of our discrete-time SRGMs with conventional continuous-time SRGMs in terms of the criterion of the mean squared errors, and show numerical examples for software reliability analysis of our models by using actual data. | |
| キーワード | （和） | ソフトウェア信頼性評価 / ソフトウェア信頼度成長モデル / 離散時間モデル / 無限サーバ待ち行列モデル / 適合性評価 / / / |
| （英） | Software reliability assessment / Software reliability growth models / Discrete-time model / Infinite server queueing model / Goodness-of-fit comparisons / / / | |
| 文献情報 | 信学技報, vol. 109, no. 67, R2009-12, pp. 25-30, 2009年5月. | |
| 資料番号 | R2009-12 | |
| 発行日 | 2009-05-22 (R) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | R2009-12 |
|
| 研究会情報 | |
| 研究会 | R |
| 開催期間 | 2009-05-29 - 2009-05-29 |
| 開催地（和） | 広島修道大学 |
| 開催地（英） | Hiroshima Shudo University |
| テーマ（和） | ソフトウェアの信頼性、信頼性理論、信頼性一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | R |
| 会議コード | 2009-05-R |
| 本文の言語 | 日本語 |
| タイトル（和） | ソフトウェア信頼性評価のための離散型無限サーバ待ち行列モデル |
| サブタイトル（和） | |
| タイトル（英） | Discrete Infinite Server Queueing Modeling for Software Reliability Assessment |
| サブタイトル（英） | |
| キーワード(1)（和/英） | ソフトウェア信頼性評価 / Software reliability assessment |
| キーワード(2)（和/英） | ソフトウェア信頼度成長モデル / Software reliability growth models |
| キーワード(3)（和/英） | 離散時間モデル / Discrete-time model |
| キーワード(4)（和/英） | 無限サーバ待ち行列モデル / Infinite server queueing model |
| キーワード(5)（和/英） | 適合性評価 / Goodness-of-fit comparisons |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 井上 真二 / Shinji Inoue / イノウエ シンジ |
| 第1著者 所属（和/英） | 鳥取大学 (略称： 鳥取大) Tottori University (略称： Tottori Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 岩本 直樹 / Naoki Iwamoto / イワモト ナオキ |
| 第2著者 所属（和/英） | 鳥取大学 (略称： 鳥取大) Tottori University (略称： Tottori Univ.) |
| 第3著者 氏名（和/英/ヨミ） | 山田 茂 / Shigeru Yamada / ヤマダ シゲル |
| 第3著者 所属（和/英） | 鳥取大学 (略称： 鳥取大) Tottori University (略称： Tottori Univ.) |
| 第4著者 氏名（和/英/ヨミ） | / / |
| 第4著者 所属（和/英） | (略称： ) (略称： ) |
| 第5著者 氏名（和/英/ヨミ） | / / |
| 第5著者 所属（和/英） | (略称： ) (略称： ) |
| 第6著者 氏名（和/英/ヨミ） | / / |
| 第6著者 所属（和/英） | (略称： ) (略称： ) |
| 第7著者 氏名（和/英/ヨミ） | / / |
| 第7著者 所属（和/英） | (略称： ) (略称： ) |
| 第8著者 氏名（和/英/ヨミ） | / / |
| 第8著者 所属（和/英） | (略称： ) (略称： ) |
| 第9著者 氏名（和/英/ヨミ） | / / |
| 第9著者 所属（和/英） | (略称： ) (略称： ) |
| 第10著者 氏名（和/英/ヨミ） | / / |
| 第10著者 所属（和/英） | (略称： ) (略称： ) |
| 第11著者 氏名（和/英/ヨミ） | / / |
| 第11著者 所属（和/英） | (略称： ) (略称： ) |
| 第12著者 氏名（和/英/ヨミ） | / / |
| 第12著者 所属（和/英） | (略称： ) (略称： ) |
| 第13著者 氏名（和/英/ヨミ） | / / |
| 第13著者 所属（和/英） | (略称： ) (略称： ) |
| 第14著者 氏名（和/英/ヨミ） | / / |
| 第14著者 所属（和/英） | (略称： ) (略称： ) |
| 第15著者 氏名（和/英/ヨミ） | / / |
| 第15著者 所属（和/英） | (略称： ) (略称： ) |
| 第16著者 氏名（和/英/ヨミ） | / / |
| 第16著者 所属（和/英） | (略称： ) (略称： ) |
| 第17著者 氏名（和/英/ヨミ） | / / |
| 第17著者 所属（和/英） | (略称： ) (略称： ) |
| 第18著者 氏名（和/英/ヨミ） | / / |
| 第18著者 所属（和/英） | (略称： ) (略称： ) |
| 講演者 | 第1著者 |
| 発表日時 | 2009-05-29 14:20:00 |
| 発表時間 | 25分 |
| 申込先研究会 | R |
| 資料番号 | R2009-12 |
| 巻番号（vol） | vol.109 |
| 号番号（no） | no.67 |
| ページ範囲 | pp.25-30 |
| ページ数 | 6 |
| 発行日 | 2009-05-22 (R) |
[研究会発表申込システムのトップページに戻る]