论文部分内容阅读
文章对采用故障树分析技术造成系统失效的各种软件因素进行分析,确定造成系统失效的各种原因组合。通过构造软件系统故障树,生成故障树的最小割集,分析各个割集的安全性约束条件,由安全性约束条件分析测试数据,最后生成测试用例的算法。将故障树分析技术用于指导软件测试设计,体现了以系统工程方法研究软件测试的系统性、准确性和预测性。