基于SFTA和等价类的软件测试用例设计方法研究与应用Research and application of software test case design method based on SFTA and equivalence class
刘文红,吴欣
摘要(Abstract)：
为了解决软件测试时高可靠性安全性要求,测试用例设计的充分性和有效性不足的问题,软件故障树分析结合等价类原则解决了测试用例设计的充分性和有效性问题。通过对软件的故障模式进行分析,在建立软件故障树的基础上获得了软件故障树的最小割集。以最小割集为模型,结合等价类划分方法实现了测试用例设计,并根据该方法开发了测试用例自动生成工具。通过测试项目实际应用表明,采用该方法进行测试用例设计可以满足测试的充分性和有效性要求。
关键词(KeyWords)： 软件测试;测试用例;故障树;等价类
基金项目(Foundation):
作者(Author): 刘文红,吴欣
DOI: 10.16652/j.issn.1004-373x.2013.21.045
参考文献(References)：
- [1]黄锡滋.软件可靠性、安全性与质量保证[M].北京:电子工业出版社,2002.
- [2]陆廷孝,郑鹏洲,何国伟,等.可靠性设计与分析[M].北京:国防工业出版社,1995.
- [3]PRESSMAN R S.Software engineering:a practitioner′s approach[M].7th ed.[S.l.].McGraw-Hill Companies,Inc,2009.
- [4]孙志安,裴晓黎,宋昕,等.软件可靠性工程[M].北京:北京航空航天大学出版社,2009.
- [5]练峰海,石启亮,陈方涛.基于GUI方法的故障树运算软件实现[J].现代电子技术,2012,35(18):83-85.
- [6]姜兴杰,杨峰辉.软件可靠性分析与设计[J].现代电子技术,2011,34(7):135-137.