面向路径的测试数据生成技术研究
摘要
本文论述了面向路径的软件测试方法,对测试中的路径选择和测试数据自动生成进行了分析,着重研究了面向路径的测试数据生成中的区间代数、迭代松弛和遗传算法等方法,最后指出了软件测试技术的发展方向。
出处
《数字技术与应用》
2011年第5期121-121,120,共2页
Digital Technology & Application
参考文献4
-
1单锦辉,姜瑛,孙萍.软件测试研究进展[J].北京大学学报（自然科学版）,2005,41(1):134-145. 被引量：138
-
2Weyuker E.J.The Applicability of Program Schema Results to Programs[C].Int J Computer Information Sciences,1979;8(5):387-403.
-
3Bird D, Munoz C U. Automatic Generation of Random Self-checking Test Cases[J].IBM Systems Journal,1983,22(3):229-245.
-
4Gupta N, Mathur A P, Soffa M L. Automated Test Data Generation Using an Iterative.Relaxation.Method[C].ACM.SIGSOFT.Software. Engineering Notes,1998;23(6),231-244.
二级参考文献53
-
1赵元聪,朱三元.面向对象软件测试的认识[J].计算机应用与软件,1996,13(3):1-4. 被引量：19
-
2宫云战 刘海燕 万琳 等.软件测试性的分析与设计技术研究[A]..2000年全国测试学术会议(CTC2000)[C].北京,2000.271-274.
-
3邵维忠 王立福 梅宏 等 见:杨芙清 何新贵主编.面向对象的软件测试--方法研究及系统设计[A].见:杨芙清, 何新贵主编.软件工程进展[C].北京: 清华大学出版社,1996.115-122.
-
4Tracey N J. A Search-Based Automated Test-Data Generation Framework for Safety-Critical Software: [PhD thesis]. Department of Computer Science, University of York, 2000.
-
5Korel B, Al-Yami A M. Assertion-Oriented Automated Test Data Generation. In: Proceedings of the 18^th International Conference on Software Engineering,Berlin:1996. 71-80.
-
6Korel B, Al-Yami A M. Automated Regression Test Generation. In: Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, Beach:1998. 143-152.
-
7Weyuker E J. The Applicability of Program Schema Results to Programs. International Journal of Computer Information Sciences, 1979, 8(5): 387-403.
-
8Ramanmoorthy C V, Ho S-B F, Chen W T. On the Automated Generation of Program Test Data. IEEE Transactions on Software Engineering, 1976, SE-2 (4): 293-300.
-
9Kung D, Suchak N, Gao J, et al. On Object State Testing. In: Proceedings of COMPSAC'94, 1994. 222-227.
-
10Goodenough J B, Gerhart S L. Toward a Theory of Test Data Selection. IEEE Transactions on Software Engineering, 1975, SE-3 (6): 156-173.
共引文献137
-
1陈勇,刘勇,鲍胜利.基于伪并行遗传算法的路径测试数据自动生成[J].四川大学学报（工程科学版）,2009,41(5):141-145. 被引量：5
-
2李震,刘斌,殷永峰,李晓勋.基于改进Petri网的可信软件模型验证和测试研究[J].计算机研究与发展,2010,47(S1):273-279.
-
3鄂越,诸叶平,孙开梦.农业专家系统自动化测试的研究与实践[J].中国农学通报,2006,22(2):386-391. 被引量：3
-
4满靖,闫健卓,王普.异构数据库信息整合系统的测试技术研究[J].微计算机信息,2006,22(02X):161-163. 被引量：8
-
5龚梅,徐晟,吴跃.中断驱动型嵌入式软件自动测试方案的实现[J].计算机应用,2006,26(6):1468-1471. 被引量：1
-
6毛澄映,卢炎生.构件软件测试技术研究进展[J].计算机研究与发展,2006,43(8):1375-1382. 被引量：32
-
7易江芳,佟冬,程旭.GATEST:使用遗传算法自动生成模拟矢量的验证平台[J].北京大学学报（自然科学版）,2006,42(5):668-673. 被引量：7
-
8丁振国,郭久武,王凤泰,超绍彩.火控系统弹道解算软件的测试方法[J].测试技术学报,2006,20(6):503-507. 被引量：1
-
9蓝庆青,童小念.基于JavaBean的构件测试方法研究[J].中南民族大学学报（自然科学版）,2006,25(4):84-86.
-
10李建军,李际平,郭超.林业专家系统软件开发测试方案的探讨[J].中南林业科技大学学报,2007,27(3):109-113. 被引量：2
-
1李福川,宋晓秋.软件测试中的新方法——区间代数方法[J].计算机工程与设计,2005,26(10):2576-2578. 被引量：4
-
2单锦辉,王戟,马晓东,齐治昌.面向路径的测试数据自动生成工具及其图形界面的Tcl/Tk设计[J].计算机工程与应用,2002,38(1):74-77. 被引量：2
-
3陈继锋,刘旭,张丹,张忠,黄敏.基于迭代松弛的测试数据自动生成框架的分析与设计[J].湖南涉外经济学院学报,2010,0(4):61-65.
-
4赵跃华,薛娟,吴安.基于区间代数的工作流模式的建模研究[J].计算机工程与设计,2009,30(22):5253-5256.
-
5刘栋,孟祥武,陈俊亮.上下文感知计算中的时序表示与推理方法研究[J].高技术通讯,2009,19(4):342-347.
-
6王溪波,马春,杜晓舟.面向路径的测试数据自动生成工具设计与实现[J].沈阳航空工业学院学报,2009,26(3):54-59. 被引量：2
-
7胡广朋,于枫,夏永锋.时间区间关系的定性与定量的混合推理[J].科学技术与工程,2007,7(17):4487-4489.
-
8沈青,桂卫华,阳春华.基于区间代数方法分析嵌入式系统抖动的稳定性[J].控制与决策,2008,23(4):367-371.
-
9凌青华,沈继峰,胡广鹏,于枫.人工智能应用中基于区间代数的时态推理[J].科学技术与工程,2006,6(21):3427-3433. 被引量：1
-
10贾松涛,张红卫.面向路径的测试数据生成框架及应用[J].微计算机信息,2010,26(6):190-192. 被引量：2
