故障树分析技术在软件测试中的应用

摘要

针对故障模式判决软件测试用例设计的特点,提出了一种利用故障树分析原理(FTA)和软件测试用例设计等价类划分方法进行故障模式判决软件测试用例设计的新方法.该方法运用FTA原理进行测试用例设计,根据故障判决模式画出故障树,将该树作为测试用例设计树,然后运用故障树原理获得该树的最小割集,将此最小割集作软件测试用例的设计的依据.利用该方法进行测试用例设计保证了测试的充分性、测试用例分布的合理性,同时依据此方法设计的测试用例辅助生成软件,也极大地提高了软件测试自动化水平.