软件可靠性及其应用(Ⅰ)

本文编录了软件可靠性的定义和一些典型的数学模型。文章提出了自己的观点,如软件的可靠性取决于对软件的定义分析和设计;而调试、测试、证明、评审是可靠性增长的重要阶段;软件会产生随机故障,可用统计的办法来处理;初步提出软件—硬件故障的分离方法以及在工程应用中如何提出对软件的可靠性要求。