| 講演抄録／キーワード |
| 講演名 |
2006-07-14 16:10
運用段階におけるソフトウェアシステムの失望確率
○得能貢一・山田 茂（鳥取大） |
| 抄録 |
（和） |
本論文では，間欠的にシステムを利用するユーザから見たソフトウェア可用性評価法について議論する．これまでに提案されてきたソフトウェア可用性評価尺度は，特定の時点でシステムが動作可能かどうかに注目していた．しかしながら，実際の利用者の立場から見ると，使用していないときにシステムが故障していても，その故障の発生は認知されない．言い換えると，システムを使用しているときにソフトウェア故障が発生するか，あるいはシステムの修復中に使用要求が起こった時点で，システム故障の発生が認知される．ここでは上述の状況を考慮して，使用中の失望確率，使用要求拒絶による失望確率，および修復中の失望確率という3つのソフトウェア可用性評価尺度を提案し，これらを時間およびデバッグ回数の関数として導出する．ユーザの使用要求の発生時間および使用時間間隔はランダムであるとし，ソフトウェアシステムの状態遷移の様子はマルコフ過程を用いて記述される．このとき，ソフトウェア信頼度の成長過程やフォールトの複雑度・修正困難度の上昇傾向，発見されたフォールトに対するデバッグ作業はいつも確実に実施されるとは限らないという不完全デバッグ環境がモデルに反映される．また，テスト工程とユーザの運用段階におけるソフトウェア故障の発生特性あるいはシステムの修復特性の差異を，加速寿命試験モデルの考え方を用いて表現する． |
| （英） |
We discuss the software availability modeling from the viewpoint of the user who uses the system intermittently. The existing software availability measures pay attention to only whether or not the system is operating at a given time point. However, from the viewpoint of users, occurrence of a system failure is recognized when the following events arise: (i) a software failure occurs when the system is being in use, or (ii) a usage demand occurs when the system is under restoration. In this paper, several new measures for software availability assessment are derived; these are called the disappointment probabilities in use, due to demand rejection, and under restoration, respectively. These measures are given as the functions of time and the number of debuggings. It is supposed that the usage demand of the system occurs randomly and that the user's demand duration is also random. The time-dependent behavior of the system itself alternating between up and down states is described by a Markov process. Then the software reliability growth process, the upward tendency in difficulty of debugging, and the imperfect debugging environment are also considered. Furthermore, we describe the difference of the software failure-occurrence and the restoration characteristics between the testing phase of the software development process and the user operation phase with the idea of the accelerated life testing model. |
| キーワード |
（和） |
ソフトウェア可用性 / 間欠使用 / 失望確率 / マルコフ過程 / ソフトウェア信頼度成長 / / / |
| （英） |
Software availability / Intermittent use / Disappointment probability / Markov process / Software reliability growth / / / |
| 文献情報 |
信学技報, vol. 106, no. 159, R2006-26, pp. 43-48, 2006年7月. |
| 資料番号 |
R2006-26 |
| 発行日 |
2006-07-07 (R) |
| ISSN |
Print edition: ISSN 0913-5685 |
| PDFダウンロード |
|
| 研究会情報 |
| 研究会 |
R |
| 開催期間 |
2006-07-14 - 2006-07-14 |
| 開催地（和） |
稚内市総合文化センター |
| 開催地（英） |
Wakkanai-shi-Sougou-Bunka-Kaikan |
| テーマ（和） |
信頼性一般 |
| テーマ（英） |
Reliability Engineering |
| 講演論文情報の詳細 |
| 申込み研究会 |
R |
| 会議コード |
2006-07-R |
| 本文の言語 |
日本語 |
| タイトル（和） |
運用段階におけるソフトウェアシステムの失望確率 |
| サブタイトル（和） |
|
| タイトル（英） |
Disappointment probability of software system in operational use |
| サブタイトル（英） |
|
| キーワード(1)（和/英） |
ソフトウェア可用性 / Software availability |
| キーワード(2)（和/英） |
間欠使用 / Intermittent use |
| キーワード(3)（和/英） |
失望確率 / Disappointment probability |
| キーワード(4)（和/英） |
マルコフ過程 / Markov process |
| キーワード(5)（和/英） |
ソフトウェア信頼度成長 / Software reliability growth |
| キーワード(6)（和/英） |
/ |
| キーワード(7)（和/英） |
/ |
| キーワード(8)（和/英） |
/ |
| 第1著者 氏名（和/英/ヨミ） |
得能 貢一 / Koichi Tokuno / トクノウ コウイチ |
| 第1著者 所属（和/英） |
鳥取大学 (略称： 鳥取大)
Tottori University (略称： Tottori Univ.) |
| 第2著者 氏名（和/英/ヨミ） |
山田 茂 / Shigeru Yamada / ヤマダ シゲル |
| 第2著者 所属（和/英） |
鳥取大学 (略称： 鳥取大)
Tottori University (略称： Tottori Univ.) |
| 第3著者 氏名（和/英/ヨミ） |
/ / |
| 第3著者 所属（和/英） |
(略称： )
(略称： ) |
| 第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著者 所属（和/英） |
(略称： )
(略称： ) |
| 第19著者 氏名（和/英/ヨミ） |
/ / |
| 第19著者 所属（和/英） |
(略称： )
(略称： ) |
| 第20著者 氏名（和/英/ヨミ） |
/ / |
| 第20著者 所属（和/英） |
(略称： )
(略称： ) |
| 第21著者 氏名（和/英/ヨミ） |
/ / |
| 第21著者 所属（和/英） |
(略称： )
(略称： ) |
| 第22著者 氏名（和/英/ヨミ） |
/ / |
| 第22著者 所属（和/英） |
(略称： )
(略称： ) |
| 第23著者 氏名（和/英/ヨミ） |
/ / |
| 第23著者 所属（和/英） |
(略称： )
(略称： ) |
| 第24著者 氏名（和/英/ヨミ） |
/ / |
| 第24著者 所属（和/英） |
(略称： )
(略称： ) |
| 第25著者 氏名（和/英/ヨミ） |
/ / |
| 第25著者 所属（和/英） |
(略称： )
(略称： ) |
| 第26著者 氏名（和/英/ヨミ） |
/ / |
| 第26著者 所属（和/英） |
(略称： )
(略称： ) |
| 第27著者 氏名（和/英/ヨミ） |
/ / |
| 第27著者 所属（和/英） |
(略称： )
(略称： ) |
| 第28著者 氏名（和/英/ヨミ） |
/ / |
| 第28著者 所属（和/英） |
(略称： )
(略称： ) |
| 第29著者 氏名（和/英/ヨミ） |
/ / |
| 第29著者 所属（和/英） |
(略称： )
(略称： ) |
| 第30著者 氏名（和/英/ヨミ） |
/ / |
| 第30著者 所属（和/英） |
(略称： )
(略称： ) |
| 第31著者 氏名（和/英/ヨミ） |
/ / |
| 第31著者 所属（和/英） |
(略称： )
(略称： ) |
| 第32著者 氏名（和/英/ヨミ） |
/ / |
| 第32著者 所属（和/英） |
(略称： )
(略称： ) |
| 第33著者 氏名（和/英/ヨミ） |
/ / |
| 第33著者 所属（和/英） |
(略称： )
(略称： ) |
| 第34著者 氏名（和/英/ヨミ） |
/ / |
| 第34著者 所属（和/英） |
(略称： )
(略称： ) |
| 第35著者 氏名（和/英/ヨミ） |
/ / |
| 第35著者 所属（和/英） |
(略称： )
(略称： ) |
| 第36著者 氏名（和/英/ヨミ） |
/ / |
| 第36著者 所属（和/英） |
(略称： )
(略称： ) |
| 講演者 |
第1著者 |
| 発表日時 |
2006-07-14 16:10:00 |
| 発表時間 |
25分 |
| 申込先研究会 |
R |
| 資料番号 |
R2006-26 |
| 巻番号（vol） |
vol.106 |
| 号番号（no） |
no.159 |
| ページ範囲 |
pp.43-48 |
| ページ数 |
6 |
| 発行日 |
2006-07-07 (R) |
|