2002 Fiscal Year Annual Research Report

使命に基づく総合的なソフトウェア信頼性評価法に関する研究

Research Project

Project/Area Number	13780365
Research Institution	Tottori University
Principal Investigator	得能貢一鳥取大学, 工学部, 助教授 (40263488)
Keywords	ソフトウェア安全性 / ソフトウェア可用性 / マルコフ過程 / 最適リリース問題 / 不完全デバッグ / マルチアクセスシステム / フォールト修正困難度
Research Abstract	ソフトウェア信頼度成長モデル(SRGM)を構築する際の考え方を取り入れて,ソフトウェアの稼動中に不安全状態に陥ることを考慮した安全性評価モデルを,マルコフ過程を用いて構築した.特に,動作中の不安全状態は,システムの安全監視プログラムによって認知できる状況を想定した.このモデルから,「任意の時刻でソフトウェアが不安全な状態には陥っていない確率」を表すソフトウェア安全度を導出した.これにより,ソフトウェアの安全性管理を,科学的アプローチにより実施できる可能性を示唆した.また,従来のSRGMと同様に,デバッグ回数とソフトウェア安全性評価の関係を把握するモデルも提案した. また,前年度議論したソフトウェア可用性評価モデルをさらに発展させて,以下の研究成果を得た. 1.2つのハードウェアシステムを1つのソフトウェアシステムで制御している2ユニットコンピュータシステムに対して,ソフトウェアの信頼度成長過程を考慮したシステムの可用性評価モデルを構築した.特に,「単位時間当りに処理可能な計算量の平均値」と定義される計算アベイラビリティという処理性の評価尺度を導出し,ソフトウェアの信頼度成長過程とシステムの処理性能の関係について議論した. 2.Unixシステムなどの複数のユーザが同時に利用可能なシステムを想定して,ソフトウェアに対するデバッグ回数および同時に使用しているユーザ数とソフトウェア可用性評価の関係を把握するモデルを提案した. 3.本モデルに基づいて,品質評価基準にソフトウェア・アベイラビリティを導入したソフトウェアの最適リリース問題について議論した. 4.フォールト修正困難度の上昇傾向を,テストチームのデバッグ能力を表している完全デバッグ率に反映させて,ソフトウェア可用性評価モデルを再構築した.

Research Products

(6 results)

All Other

All Publications (6 results)

[Publications] K.Tokuno, S.Yamada: "Markovian software availability measurements for a multi-access system"Proc. 7th ISSAT Int. Conf. Reliability and Quality in Design. 206-211 (2002)
[Publications] T.Higo, K.Tokuno, S.Yamada: "Markovian safety assessment modeling for a software system with intermittent monitoring"Proc. 6th China-Japan Int. Conf. Industrial Management. 310-315 (2002)
[Publications] M.Koga, K.Tokuno, S.Yamada: "A Markovian availability model for a two-unit computer system with software failure-occurrences"Proc. 6th China-Japan Int. Conf. Industrial Management. 335-340 (2002)
[Publications] K.Tokuno, S.Yamada: "Markovian software safety measurement based on the number of debuggings"Proc. 2nd Euro-Japanese Workshop on Stochastic Modeling for Finance, Insurance, Production and Reliability. 494-501 (2002)
[Publications] K.Tokuno, S.Yamada: "A Markovian software availability model with geometrically decreasing perfect debugging rate"Int. J. Manufacturing Technology and Management. Vol.5 Nos.1/2. 71-80 (2003)
[Publications] 唐木崇, 得能貢一, 山田茂: "ソフトウェア可用性評価モデルに基づく最適リリース問題に関する考察"統計数理研究所共同研究リポート161「最適化:モデリングとアルゴリズム16」. 110-117 (2003)

2002 Fiscal Year Annual Research Report

使命に基づく総合的なソフトウェア信頼性評価法に関する研究

Principal Investigator

得能 貢一 鳥取大学, 工学部, 助教授 (40263488)

Research Products

[Publications] K.Tokuno, S.Yamada: "Markovian software availability measurements for a multi-access system"Proc. 7th ISSAT Int. Conf. Reliability and Quality in Design. 206-211 (2002)

[Publications] T.Higo, K.Tokuno, S.Yamada: "Markovian safety assessment modeling for a software system with intermittent monitoring"Proc. 6th China-Japan Int. Conf. Industrial Management. 310-315 (2002)

[Publications] M.Koga, K.Tokuno, S.Yamada: "A Markovian availability model for a two-unit computer system with software failure-occurrences"Proc. 6th China-Japan Int. Conf. Industrial Management. 335-340 (2002)

[Publications] K.Tokuno, S.Yamada: "Markovian software safety measurement based on the number of debuggings"Proc. 2nd Euro-Japanese Workshop on Stochastic Modeling for Finance, Insurance, Production and Reliability. 494-501 (2002)

[Publications] K.Tokuno, S.Yamada: "A Markovian software availability model with geometrically decreasing perfect debugging rate"Int. J. Manufacturing Technology and Management. Vol.5 Nos.1/2. 71-80 (2003)

[Publications] 唐木崇, 得能貢一, 山田茂: "ソフトウェア可用性評価モデルに基づく最適リリース問題に関する考察"統計数理研究所共同研究リポート161「最適化:モデリングとアルゴリズム16」. 110-117 (2003)

得能貢一鳥取大学, 工学部, 助教授 (40263488)