摘要
为了解决软件测试时高可靠性安全性要求,测试用例设计的充分性和有效性不足的问题,软件故障树分析结合等价类原则解决了测试用例设计的充分性和有效性问题。通过对软件的故障模式进行分析,在建立软件故障树的基础上获得了软件故障树的最小割集。以最小割集为模型,结合等价类划分方法实现了测试用例设计,并根据该方法开发了测试用例自动生成工具。通过测试项目实际应用表明,采用该方法进行测试用例设计可以满足测试的充分性和有效性要求。
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.
出处
《现代电子技术》
2013年第21期128-131,共4页
Modern Electronics Technique
关键词
软件测试
测试用例
故障树
等价类
software testing
test case
fault tree
equivalence class