一种基于测试的故障树正确性检测方法

摘要：

　　为检测和提高故障树的正确性，针对控制软件所涉及的故障树，根据故障树最小割集和最小径集的性质，生成4种测试用例构造策略，提出了一种基于软件测试的故障树正确性检测方法。通过对“火轮”系统故障树进行实例分析，详细阐述了这种方法的应用。分析结果表明，该方法可以有效检测出故障树构建中易犯的多种错误。

关键词： 故障树 正确性检测 软件系统 测试技术

作者: 刘磊 董威 齐治昌

作者单位: 国防科学技术大学计算机学院 长沙 410073

会议类型: 国内会议

会议名称: 2011全国软件与应用学术会议(NASAC2011)

会议地点: 长春

会议语种:中文

页码: 67-74

在线出版日期: 2011-10-28（万方平台首次上网日期，不代表论文的发表时间）