基于SFTA和等价类的软件测试用例设计方法研究与应用

Research and application of software test case design method based on SFTA and equivalence class

为了解决软件测试时高可靠性安全性要求,测试用例设计的充分性和有效性不足的问题,软件故障树分析结合等价类原则解决了测试用例设计的充分性和有效性问题。通过对软件的故障模式进行分析,在建立软件故障树的基础上获得了软件故障树的最小割集。以最小割集为模型,结合等价类划分方法实现了测试用例设计,并根据该方法开发了测试用例自动生成工具。通过测试项目实际应用表明,采用该方法进行测试用例设计可以满足测试的充分性和有效性要求。

Aiming at the problem of insufficient adequacy and effectiveness in test case design when high reliability and se-curity of the software testing is required,the software fault tree analysis and equivalence class principle were adopted to improve the adequacy and effectiveness in test case design. By analyzing the fault mode of the software,the minimal cut sets of the soft-ware fault tree are obtained based on the establishment of software fault tree. In combination with the equivalence class,the test case design was realized by using the minimal cut sets as a model. An automatic test case generation tool was developed based on this method. The practical application shows that this test cases design method can meet the adequacy and effectiveness re-quirements.