WEKO3
アイテム
Kullback-Leiblerの情報量に基づくソフトウェアのゼロ障害型信頼性実証試験
https://ipsj.ixsq.nii.ac.jp/records/128733
https://ipsj.ixsq.nii.ac.jp/records/12873322b65b4f-e5ab-4b10-aa95-4ab2069344c2
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00001335017.pdf (214.7 kB)
|
|
| Item type | National Convention(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 1995-09-20 | |||||
| タイトル | ||||||
| タイトル | Kullback-Leiblerの情報量に基づくソフトウェアのゼロ障害型信頼性実証試験 | |||||
| タイトル | ||||||
| 言語 | en | |||||
| タイトル | Zero-Failure Software Reliability Demonstration Testing based on Kullback-Leibler Information | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 著者所属 | ||||||
| 流通科学大学情報学部 | ||||||
| 著者所属 | ||||||
| 流通科学大学情報学部 | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| University of Marketing & Distribution Sciences | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| University of Marketing & Distribution Sciences | ||||||
| 論文抄録 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 信頼性実証試験(Reliability Demonstration Testing)は、ハードウェア製品の開発段階終了後,そのハードウェアに目標とする信頼性が十分に実現されているかどうかの実証・確認を目的として考案された.ソフトウェアの品質保証が問題となっている今日,ソフトウェア製品に対してもこの信頼性実証試験の考え方を適用することは十分に意義のあることである.このような考え方に基づき,筆者らは,これまでハードウェアに対して提案されてきた信頼性実証試験の種々の方法のうち,規準型およびゼロ障害型の試験方法をソフトウェアに適用することを試みた.規準型の信頼性実証試験では,ハードウェアに対するそれと同様に,統計的検定論の考え方に基づいて,生産者リスクと消費者リスクの値を指定する方法により定式化した.一方,あらかじめ定められた試験中に発生した障害回数が0のときのみ対象製品を合格とするゼロ障害型の信頼性実証試験においては,設計変数が1つだけであるので,生産者リスクまたは消費者リスクのどちらか一方の値を指定することにより設計可能であった.なお,対象としては,計算機のOSや生産システムの制御ソフトウェアのように時間に関して連続的に用いられるソフトウェア(以後,連続型ソフトウェアと呼ぶ)と,通常の数値計算ソフトウェアのように時間に関して離散的に使用されるソフトウェア(以後,離散型ソフトウェアと呼ぶ)の2通りを考えた.本研究では,ソフトウェアのゼロ障害型信頼性実証試験に対して,Kullback-Leiblerの情報量を用いた新しい設計方法を提案する.なお,ここでも,連続型および離散型の2通りのモデルを扱う. | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00349328 | |||||
| 書誌情報 |
全国大会講演論文集 巻 第51回, 号 信頼性と安全性, p. 265-266, 発行日 1995-09-20 |
|||||
| 出版者 | ||||||
| 言語 | ja | |||||
| 出版者 | 情報処理学会 | |||||
