针对软件安全性测试的本质特征在于快速降低由于软件失效而导致系统事故的风险,结合基于Baye-sian统计理论的测试方法,建立一套构建安全性测试剖面,并由此产生测试用例的测试方法。该方法运用故障树分析技术,对各模块发生故障对系统安全性的影响进行分析,找出影响较大的关键性模块,然后利用分析结果构建安全性测试剖面。最后给出了测试停止的标准。通过对例子的分析可知,本方法在快速降低软件事故风险方面比现有软件测试方法更有效。