中文摘要：

本项目的研究内容是结合工程实际背景，综合研究软件可靠性与安全性（Software reliability and safety）分析方法、随机过程理论、静态反向分析，建立软件可靠性与安全性的分析模型及检测模型、测试方法及量化评估/预测方法,解决该领域中的理论及实际应用问题。 随着软件在尖端领域及大型复杂系统（如我国的211航天计划）的广泛应用，软件可靠性与安全性愈来愈成为一个非常重要的问题。对于软件可靠性与安全性的理论基础研究及其应用，是我国发展高尖端科学与技术进程中的一项重要基本环节。本项目的研究意义在于提高我国软件可靠性与安全性的理论水平，在软件安全性的量化分析方法上创新，为工程人员在软件系统的可靠性与安全性分析、设计、评估与预测等提供理论及技术指导。本项研究有很高的学术价值，更有重大的应用前景。

结论摘要：

本项目的研究内容是结合工程实际背景，综合研究软件可靠性与安全性（Software reliability and safety）分析方法、随机过程理论、静态反向分析，建立软件可靠性与安全性的分析模型及检测模型、测试方法及量化评估/预测方法,解决该领域中的理论及实际应用问题。随着软件在尖端领域及大型复杂系统（如我国的211 航天计划）的广泛应用，软件可靠性与安全性愈来愈成为一个非常重要的问题。对于软件可靠性与安全性的理论基础研究及其应用，是我国发展高尖端科学与技术进程中的一项重要基本环节。本项目的研究意义在于提高我国软件可靠性与安全性的理论水平，在软件安全性的量化分析方法上创新，为工程人员在软件系统的可靠性与安全性分析、设计、评估与预测等提供理论及技术指导。本项研究有很高的学术价值，更有重大的应用前景。