收藏本站
《国防科学技术大学》 2002年
收藏 | 手机打开
二维码
手机客户端打开本文

面向路径的测试数据自动生成方法研究

单锦辉  
【摘要】: 软件测试是现阶段保障软件质量的重要手段。软件测试中的诸如语句覆盖、路径覆盖等问题可以归结为面向路径的测试数据的生成问题。该问题在本文中简称为问题2,可以描述为:给定一个程序P和P中一条路径W,设P的输入空间为D,求(?)∈D,使得P以(?)为输入运行,所经过的路径为W。自动求解该问题将有效地提高软件测试的效率和质量。 求解问题2的实质在于约束系统的建立和求解。建立约束系统的困难是分析、化简路径W上的各种语句成分和各种数据类型,建立尽可能简洁的约束系统;求解约束系统的主要困难是处理可能存在的非线性约束。Matiyasevic和E.J.Weyuker等人的研究表明:不存在通用的有效的算法,对于任意的P和W,能生成使W被经过的输入数据。但是实际应用的需要迫使人们进行研究,并提出各种方法求解问题2。 本文首先简要介绍该领域的研究进展,将现有的求解方法分为四类——随机法、静态法、动态法和试探法,介绍和分析每一类中有代表性的方法,并探讨研究方向。 迭代松弛法是Neelam Gupta等人提出的一种自动求解问题2的方法。该方法通过分析W上各语句之间的静态、动态数据依赖关系,构造谓词片和输入依赖集,用线性算术表示对谓词函数进行线性化,仅能够用于白盒测试数据的自动生成。 Neelam Gupta等人将最小二乘解法用于求解问题2。Jon Edvardsson等人指出,对于谓词函数均为输入变量的线性函数的程序路径,Neelam Gupta等人提出的求解方法是不完备的和非终止的,并建议采用线性规划、线性(混合)整数规划方法。 本文改进迭代松弛法,省略构造谓词片和输入依赖集的过程。更进一步,当用均差作为谓词函数关于输入变量的导数的近似时,计算线性算术表示就全部转化为计算谓词残量,而后者无须分析W上各语句之间的静态、动态数据依赖关系。此时,改进后的方法比原方法生成测试数据的能力更强,能够用于黑盒测试数据的自动生成。改进后的方法建立线性约束系统的效率更高。 本文给出一种模型语言;给出一个比较完整的形式化描述,该描述可用于证明与静态、动态数据依赖关系有关的程序性质;给出迭代松弛法中各概念的形式化定义;深入研究迭代松弛法及其改进后的方法的程序理论,其结果包括:将Neelam Gupta等人提出的谓词片推广为路径静态切片,证明路径静态切片构造算法的正确性,证明改进后的方法与原方法所生成的线性约束系统相同。 本文提出一个面向路径的测试数据生成框架。该框架以改进后的迭代松弛法为核心算法,对于谓词函数均为输入变量的线性函数的程序路径,采用基于线性规划、线性(混合)整数规划的约束求解器;对于谓词函数中含有输入变量的非线性函数的程序路径,采用线性规划、线性(混合)整数规划和最小二乘解法相结合的约束求解器。它具有以下 国防科学技术大学研究生院学位论文 性质:若W上各谓词函数均为输入变量的线性函数,并且所有输入变量均无整数限制; 则框架迭代一次后,或者找到W的解,或者保证w不可行;当谓词函数中含有输入变 量的非线性函数时,可能需要迭代多次。 本文开发了面向路径的测试数据生成框架的一个原型工具。用实际的程序路径对该 工具进行实验。初步的实验结果表明框架是比较有效的,不仅能够用于白盒、黑盒测试 数据的自动生成,而且能够用于面向断言的测试数据自动生成和回归测试数据的自动生 成。
【学位授予单位】:国防科学技术大学
【学位级别】:博士
【学位授予年份】:2002
【分类号】:TP311.53

