计算机软件可靠性数学模型的进化

Development of mathematic models of computer software reliability

随着科学技术的进步,计算机软件越来越复杂,出错概率也越来越大,软件可靠性工程已成为一个发展迅猛的技术领域.采用Halstead数学模型,将软件复杂性与软件错误数融为一体;并对该模型作了改进.给出了软件可靠性预计表达式,提出了能表达出软件开发者技术水平、开发工具先进程度、软件重要度的更为精确的数学公式,为软件可靠性分配及预估工作提供了一个有力工具.最后,给出了实际应用的数值例子.

With the progress in science, computer softwares are made more and more complicated and their failure probability gets higher and higher as the software reliability project has already become a fast developing field of technology. Based on Halstead model, the complexity of software was merged with its number of failures and the improvement was made on the model so that the formulas to predict the software reliability were given. More accurate formulas were introduced which were able to represent the developers' level of technique, tools and the importance of software. This had provided a powerful tool for analyzing the distribution and prediction of the software reliability. At last, practical examples were given. 