| 講演名 | 2003/8/28 動的捕獲再捕獲法によるソフトウェア信頼度の推定(電子デバイスの信頼性と半導体界面・表面制御,信頼性一般) 岡村 寛之, 村上 崇康, 土肥 正, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本論文では,捕獲再捕獲法に基づいた潜在フォールト数の推定手法に対する拡張を行う.具体的には,ソフトウェアテスト実行時における発見フォールト数の時間的ふるまいに着目した動的捕獲再捕獲法について考察する.最終的に,導出された潜在フォールト数の推定量を従来の静的捕獲再捕獲法に基づいた推定量と比較し,それらの統計的な特性について検証する. |
| 抄録(英) | In this paper, we propose the estimation method for the number of inherent faults in software, which is the extended method from the Mills' capture-recapture method. More precisely, the proposed method, which is called the dynamic capture-recapture method, is based on the dynamic behavior of fault detection process. Finally,we examine the statistical properties of the estimator for the number of inherent faults by compared to the Mills'static capture-recapture methods. |
| キーワード(和) | ソフトウェア信頼性 / 捕獲再捕獲法 / 統計モデル |
| キーワード(英) | software reliability / capture-recapture method / statistic model |
| 資料番号 | R2003-34,ED2003-112 |
| 発行日 |
| 研究会情報 | |
| 研究会 | R |
|---|---|
| 開催期間 | 2003/8/28(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Reliability(R) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 動的捕獲再捕獲法によるソフトウェア信頼度の推定(電子デバイスの信頼性と半導体界面・表面制御,信頼性一般) |
| サブタイトル（和） | |
| タイトル（英） | Estimating Software Reliability in the Dynamic Capture-Recapture Method |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ソフトウェア信頼性 / software reliability |
| キーワード(2)（和/英） | 捕獲再捕獲法 / capture-recapture method |
| キーワード(3)（和/英） | 統計モデル / statistic model |
| 第 1 著者 氏名（和/英） | 岡村 寛之 / Hiroyuki OKAMURA |
| 第 1 著者 所属（和/英） | 広島大学大学院工学研究科情報工学専攻 Department of Information Engineering, Graduate School of Engineering, Hiroshima University |
| 第 2 著者 氏名（和/英） | 村上 崇康 / Takayasu MURAKAMI |
| 第 2 著者 所属（和/英） | 株式会社ハタシ HTSI Co., Ltd. |
| 第 3 著者 氏名（和/英） | 土肥 正 / Tadashi DOHI |
| 第 3 著者 所属（和/英） | 広島大学大学院工学研究科情報工学専攻 Department of Information Engineering, Graduate School of Engineering, Hiroshima University |
| 発表年月日 | 2003/8/28 |
| 資料番号 | R2003-34,ED2003-112 |
| 巻番号（vol） | vol.103 |
| 号番号（no） | 275 |
| ページ範囲 | pp.- |
| ページ数 | 5 |
| 発行日 | |