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

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

作　　者：刘文红[1] 吴欣[1] 

机构地区：[1]北京跟踪与通信技术研究所,北京100094

出　　处：《现代电子技术》2013年第21期128-131,共4页Modern Electronics Technique

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

关 键 词：软件测试 测试用例 故障树 等价类 

分 类 号：TN06-34[电子电信—物理电子学] TP311.5[自动化与计算机技术—计算机软件与理论]