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

基于任务的软件可靠性综合评估方法研究

• 批准号: 13780365
• 负责人: 得能 貢一
• 金额: $ 1.34万
• 依托单位: Tottori University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2001
• 资助国家: 日本
• 起止时间: 2001 至 2002
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-13780365/
• 关键词: ソフトウェア安全性; ソフトウェア可用性; マルコフ過程; 最適リリース問題; 不完全デバッグ; マルチアクセスシステム; フォールト修正困難度; 間欠使用; 区間ソフトウェア信頼度; 失望確率; ソフトウェア信頼度成長

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

The safety evaluation process is constructed using the method of taking into account the unsafe state in the operation of the software and its reliability growth model (SRGM). In particular, unsafe conditions during operation are considered to be the most important condition for safety monitoring. This means that the safety level of the vehicle is derived from the "safety level of the vehicle at any time." This is a good way to manage the security of your computer, and a scientific way to manage the security of your computer. For example, if the SRGM is not available, it may not be available. In addition, the previous year's discussion on the availability evaluation of software has been carried out. The following research results have been obtained: 1.2. The availability evaluation of software has been constructed according to the reliability growth process of software. In particular, the definition of "average value of calculation amount of unit time when processing possibility" is derived from the evaluation scale of processing performance, and the relationship between the reliability growth process and processing performance of Unix system is discussed. 2. Unix system is considered to be a complex system at the same time. 3. This paper proposes a method for determining the relationship between the number of users and the availability evaluation of software. 3. This paper proposes a method for determining the quality evaluation of software. 4. The method for determining the difficulty of software. The ability of a team to create a team is reflected in the complete team rate, and the team's availability assessment is reconstructed.

项目成果

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)

K.Tokuno、S.Yamada：“基于调试次数的马尔可夫软件安全测量”Proc。

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)

K.Tokuno、S.Yamada：“完美调试率呈几何递减的马尔可夫软件可用性模型”Int。

K.Tokuno, S.Yamada: "Markovian software availability analysis under intermittent use"Proc. 7th ISSAT Int. Conf. Reliability and Quality in Design. 269-273 (2001)

K.Tokuno、S.Yamada：“间歇性使用下的马尔可夫软件可用性分析”Proc。

K.Tokuno, S.Yamada: "Software availability theory and its applications"Reliability Engineering Handbook. (掲載決定). (2002)

K.Tokuno、S.Yamada：“软件可用性理论及其应用”可靠性工程手册（2002 年出版）。

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)

T.Higo、K.Tokuno、S.Yamada：“间歇性监控软件系统的马尔可夫安全评估模型”Proc。