A Study on User-Oriented Software Assessment Methods Considering Safety and Availability

面向用户并考虑安全性和可用性的软件评估方法研究

• 批准号: 12680442
• 负责人: YAMADA Shigeru
• 金额: $ 2.43万
• 依托单位: TOTTORI UNIVERSITY
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2000
• 资助国家: 日本
• 起止时间: 2000 至 2001
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-12680442/
• 关键词: Software Reliability; Quantitative Assessment; User-Oriented Measures; Software Safety; Software Availability; Quality Engineering Approach; Software Management; Software Development Tool

Software availability is defined as the attribute that the software system is operable and available whenever we want to use it. And software safety is defined as the attribute that it will not cause an unsafe condition. Those attributes are user-oriented quality characteristics of software systems. This research investigates the user-oriented software reliability assessment methods in consideration of software availability and safety. At first we discuss the basic idea of software availability modeling and the difference between modeling for software and hardware systems. Markov processes are applied to the descriptions of the time-dependent behaviors of software systems alternating between up and down states ; then the processes of software reliability growth and the increase in difficulty of restorations are incorporated as well. We also refer to several extended models reflecting the software failure-occurrence phenomenon and the restoration scenario peculiar to the user-operational phase, considering computation performance, and combining a hardware and a software subsystem. Then, we can derive several user-oriented quantitative measures for software availability and safety assessment such as software safety, instantaneous software availability, average software availability, and interval software availability. Furthermore, by using JAVA languages we can develop a software management tool which incorporates the user-oriented software reliability assessment methods.

软件可用性是指软件系统在任何时候都是可操作和可用的属性，而软件安全性是指软件系统不会导致不安全的状态。这些属性是软件系统面向用户的质量特征。本文从软件可用性和安全性两个方面研究面向用户的软件可靠性评估方法。本文首先讨论了软件可用性建模的基本思想以及软件系统建模和硬件系统建模的区别。应用马尔可夫过程描述软件系统在上升和下降状态之间交替变化的时变行为，并将软件可靠性增长和简化难度增加的过程也考虑在内。我们还提到了几个扩展模型，反映软件故障发生的现象和恢复的情况下特有的用户操作阶段，考虑计算性能，并结合硬件和软件子系统。然后，我们可以得到几个面向用户的软件可用性和安全性评估的定量措施，如软件安全性，瞬时软件可用性，平均软件可用性，和间隔软件可用性。此外，利用JAVA语言，我们可以开发一个软件管理工具，其中包括面向用户的软件可靠性评估方法。

项目成果

T. Fujiwara et al.: "A method of high-reliable software development by the information sharing"J. Soc. Project Management. Vol. 3, No. 2. 9-14 (2001)

T. Fujiwara等：“一种基于信息共享的高可靠软件开发方法”J.

D. Satoh et al.: "Discrete equations and software reliability growth models"Proc. 12th IEEE Intern. Symp. Software Reliability Eng.. 176-183 (2001)

D. Satoh 等人：“离散方程和软件可靠性增长模型”Proc。

Koichi Tokuno: "Markovian software availability measurement for continuous use"Proceedings of the 6th ISSAT International Conference on Reliability and Quality in Design. 280-184 (2000)

Koichi Tokuno：“连续使用的马尔可夫软件可用性测量”第六届 ISSAT 国际设计可靠性和质量会议论文集。

藤原隆次: "一般化されたテスト空間依存型ソフトウェア信頼度成長モデルとその適合性評価に関する考察"電子情報通信学会論文誌. J184-A・7. 950-958 (2001)

Ryuji Fujiwara：“广义测试空间相关软件可靠性增长模型及其适用性评估的考虑”电子、信息和通信工程师学会汇刊 J184-A·7（2001 年）。

T.Fujiwara: "A Software Testing-Management Tool for Reliable Software Development and Its Applications"Proc.the 6th ISSAT Intern.Conf.Reliability and Quality in Design. 175-179 (2000)

T.Fujiwara：“用于可靠软件开发及其应用的软件测试管理工具”Proc.the 6th ISSAT Intern.Conf.Reliability and Quality in Design。