早在二十世纪60年代软件危机初期,随着软件功能的增长,人们就认识到软件复杂度高,开发周期长,可靠性差,开发和维护费用大等问题。其中可靠性差是软件质量问题的集中表现,而软件质量差又是软件维护费用大的主要因素之一。由此可见,软件质量问题由来已久。随着社会日益信息化,社会的日常运行越来越依赖于软件的电子系统;软件在尖端领域(诸如飞行控制系统、核电站安全监控、制药控制系统等)的广泛应用体现了软件的重要性,但同时软件的大量应用也导致了由软件故障引起的事故越来越多,这些事故的危害很严重,密切关系到人民生命财产和生态环境的安危,这才警醒了人们在近一二十年对软件的可靠性的重视以及对软件安全性的研究。软件的质量对系统的正常工作和安全是至关重要的,而且软件是否可信赖已经成为国家经济与国防等系统能否正常运转的关键因素之一。如何评估和保障这些软件的可靠性和安全性,尤其是安全性,防止灾难事故的出现,已经成为一个亟待解决的重大问题。吴智(吴智,2005)在构建软件安全性模型时,不仅考虑检测人员可能检测到的不安全输出,而且考虑检测人员不可能检测到的不安全输出。为了便于分析处理,本文构建的软件安全性模型仅考虑检测人员可能检测到的不安全输出。这篇论文按软件故障重要性递增的顺序将软件故障分成有限的q(≥2)类,通过考察软件故障之间相互影响的关系,基于子马尔可夫链构建一个新型的软件可靠性与安全性评估模型。本文用图表的方法,具体的数据,将这个模型和一些已有模型进行优劣性对比。通过对比,我们发现:1.所建模型的软件可靠性估计较低;2.对具有较高重要性的故障而言,所建模型的软件安全性估计较低,而当软件测试接近结束时却较高。3.从拟和度(期望累计故障数与实际累计故障数的拟和度)的角度来看,所建模型的软件可靠性与安全性估计较为精确.本文在软件可靠性与安全性的量化方法上创新,这为工程人员对软件系统的可靠性和安全性的分析、设计、评估和预测提供一种新的理论方法。