[00659261]软件可靠性理论及其工程实践

一、简要技术说明及主要技术性能指标：该课题针对软件可靠性模型研究中的问题及其在工程中的应用进行了深入的研究。1、针对求解Goel-OkumotoNHPP(非齐次Pisson过程)软件可靠性模型参数存在的问题，推导并给出了模型参数存在有限、唯一正数解的充要条件。2、针对S型软件可靠性模型采用极大似然法估算模型参数时存在的问题，对参数的解结构作了分析，并给出了一个简单实用的算法，以估算模型的参数解。3、针对在软件测试排错过程中不可避免地会出现排错不彻底或引入新错误的情况，通过引入参数β表示排错时的错误引入率，对Goel-OkumotoNHPP模型作了进一步的研究，并就参数估算时非线性方程组线性相关导致参数解不唯一的问题，给出了优化求解的方法。4、在Goel-OkumotoNHPP软件可靠性模型和S型软件可靠性模型的基础上，结合费用因素，分析了软件的最佳交付时间，用以指导人们运用软件可靠性模型，对软件现有的可靠性水平进行评估以及预测软件将来应用可靠性的变化情况。5、运用Markov过程的方法，结合矩阵理论，对面向对象，具有多个独立功能模块的软件系统可靠性作了分析。6、运用模糊集合论的方法，分析了软件产品可靠度与软件开发费用之间的关系，解决了模糊条件下，用概率统计方法，解决开发费用与投入市场时要求的软件可靠度这一矛盾的困难，给出了优化求解算法。二、推广应用前景与措施：软件可靠性是软件工程的瓶颈，该项研究提出的简化算法其准确性能满足软件可靠性的要求，便于在软件工程中使用，有良好应用前景。应用措施如下：1、与软件生产组织合作，搜集软件错误数据。共同研究软件测试的方法。2、进一步完善和简化软件可靠性模型的算法，编制软件包进行推广应用。成果处于国内先进水平。