覆盖测试中路径选择算法的设计与实现



覆盖测试中路径选择算法的设计与实现

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机软件论文→程序设计、软件工程论文→软件工程论文

覆盖测试中路径选择算法的设计与实现

论文目录
摘要	第1-5页
ABSTRACT	第5-7页
目录	第7-9页
第一章绪论	第9-14页
1.1 背景介绍	第9-10页
1.2 研究现状	第10-12页
1.3 研究内容	第12-13页
1.4 论文结构	第13-14页
第二章代码测试系统介绍	第14-17页
2.1 自动化测试工具	第14-15页
2.2 代码测试系统简介	第15-17页
第三章覆盖测试概述	第17-21页
3.1 覆盖测试的概念	第17页
3.2 基本覆盖准则介绍	第17-19页
3.2.1 语句覆盖	第17页
3.2.2 分支覆盖	第17页
3.2.3 谓词覆盖	第17-18页
3.2.4 分支-谓词覆盖	第18页
3.2.5 复合谓词覆盖	第18-19页
3.2.6 覆盖准则包含关系	第19页
3.3 覆盖元素的管理	第19-21页
3.3.1 覆盖元素的提取	第19-20页
3.3.2 覆盖率的统计	第20-21页
第四章第一类循环类型的判定	第21-31页
4.1 第一类循环的定义及作用	第21-22页
4.1.1 第一类循环的定义	第21页
4.1.2 第一类循环判定对于覆盖测试中循环处理的意义	第21-22页
4.2 基于符号相关的第一类循环判定技术	第22-26页
4.2.1 循环控制变量	第22页
4.2.2 函数控制变量	第22-23页
4.2.3 符号执行简介	第23页
4.2.4 符号的操作	第23-24页
4.2.5 符号相关	第24-25页
4.2.6 第一类循环判定	第25-26页
4.2.6.1 算法描述	第25-26页
4.2.6.2 算法实现	第26页
4.3 实验结果	第26-28页
4.4 利用第一类循环判定结果加速循环选路	第28-29页
4.5 动态执行获得第一类循环执行路径	第29-30页
4.6 本章小结	第30-31页
第五章基于回溯法的路径选择	第31-42页
5.1 覆盖测试中的路径选择及其研究背景	第31页
5.2 回溯法路径选择	第31-39页
5.2.1 回溯法	第31-32页
5.2.2 回溯法路径选择	第32-33页
5.2.3 停止条件	第33页
5.2.4 接受条件	第33页
5.2.5 回溯条件	第33-35页
5.2.5.1 基于区间运算的不可达路径判断	第34页
5.2.5.2 达到循环次数上限回溯	第34-35页
5.2.5.3 丢失目标覆盖元素	第35页
5.2.6 路径扩展算法	第35-36页
5.2.7 实例分析	第36-38页
5.2.8 回溯法在MCDC选路中的应用	第38-39页
5.3 实验结果	第39-40页
5.4 本章小结	第40-42页
第六章边界值覆盖下的路径选择	第42-51页
6.1 研究背景和意义	第42页
6.2 结构测试中的边界值覆盖定义	第42-48页
6.2.1 语句边界值覆盖元素的定义	第42-43页
6.2.2 语句边界值的选路	第43-44页
6.2.3 扩展回溯法选路	第44页
6.2.4 表达式边界值的定义	第44-45页
6.2.5 表达式边界值选路	第45-48页
6.3 实例分析	第48-49页
6.4 实验结果分析	第49-50页
6.5 本章小结	第50-51页
第七章总结与展望	第51-54页
7.1 论文总结	第51-52页
7.2 进一步的研究	第52-54页
参考文献	第54-56页
致谢	第56-57页
作者攻读学位期间发表的学术论文	第57页

本篇论文共57页，点击这进入下载页面。

更多论文
覆盖测试中路径选择算法的设计与实
使用超细TiH₂粉末制备超
基于判断逻辑的空指针引用模式检测
高性能Al-Sn基轴承合金的制备及性能
基于程序变异的C代码故障注入器的研
新型钨钢复合材料的制备、微观组织
一种自动化测试系统中为I/O建模及约
发布订阅系统中消息投递性能与可靠
带式烧结机尾部回车道台车起拱控制
基于函数建模的面向路径自动打桩方
马来西亚登嘉楼州龙运高硫铁矿除硫
C++类成员内存泄漏模式研究及检测方
面向同轴对位微装配的装配力与系统
基于B2B电子商务平台的会员管理系统
内齿轮齿廓偏差测量方法的研究
基于B2B大宗商品平台中交易系统的设
树脂结合剂金刚石工具性能的研究
移动外勤管理应用中工作管理子系统
强电磁下陶瓷结合剂CBN复合材料的性
轻量级的分布式实时系统节点状态发
高精度圆体成形车刀的设计及有限元
移动家政服务应用中信息管理和服务
不锈钢lCrl8Ni9Ti切削刀具粘结破损
智能交通管控平台中数据分析子系统
可转位镶刃钻头切削性能的研究
TSM应用开发测试平台的设计与实现
激光宽带熔覆双侧送粉头设计及试验
基于SaaS模式的即时通信平台的设计
17-4PH不锈钢固溶与合金化激光复合
面向SaaS平台的快速部署系统的设计
高压磨料水射流切割硬脆材料理论及
基于POMDP的对话管理系统研究与实现
掩膜作用下金属表面飞秒激光烧蚀及
基于云的协同项目管理平台的研究与
飞秒激光可控弯曲结构加工新方法及
基于PaaS的科技文献服务的研究与实
基于非接触供电技术的超声振动辅助
基于迭代框架的并行图挖掘平台的研
316L不锈钢和TC4钛合金光内送丝增材
SaaS平台下知识库构建及文档版本控
盘状群电极大长径比微小孔电解加工
喷丸强化数值仿真与试验研究
基于用户体验的虚拟实务课程软件仿
超声波滚压光整加工技术研究
虚拟实务课程中硬件仿真操作研究与
慢走丝电火花加工工艺参数优化研究
基于Flex的虚拟实验平台研究
耳轴式数控回转工作台虚拟样机的关
基于知识库的实时协作文本编辑的研
数控机床进给系统的可靠性设计研究
信息系统框架中工作流引擎的设计及
基于WebSocket的消息推送系统设计与
整体叶轮的数控编程及加工过程的仿
基于OpenESB的企业信息集成方法研究
数控机床加工精度可靠性研究
一种高效信息系统功能建模方法研究
TH6920滑枕挠曲变形的耦合补偿研究
支持多平台的应用引擎技术研究
重型机床用数控平旋盘的热特性与静
手机APP采集和分发系统的设计与实现
基于FANUC系统卧式加工中心自动换刀
基于web的仪器共享平台的研究与设计
基于NX二次开发的五轴加工刀具路径
基于B/S架构的信息系统通用框架设计
典型复杂异型微小型结构件的加工工
分布式通信基础设施中服务容器管理
超重型数控镗车床镗杆的结构优化研
事件驱动的SOA业务流程建模与执行的
三轴数控平台轨迹规划算法研究
云化业务平台中业务自动部署的设计
基于叠层式压电陶瓷电主轴振动主动
可视化跨平台移动应用开发环境的设
基于元动作单元的数控机床可靠性分
IaaS云平台下虚拟计算资源管理框架
面向能耗的数控加工刀具直径及工艺

覆盖测试论文路径选择论文循环分析论文不可达路径论文
版权申明：目录由用户huagui-**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved