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