软件高可靠性及其测试探讨

软件可靠性是衡量一个软件好坏的重要因素,软件的高可靠性在于企业的软件开发流程管理是否到位,而软件测试是达到高可靠性的手段。传统的可靠性测试对如今迅猛发展的软件产业的效果正在下降,如何综合运用各种测试来有计划、有目的的完成软件测试,是正面临的一个问题,因为软件的不可靠将带来灾难性的后果。通过对客户的需求的明确,采用正确的测试方式,修正软件的错误提高系统可靠性。以可靠性测试为探讨对象,寻求新的测试方法与技术是值得研究的。

高可靠性软件的极值统计分析

提出了极值统计分析的方法.对于失效数据极值分布函数的拟合检验,采用了相关系数法;对于母体分布的参数估计,则分别采用了最小二乘估计(LSE)和极大似然估计(MLE);最后通过一个实例说明了统计过程,并用模拟的方法证明了最小二乘估计较好.

循环不变式开发技术研究

高可靠性软件是当今软件开发的热点问题。确保算法程序逻辑结构正确最理想的途径是算法程序的形式化推导和证明,而循环不变式是算法程序形式推导和证明的关键。循环不变式的开发一直是算法程序设计领域中最具挑战性、最富有创造性、也是最困难的问题之一。本文研究了众多现有循环不变式开发方法中较为典型的几种方法,指出了它们的基本原理、技术难点、特点及效果,旨在探寻循环不变式本质特征,从而为研究更简单、有效的生成方法提出指导。