知网文化
【引证文献】
中国期刊全文数据库 前10条
1 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
2 雷航;韩炫;;采用HC-MARPSO算法的软件测试数据生成方法[J];电子科技大学学报;2012年06期
3 吴妮妮;商林;;浅谈软件测试方法[J];湖北成人教育学院学报;2011年04期
4 陈继锋;;带数组和循环的路径测试数据自动生成技术研究[J];计算机科学;2008年07期
5 许秀林;胡克瑾;;基于约束满足搜索算法的测试用例生成策略[J];计算机工程;2008年18期
6 崔欢欢;陈利;匡哈雷;朱变;;基于AR规则的全路径测试数据自动生成方法[J];计算机应用研究;2010年11期
7 李冰,陈自力,马飒飒;软件测试用例生成综合策略研究[J];计算机测量与控制;2005年04期
8 陈继锋,朱利,沈钧毅,陈玲;一种基于路径的测试数据自动生成算法[J];控制与决策;2005年09期
9 马菁;顾景文;;决策树在软件测试用例生成中的应用[J];计算机技术与发展;2008年02期
10 陈继锋;沈钧毅;王欣峻;刘勇;王志海;;一种基于数据流准则的测试数据自动生成算法[J];微电子学与计算机;2007年01期
中国博士学位论文全文数据库 前2条
1 崔应霞;组合测试技术的研究与应用[D];安徽大学;2011年
2 王珉;大型CAD系统软件架构及其开发方法研究[D];西北工业大学;2006年
中国硕士学位论文全文数据库 前10条
1 卢玉珂;Web服务集成测试工具的设计与实现[D];昆明理工大学;2009年
2 贾冀婷;基于粒子群优化算法的测试用例自动生成方法研究[D];西安电子科技大学;2009年
3 王丹;基于TCP协议的软件自动化测试的研究与应用[D];吉林大学;2011年
4 崔欢欢;基于SA规则的全路径用例自动生成方法研究[D];华中师范大学;2011年
5 刘烨辉;基于知识的应用生命周期管理研究[D];中南大学;2011年
6 韩炫;面向路径的软件测试数据生成方法的研究[D];电子科技大学;2011年
7 苏翠翠;一种基于UML活动图生成测试用例的方法[D];南京邮电大学;2011年
8 陈翔宇;基于数据流的测试数据自动生成技术研究[D];南京邮电大学;2011年
9 刘翀;管理软件的自动化测试系统框架研究[D];南京航空航天大学;2011年
10 郑莉平;基于服务需求的自动测试技术研究[D];重庆大学;2011年
【参考文献】
中国期刊全文数据库 前8条
1 荚伟,奚红宇,高仲仪;遗传算法在软件测试数据生成中的应用[J];北京航空航天大学学报;1998年04期
2 李必信,郑国梁,王云峰,李宣东;一种分析和理解程序的方法──程序切片[J];计算机研究与发展;2000年03期
3 赵元聪,朱三元;面向对象软件测试的认识[J];计算机应用与软件;1996年03期
4 张铃,ahu.edu.cn,张钹;遗传算法机理的研究[J];软件学报;2000年07期
5 顾庆,陈道蓄,韩杰,谢立,孙钟秀;一个面向分布式程序的测试系统框架[J];软件学报;2000年08期
6 暴建民,杨孝宗,杨楠,王申科;测试数据选择理论20年[J];软件学报;1996年12期
7 奚红宇,徐红,高仲仪;Ada软件测试用例生成工具[J];软件学报;1997年04期
8 王志言,刘椿年;区间算术在软件测试中的应用[J];软件学报;1998年06期
【共引文献】
中国期刊全文数据库 前10条
1 熊伟,吴敏哲;形态优化张弦桁架预应力设计研究[J];四川建筑科学研究;2005年05期
2 洪文,朱广斌;排课问题及其数学模型[J];安徽电力职工大学学报;2002年03期
3 陈征;;一类系统的二次李雅普诺夫函数存在性的判断[J];安徽电子信息职业技术学院学报;2006年04期
4 管纪俊;;大型电力设备运输道路管理信息系统的设计与开发[J];安徽电力;2007年03期
5 张成堂;毕守东;;公务员招聘问题的优化模型[J];安徽大学学报(自然科学版);2006年03期
6 孙小军;焦建民;何俊红;;解优化问题的遗传加速信赖域搜索算法[J];安徽大学学报(自然科学版);2008年03期
7 张家昕;段复建;;一种结合NCP函数的SQP滤子新算法[J];安徽大学学报(自然科学版);2010年05期
8 高洪;孟舒;查为民;李玲纯;张海涛;;6-3-3并联机构物理样机结构优化[J];安徽工程大学学报;2011年03期
9 高伟增;曹玉松;张江维;;渠系配水优化遗传算法求解[J];安徽农业科学;2011年19期
10 李士松;;点阵打印机上高速汉字打印的实现[J];安徽师大学报(自然科学版);1990年04期
中国重要会议论文全文数据库 前10条
1 刘钰;韩峰;董楠;陆希成;雷鸣;;爆炸容器安全概率的统计分析方法[A];全国危险物质与安全应急技术研讨会论文集(下)[C];2011年
2 姚智颖;刘冬;;基于Kazakov线性化的迭代滤波[A];第二十九届中国控制会议论文集[C];2010年
3 姚海祥;;基于非参数估计方法和CARA效用函数的投资组合选择[A];第十三届中国管理科学学术年会论文集[C];2011年
4 牟在根;张举兵;陈云周;;结构优化设计的遗传算法研究[A];第十一届全国结构工程学术会议论文集第Ⅱ卷[C];2002年
5 张成才;梁永会;李红伟;;河南航道基础地理信息系统测试方案研究与设计[A];《测绘通报》测绘科学前沿技术论坛摘要集[C];2008年
6 邓小鸿;孙星明;孙光;拜亚萌;;基于动态程序切片的软件水印方案[A];第七届全国信息隐藏暨多媒体信息安全学术大会论文集[C];2007年
7 杨晓春;李小凡;张美根;;地震波非线性反演的某些数学问题[A];中国科学院地质与地球物理研究所二○○三学术论文汇编·第二卷(青藏高原)[C];2003年
8 李艳平;何渝;;应用谷峰法求解连续函数总体极值的设计与实现[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
9 潘义勇;潘平奇;;无约束优化问题的对角二阶拟牛顿法[A];中国运筹学会第九届学术交流会论文集[C];2008年
10 贾朝辉;倪勤;;一个解无约束优化问题的移动渐近线算法[A];中国运筹学会第九届学术交流会论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 谭枫;介入式文化算法及其应用研究[D];哈尔滨工程大学;2010年
2 谭佳琳;粒子群优化算法研究及其在海底地形辅助导航中的应用[D];哈尔滨工程大学;2010年
3 王龙金;零/低航速减摇鳍升力模型及系统控制策略研究[D];哈尔滨工程大学;2009年
4 陈得宇;基于MAS的智能电压控制系统研究[D];哈尔滨工程大学;2010年
5 刘冬雁;川西高原甘孜黄土记录的早更新世晚期以来的古气候变化[D];中国海洋大学;2009年
6 王敏;分布式电源的概率建模及其对电力系统的影响[D];合肥工业大学;2010年
7 段志东;基于广义模块化设计的快锻液压机机架力学特性研究[D];兰州大学;2010年
8 李方义;区间非概率多目标优化设计方法及其在车身设计中的应用[D];湖南大学;2010年
9 陈宇;电容层析成像反问题求解及图像重建算法研究[D];哈尔滨理工大学;2010年
10 渠瑜;基于SVM的高不平衡分类技术研究及其在电信业的应用[D];浙江大学;2010年
中国硕士学位论文全文数据库 前10条
1 张小亮;非线性规划的信赖域算法[D];河南理工大学;2010年
2 李坤;参数参与进化的自适应遗传算法研究[D];南昌航空大学;2010年
3 邹雄;基于FPGA的弹载计算机调试方法研究[D];南昌航空大学;2010年
4 吴香庭;基于遗传算法的K-means聚类方法的研究[D];山东科技大学;2010年
5 马水松;多目标遗传算法与非支配集的构造研究[D];山东科技大学;2010年
6 徐芳芳;优化问题的PVD算法研究[D];山东科技大学;2010年
7 朱耿峰;支持向量机在冲击地压预测模型中的应用研究[D];山东科技大学;2010年
8 韩晓峰;高斯混合模型及在探测网络社区结构中的应用[D];山东科技大学;2010年
9 易明;地震作用下渡槽结构的动力可靠度分析[D];郑州大学;2010年
10 乔小琴;基于灰理论的土石坝安全监控综合评价模型研究[D];郑州大学;2010年
【同被引文献】
中国期刊全文数据库 前10条
1 蔡伯根;上官伟;李小琴;王剑;;基于多分辨率建模的CTCS-3级列控系统仿真支撑技术[J];北京交通大学学报;2010年02期
2 刘中田;吕继东;孙伟亮;;CTCS-3级列控系统车地交互流程形式化建模与验证[J];北京交通大学学报;2011年02期
3 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
4 贾晓霞;吴际;金茂忠;柳永坡;;基于程序行为累积分析的软件故障定位方法[J];北京航空航天大学学报;2006年05期
5 荚伟,高仲仪;基于遗传算法的软件结构测试数据生成技术研究[J];北京航空航天大学学报;1997年01期
6 张茂林;软件自动测试的研究与程序实现[J];北京航空航天大学学报;1997年01期
7 荚伟,奚红宇,高仲仪;遗传算法在软件测试数据生成中的应用[J];北京航空航天大学学报;1998年04期
8 王景存;张晓彤;陈彬;陈和平;;一种基于Dijkstra算法的启发式最优路径搜索算法[J];北京科技大学学报;2007年03期
9 吕诚昭;孟洛明;;一个软件测试自动化系统:TSBAG[J];北京邮电学院学报;1993年01期
10 高市;姜虹;;有向图无负权全路径算法研究[J];长春大学学报;2009年02期
中国博士学位论文全文数据库 前10条
1 吕继东;列车运行控制系统分层形式化建模与验证分析[D];北京交通大学;2011年
2 郭健强;面向对象软件测试理论与技术的研究[D];西安电子科技大学;1999年
3 胡仁胜;软件可靠性和软件最优发布问题的研究[D];合肥工业大学;2001年
4 蒋江;异构集群系统中基于进程迁移机制的负载平衡算法的研究[D];国防科学技术大学;2002年
5 姚砺;面向对象软件测试的研究[D];浙江大学;2002年
6 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
7 李桂清;细分曲面造型及应用[D];中国科学院计算技术研究所;2001年
8 沈胜宇;模型检验的反例解释[D];国防科学技术大学;2005年
9 李必信;程序切片技术及其在面向对象软件度量和软件测试中的应用[D];南京大学;2000年
10 覃志东;高可信软件可靠性和防危性测试与评价理论研究[D];电子科技大学;2005年
中国硕士学位论文全文数据库 前10条
1 范素娟;基于时间自动机模型的测试用例生成方法研究[D];郑州大学;2010年
2 王晓旭;软件测试的自动分析工具[D];中国科学院软件研究所;2001年
3 陈爱国;软件测试与软件可靠性[D];西安电子科技大学;2001年
4 关文天;CAD/CAPP集成系统特征模型转换技术研究[D];西北工业大学;2001年
5 李登;分布式系统负载均衡策略研究[D];中南大学;2002年
6 刘金艳;面向对象软件测试技术研究[D];西南交通大学;2003年
7 陈文海;软件测试管理工具的研究与实现[D];中国科学院研究生院(软件研究所);2003年
8 谢礼坤;分布式异构环境下信息共享与服务机制研究[D];福州大学;2004年
9 李建勇;粒子群优化算法研究[D];浙江大学;2004年
10 季丽丽;基于UML状态图的测试用例自动生成研究[D];南京航空航天大学;2004年
【二级引证文献】
中国期刊全文数据库 前10条
1 易江芳;佟冬;程旭;;GATEST:使用遗传算法自动生成模拟矢量的验证平台[J];北京大学学报(自然科学版)网络版(预印本);2006年02期
2 易江芳;佟冬;程旭;;GATEST:使用遗传算法自动生成模拟矢量的验证平台[J];北京大学学报(自然科学版);2006年05期
3 费雯悦;;一种基于改进遗传算法的测试用例自动生成研究[J];北京石油化工学院学报;2011年04期
4 汪磊;;WEB工程中的测试合理化设计[J];电脑开发与应用;2011年12期
5 迟庆云;;黑盒测试技术在ACRM费用分解中的应用[J];大庆师范学院学报;2010年03期
6 陈宁江;;软件测试综合型实践教学方案探讨[J];大众科技;2010年09期
7 林淑飞;;基于正交拉丁方的软件测试用例的生成[J];福建电脑;2009年07期
8 吕国英;李茹;;基于层次分析法的专家系统开发平台测评指标权集[J];广西师范大学学报(自然科学版);2007年04期
9 刘志祥;刘杰;李丹;云雷;;一种基于马尔可夫模型的软件可靠性评估方法[J];电子产品可靠性与环境试验;2012年04期
10 陈晟;;有关计算机软件的安全检测技术的分析[J];计算机光盘软件与应用;2012年15期
中国重要会议论文全文数据库 前4条
1 刘振宇;蔡立志;杨根兴;;Web应用软件的质量评价技术研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
2 赵中芳;魏志强;贾东宁;;基于CBR的软件自动化测试用例复用方法研究[A];2008'中国信息技术与应用学术论坛论文集(二)[C];2008年
3 李震;刘斌;殷永峰;李晓勋;;基于改进Petri网的可信软件模型验证和测试研究[A];第六届中国测试学术会议论文集[C];2010年
4 赵炳;胥光辉;柳旭;李慧冬;;基于Hadoop平台的软件系统的测试研究[A];第十七届全国青年通信学术年会论文集[C];2012年
中国博士学位论文全文数据库 前10条
1 姚香娟;复杂软件测试数据进化生成理论及应用[D];中国矿业大学;2011年
2 袁修华;开放式数控系统软件故障自诊断、自愈合的研究[D];吉林大学;2011年
3 王珉;大型CAD系统软件架构及其开发方法研究[D];西北工业大学;2006年
4 毛澄映;面向对象程序分析与测试技术研究[D];华中科技大学;2006年
5 李军义;软件测试用例自动生成技术研究[D];湖南大学;2008年
6 陈超;语境驱动的仿真模型可组合性测试方法研究[D];国防科学技术大学;2007年
7 胡俊;高安全级别可信操作系统实现研究[D];中国科学院研究生院(电子学研究所);2008年
8 王晓华;软件特征模型与测试应用研究[D];中国科学院研究生院(空间科学与应用研究中心);2009年
9 濮方琍;并行程序测试的关键技术研究[D];华中科技大学;2009年
10 钱思佑;图形用户界面测试中相关问题研究[D];中国科学技术大学;2010年
中国硕士学位论文全文数据库 前10条
1 王卫锋;FSCS自适应随机测试算法的边界效应及运行效率研究[D];华东师范大学;2010年
2 华韵子;强对流天气识别系统的设计与实现[D];华东师范大学;2010年
3 张丹阳;校园网上二手信息发布平台的设计与实现[D];华东师范大学;2010年
4 王喜虎;基于Spring的接口测试环境智能配置管理组件的设计与实现[D];华南理工大学;2010年
5 李静;基于灰色理论的可信软件规划质量屋模型研究[D];浙江大学;2011年
6 何天添;嵌入式软件模块高可靠性设计与验证技术研究[D];华东理工大学;2011年
7 杨雅雯;高可靠性嵌入式仿真测试平台的硬件逻辑设计[D];北京交通大学;2011年
8 严丛优;新进飞行教师培训与教学监控记录系统设计[D];电子科技大学;2010年
9 陈莹莹;变异技术在测试数据优化中的研究及实现[D];昆明理工大学;2009年
10 卢玉珂;Web服务集成测试工具的设计与实现[D];昆明理工大学;2009年
【二级参考文献】
中国期刊全文数据库 前5条
1 荚伟,高仲仪;基于遗传算法的软件结构测试数据生成技术研究[J];北京航空航天大学学报;1997年01期
2 杨洪,徐宝文;PSS/Ada程序切片系统的设计与实现[J];计算机研究与发展;1997年03期
3 奚红宇,徐红,高仲仪;Ada软件测试用例生成工具[J];软件学报;1997年04期
4 张铃,张钹;统计遗传算法[J];软件学报;1997年05期
5 暴建民,黄仲伟,杨孝宗;分布式容错计算机通讯系统的实现[J];小型微型计算机系统;1996年06期
【相似文献】
中国期刊全文数据库 前10条
1 张强,杨荣焱;生成黑盒测试数据的设计思想在学生成绩管理系统中的实现[J];北京电子科技学院学报;2003年02期
2 段力军;;软件产品黑盒测试的测试用例设计[J];测试技术学报;2007年02期
3 程伟想;;学生成绩管理系统中黑盒测试用例的设计[J];中国电力教育;2007年S2期
4 施苏俊;袁琼擘;;数控机床PLC控制程序的黑盒测试[J];机电产品开发与创新;2010年06期
5 苏宝莉;;基于VC6.0的单元测试研究与实践[J];甘肃科技;2007年02期
6 冯玉芬;杨天栋;;等价类划分测试用例设计[J];株洲师范高等专科学校学报;2007年05期
7 尹党辉;;军用软件的黑盒测试方法综述[J];软件导刊;2009年11期
8 杨德红;;软件测试自动化在黑盒测试中的应用[J];现代电子技术;2008年18期
9 孙继荣;李志蜀;殷锋;王莉;李奇;;基于I/O的黑盒测试用例集约简技术改进[J];计算机应用;2006年09期
10 丁斌;;软件测试浅谈[J];科技咨询导报;2007年30期
中国重要会议论文全文数据库 前10条
1 张成才;梁永会;李红伟;;河南航道基础地理信息系统测试方案研究与设计[A];《测绘通报》测绘科学前沿技术论坛摘要集[C];2008年
2 吴珊;晏海华;程文倩;;基于测试数据的软件可靠性评估方法研究[A];2011年通信与信息技术新进展——第八届中国通信学会学术年会论文集[C];2011年
3 田丽芳;刘栓;;软件测试的学习方法探究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
4 王晖;杨柳青;高振平;张幼春;朱学东;;软件测试自动化中的工具使用[A];第三届中国测试学术会议论文集[C];2004年
5 孙玫肖;贾成强;;软件测试技术及其在客票系统中的应用探讨[A];扩大铁路对外开放、确保重点物资运输——中国科协2005年学术年会铁道分会场暨中国铁道学会学术年会和粤海通道运营管理学术研讨会论文集[C];2005年
6 顾婉玉;梁华国;徐三子;陈田;王伟;;一种基于响应中无关位填充的测试数据压缩方法[A];第六届中国测试学术会议论文集[C];2010年
7 刘海宁;阳辉;宋健;;地面数字电视移动测试系统[A];2009安捷伦科技节论文集[C];2009年
8 栾静;贺英杰;;软件测试方法及用例的设计分析[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集(上册)[C];2010年
9 周方;周光霞;;分布式系统软件可靠性评估的研究[A];2005第二届电子信息系统质量与可靠性学术研讨会论文集[C];2005年
10 刘明杰;刘易勇;周开基;;电磁兼容数据管理系统的设计与实现[A];第二十届全国电磁兼容学术会议论文集[C];2010年
中国重要报纸全文数据库 前10条
1 郭莹;测试数据,该信谁?[N];中国计算机报;2005年
2 ;采用HT技术的P4 3.06GHz处理器的测试数据[N];电子资讯时报;2002年
3 ;NI DIAdem 9.0生成报告更快捷[N];中国计算机报;2004年
4 ;关于等压法透氧仪设备标定的探讨[N];中国包装报;2007年
5 ;FIS审计方法运用简介[N];财会信报;2005年
6 龚尊华;小额支付系统测试及推广[N];金融时报;2008年
7 计算机世界实验室 韩勖;工具决定效率[N];计算机世界;2010年
8 江苏省海安县海陵中学 王孝东;信息学奥赛辅导中的困惑及对策[N];中国电脑教育报;2005年
9 武跃;没有数据就没有市场[N];国际商报;2005年
10 尹霞;我说的话 你能听懂吗?[N];计算机世界;2001年
中国博士学位论文全文数据库 前10条
1 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年
2 姚香娟;复杂软件测试数据进化生成理论及应用[D];中国矿业大学;2011年
3 张岩;路径覆盖测试数据进化生成理论与方法[D];中国矿业大学;2012年
4 潘丽丽;软件测试用例集简化及其构建方法研究[D];湖南大学;2009年
5 崔应霞;组合测试技术的研究与应用[D];安徽大学;2011年
6 张波;基于测试覆盖的安全关键软件测试策略研究[D];中国科学院研究生院(长春光学精密机械与物理研究所);2012年
7 王建新;接地网腐蚀故障诊断算法与可测性研究及其应用[D];西安科技大学;2009年
8 刘西洋;演化测试中面向分支到达的适应度函数设计研究[D];西安电子科技大学;2007年
9 欧阳一鸣;片上网络测试关键问题研究[D];合肥工业大学;2013年
10 商进;SoC测试中数据压缩与降低功耗方法研究[D];哈尔滨理工大学;2012年
中国硕士学位论文全文数据库 前10条
1 李寰;单元测试用例自动生成分析与设计[D];太原理工大学;2007年
2 王鹏;基于改进遗传算法的面向路径测试用例自动生成方法研究[D];大连交通大学;2007年
3 呼晓黎;软件自动化测试技术的研究与实现[D];西南交通大学;2007年
4 乐鑫喜;基于退火遗传算法的测试用例自动生成[D];武汉理工大学;2005年
5 熊娇;新型软件测试技术研究与实现[D];电子科技大学;2008年
6 刘响;广域监控系统功能测试平台的设计与开发[D];南京理工大学;2009年
7 陈翔宇;基于数据流的测试数据自动生成技术研究[D];南京邮电大学;2011年
8 董昭森;MDS3400双中心业务测试的设计与实施[D];北京邮电大学;2012年
9 陈莹莹;变异技术在测试数据优化中的研究及实现[D];昆明理工大学;2009年
10 朱凯;程序设计试题的测试数据的语义化建模研究[D];东华大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026