| 講演名 | 2017-05-26 ［招待講演］ソフトウェア信頼性モデルの基礎 山田 茂(鳥取大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 「信頼性」はソフトウェア品質の中でも最も重要な品質特性である．また，ソフトウェアライフサイクルにおける信頼性の計測および管理は，高品質／信頼性を具備するソフトウェアシステムの開発および保守に不可欠な主要技術である．本論文では，ソフトウェア信頼性モデルとその応用技術について議論する．特に，定量的なソフトウェア信頼性評価のためのハザードレートモデルや非同次ポアソン過程（NHPP）モデルについて議論すると共に，動的なソフトウェアの挙動を考慮した不完全デバッグモデルやソフトウェア可用性モデルについても議論する． |
| 抄録(英) | Software reliability is one of the most important characteristics of software quality. Its measurement and management technologies during the software life-cycle are essential to produce and maintain quality/reliable software systems. In this paper, we discuss software reliability modeling and its applications. As to software reliability modeling, hazard rate and NHPP models are investigated particularly for quantitative software reliability assessment. Further, imperfect debugging and software availability models are also discussed with reference to incorporating practical factors of dynamic software behavior. |
| キーワード(和) | ソフトウェア品質／信頼性評価 / ソフトウェア信頼度成長モデル / ハザードレート / 非同次ポアソン過程 / 不完全デバッグ / ソフトウェア可用性 / マルコフ過程 |
| キーワード(英) | Product quality/reliability assessment / Software reliability growth modeling / Hazard rate / Nonhomogeneous Poisson process / Imperfect debugging / Software availability / Markov process |
| 資料番号 | R2017-9 |
| 発行日 | 2017-05-19 (R) |
| 研究会情報 | |
| 研究会 | R |
|---|---|
| 開催期間 | 2017/5/26(から1日開催) |
| 開催地（和） | ピュアリティまきび |
| 開催地（英） | Purity Makibi |
| テーマ（和） | ソフトウェアの信頼性，信頼性一般 |
| テーマ（英） | Software Reliability, Overall reliability engineering |
| 委員長氏名（和） | 馬渡 宏泰(NTT) |
| 委員長氏名（英） | Hiroyasu Mawatari(NTT) |
| 副委員長氏名（和） | 弓削 哲史(防衛大) |
| 副委員長氏名（英） | Tetsushi Yuge(National Defense Academy) |
| 幹事氏名（和） | 安里 彰(富士通) / 岡村 寛之(広島大) |
| 幹事氏名（英） | Akira Asato(Fujitsu) / Hiroyuki Okamura(Hiroshima Univ.) |
| 幹事補佐氏名（和） | マラット ザニケエフ(九工大) / 田村 信幸(法政大) |
| 幹事補佐氏名（英） | Maratt Zanikef(Kyushu Inst. of Tech.) / Nobuyuki Tamura(Hosei Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Reliability |
|---|---|
| 本文の言語 | ENG-JTITLE |
| タイトル（和） | ［招待講演］ソフトウェア信頼性モデルの基礎 |
| サブタイトル（和） | |
| タイトル（英） | [Invited Talk] A Summary of Elementary Software Reliability Modeling |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ソフトウェア品質／信頼性評価 / Product quality/reliability assessment |
| キーワード(2)（和/英） | ソフトウェア信頼度成長モデル / Software reliability growth modeling |
| キーワード(3)（和/英） | ハザードレート / Hazard rate |
| キーワード(4)（和/英） | 非同次ポアソン過程 / Nonhomogeneous Poisson process |
| キーワード(5)（和/英） | 不完全デバッグ / Imperfect debugging |
| キーワード(6)（和/英） | ソフトウェア可用性 / Software availability |
| キーワード(7)（和/英） | マルコフ過程 / Markov process |
| 第 1 著者 氏名（和/英） | 山田 茂 / Shigeru Yamada |
| 第 1 著者 所属（和/英） | 鳥取大学(略称：鳥取大) Tottori University(略称：Tottori Univ.) |
| 発表年月日 | 2017-05-26 |
| 資料番号 | R2017-9 |
| 巻番号（vol） | vol.117 |
| 号番号（no） | R-62 |
| ページ範囲 | pp.49-56(R), |
| ページ数 | 8 |
| 発行日 | 2017-05-19 (R) |