本章参考文献
[1] 牟光灿.软件测试是软件质量保证的重要手段[J].计算机应用研究,1997,14(2):3-5.
[2] Google v:microsoft,and the dev:test ratio debate[EB/OL].(2008-12-09)[2015-05-06].https://docs.microsoft.com/en-us/archive/blogs/james_whittaker/google-vmicrosoft-and-the-devtest-ratio-debate.
[3] 曾凡晋.浅议软件测试领域V模型与X模型[J].邢台职业技术学院学报,2009,26(1):72-74.
[4] 宫云战.软件测试教程[M].北京:机械工业出版社,2008:4-5.
[5] 凌川,汤洪.论软件的可维护性设计[J].科技信息,2012(14):216-216.
[6] 金虎.自动化软件测试技术研究[D].成都:四川大学,2006.
[7] 吴显光.软件自动化测试[J].中国新通信,2012,14(14):67-69.
[8] HAMLET R.Random testing[M].New York:Wiley,1994.
[9] Jones B F,Sthamer H H,Eyres D E.Automatic structural testing using genetic algorithms[J].Software Engineering Journal,1996,11(5):299-306.(https://www.daowen.com)
[10] Mc Minn P,Holcombe M.The state problem for evolutionary testing[C]//Genetic and Evolutionary Computation-GECCO 2003.Springer Berlin Heidelberg,2003:2488-2498.
[11] 陈站华.软件单元测试[J].无线电通信技术,2003,29(5):50-51.
[12] 严俊,郭涛,阮辉,等.JUTA:一个Java自动化单元测试工具[J].计算机研究与发展,2010(10):1840-1848.
[13] guoguo6138.Interview Questions for QA Tester(Software Tester)[EB/OL].(2002-01-09)[2015-05-06].https://blog.csdn.net/guoguo6138/article/details/6753339.
[14] 邢颖.测试用例自动生成的分支限界算法及研究[D].北京:北京邮电大学,2014.
[15] 曾勇军,王清贤,奚琪.基于抽象区间域的数组边界检查技术[C]//计算机研究新进展(2010)——河南省计算机学会2010年学术年会论文集,2010.
[16] 郭劲松.约束满足问题(CSP)的求解技术研究[D].长春:吉林大学,2013.
[17] 单锦辉,王戟,齐治昌.面向路径的测试数据自动生成方法述评[J].电子学报,2004,32(1):109-113.