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

作者：刘文红; 吴欣

来源：现代电子技术, 2013, (21): 128-131.

DOI：10.16652/j.issn.1004-373x.2013.21.045

• 软件测试
• 测试用例
• 故障树
• 等价类 software testing
• test case
• fault tree
• equivalence class

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

• 单位
  北京跟踪与通信技术研究所