| 講演抄録／キーワード |
| 講演名 |
2006-05-26 13:50
デバッグ回数に基づくリアルタイム性を考慮したソフトウェアの性能解析に関する一考察
○得能貢一・山田 茂（鳥取大） |
| 抄録 |
（和） |
本論文では，ソフトウェアの信頼度成長過程を考慮しながら，処理時間制約が付加された実時間性を導入したシステムの性能評価モデルについて議論する．動的環境におけるソフトウェア故障発生現象は，マルコフ型不完全デバッグモデルを用いて記述される．システムに到着する仕事数は同次ポアソン過程に従うものとして，処理時間制約以内に完了する仕事数の分布を，無限サーバ待ち行列モデルを用いて定式化する．本モデルより，実時間性を考慮したソフトウェアシステムの処理性評価尺度を導出する．これらは時間およびデバッグ作業の実施回数の関数として与えられる．最後に，本モデルにおけるシステムの処理性評価の数値例を示し，信頼度成長特性と性能評価の関係について考察する． |
| （英） |
We propose the performance evaluation method considering the real-time property for the multi-task system with software reliability growth process. The software fault-detection phenomenon in the dynamic environment is described by the Markovian software reliability model with imperfect debugging. We assume that the cumulative number of tasks arriving at the system follows the homogeneous Poisson process. Then we can formulate the distribution of the number of tasks whose processes can be complete within a prespecfied processing time limit with the infinite-server queueing model. From the model, several quantities for software performance measurement related to the task processing can be derived and given as the functions of time and the number of debuggings. Finally, we present several numerical examples of the quantities to analyze the relationship between the software reliability characteristics and the system performance measurement. |
| キーワード |
（和） |
リアルタイム性 / 処理時間制約 / マルコフ過程 / ソフトウェア信頼度成長 / 無限サーバ待ち行列モデル / / / |
| （英） |
Real-time property / Processing time limit / Markov process / Software reliability growth / Infinite server queueing model / / / |
| 文献情報 |
信学技報, vol. 106, no. 76, R2006-9, pp. 13-18, 2006年5月. |
| 資料番号 |
R2006-9 |
| 発行日 |
2006-05-19 (R) |
| ISSN |
Print edition: ISSN 0913-5685 |
| PDFダウンロード |
|
| 研究会情報 |
| 研究会 |
R |
| 開催期間 |
2006-05-26 - 2006-05-26 |
| 開催地（和） |
徳島大学 |
| 開催地（英） |
University of Tokushima |
| テーマ（和） |
ソフトウェアの信頼性、信頼性理論、信頼性一般 |
| テーマ（英） |
Softwear Reliability, Reliability Theory, etc. |
| 講演論文情報の詳細 |
| 申込み研究会 |
R |
| 会議コード |
2006-05-R |
| 本文の言語 |
日本語 |
| タイトル（和） |
デバッグ回数に基づくリアルタイム性を考慮したソフトウェアの性能解析に関する一考察 |
| サブタイトル（和） |
|
| タイトル（英） |
Software Performance Analysis Considering Real-time Property Based on the Number of Debuggings |
| サブタイトル（英） |
|
| キーワード(1)（和/英） |
リアルタイム性 / Real-time property |
| キーワード(2)（和/英） |
処理時間制約 / Processing time limit |
| キーワード(3)（和/英） |
マルコフ過程 / Markov process |
| キーワード(4)（和/英） |
ソフトウェア信頼度成長 / Software reliability growth |
| キーワード(5)（和/英） |
無限サーバ待ち行列モデル / Infinite server queueing model |
| キーワード(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著者 所属（和/英） |
(略称： )
(略称： ) |
| 講演者 |
第1著者 |
| 発表日時 |
2006-05-26 13:50:00 |
| 発表時間 |
25分 |
| 申込先研究会 |
R |
| 資料番号 |
R2006-9 |
| 巻番号（vol） |
vol.106 |
| 号番号（no） |
no.76 |
| ページ範囲 |
pp.13-18 |
| ページ数 |
6 |
| 発行日 |
2006-05-19 (R) |