载入中...
面向软件完整路径的测试用例生成技术研究
硕士博士毕业论文站内搜索
全站论文库
硕士博士论文库
普通期刊论文库
分类:
教育论文网
→工业技术论文→
自动化技术、计算机技术论文
→
计算技术、计算机技术论文
→
计算机软件论文
→
程序设计、软件工程论文
→
软件工程论文
面向软件完整路径的测试用例生成技术研究
论文目录
摘要
第1-7页
abstract
第7-12页
第一章 绪论
第12-16页
1.1 研究背景
第12-13页
1.2 研究目的和意义
第13页
1.3 研究内容
第13-15页
1.4 论文组织结构
第15-16页
第二章 背景知识和相关技术
第16-24页
2.1 功能测试系统
第16-17页
2.2 符号执行技术
第17-18页
2.3 测试用例自动生成技术
第18-19页
2.4 约束化简技术
第19页
2.5 SAT和SMT求解技术
第19-24页
第三章 约束化简
第24-36页
3.1 相关技术
第24-25页
3.1.1 抽象语法树
第24-25页
3.1.2 路径选择
第25页
3.2 问题描述
第25-26页
3.3 相关定义和概念
第26-29页
3.3.1 基本概念和定义
第26-27页
3.3.2 冗余约束判定准则和证明
第27-29页
3.4 算法和处理流程
第29-31页
3.4.1 约束树构建算法
第29-30页
3.4.2 约束化简算法和处理流程
第30-31页
3.5 实验
第31-34页
3.5.1 实验配置
第32页
3.5.2 约束规模对比实验及分析
第32页
3.5.3 约束求解时间对比实验及分析
第32-33页
3.5.4 测试用例生成时间对比实验及分析
第33-34页
3.6 本章总结
第34-36页
第四章 约束分段和约束段排序
第36-46页
4.1 问题描述
第36-37页
4.2 相关定义和概念
第37-39页
4.3 约束分段技术处理流程
第39-41页
4.4 约束段排序技术处理流程
第41-43页
4.5 实验
第43-45页
4.5.1 实验配置
第43-44页
4.5.2 实验结果和分析
第44-45页
4.6 本章总结
第45-46页
第五章 测试用例自动生成框架的设计与实现
第46-60页
5.1 测试用例自动生成框架总体结构
第46-47页
5.2 核心数据结构和接口
第47-52页
5.2.1 ExpressionNode结构和接口
第47-49页
5.2.2 Exprssion结构和接口
第49-52页
5.3 约束化简模块设计
第52-54页
5.3.1 约束化简模块处理流程
第52-53页
5.3.2 约束化简模块数据结构和接口
第53-54页
5.4 DPLL求解模块设计
第54-55页
5.4.1 DPLL求解模块处理流程
第54页
5.4.2 DPLL求解模块的数据结构和接口
第54-55页
5.5 理论求解器模块设计
第55-57页
5.5.1 理论求解模块处理流程
第55-56页
5.5.2 理论求解模块数据结构和接口
第56-57页
5.6 本章总结
第57-60页
第六章 总结与展望
第60-62页
6.1 工作总结
第60-61页
6.2 下一步工作
第61-62页
参考文献
第62-66页
致谢
第66-68页
攻读硕士期间发表的学术论文目录
第68页
本篇论文共
68
页,
点击这进入下载页面
。
更多论文
面向软件完整路径的测试用例生成技
基于文本信息的人物性格分析算法的
基于信任计算的边缘计算节点任务协
区块链网络中边缘计算资源分配机制
基于群智能算法的测试用例相关问题
跨模态检索关键技术研究
基于视频的植入广告识别系统设计与
面向旅游服务的智能标注及知识图谱
面向旅游服务的智能问答系统设计与
面向发动机的软件测试管理系统设计
基于微服务架构的数据分析平台的设
应答器小型化测试平台的设计与实现
基于CNN的手写数字识别与试卷管理系
定位数据属性挖掘与位置预测技术研
基于MQTT协议的通用电子标签系统
基于B/S模式的数据可视化系统的设计
基于k-means算法的云看护大健康服务
基于微信小程序的云看护健康管理系
基于mie磁共振的全介质彩色超表面研
基于激光雷达三维距离像的车辆目标
量子分类电路的设计实现及其在网络
基于四面椎体的360°全息成像系统设
学习行为数据共享接口与平台的设计
软件定义工业物联网中通信安全性的
人体运动参数预测子系统的设计与实
运动人物建模与驱动子系统的设计与
基于属性独立生成对抗网络的人脸属
基于点云配准的单目视觉多人增强现
基于区域特征的图像复制粘贴篡改行
基于Android的医疗健康助手
基于区块链的物联网分布式标识设计
基于主题搜索的校园用户行为挖掘系
基于源代码的全局溯源分析方法研究
C++静态分析中前端构建方法的研究与
复杂场景下的车牌检测识别系统研究
基于文本内容的不良短信息识别挖掘
基于防混淆语义的人体关键点的运动
面向氢能电池的数据分析平台的设计
基于序列到序列框架的知识图谱问答
流式大数据脱敏系统的设计与实现
基于模板挖掘的日志分类方法的设计
基于感兴趣区域特征表达的目标物精
异构云环境中资源调度算法的研究
边缘计算场景下实时目标检测系统研
面向用户评论的商品评估系统的设计
心脏健康评估系统的设计与实现
农作物科学育种管理系统的设计与实
面向医疗数据的可逆隐私保护系统的
基于用户行为分析的用户画像系统设
面向WebAR的三维模型分层压缩与动画
基于目标检测与跟踪的视频辅助标注
基于深度信息的运动视频采集与存储
基于微服务的水土共治监管服务平台
特定人群的健康数据管理系统的设计
应急救援自主定位系统的设计与实现
某云资源管理平台备份服务子系统的
个人健康管理系统的设计与实现
基于深度时空网络的地铁流量预测系
面向天基接入网的5G物联网信息采集
面向天基接入网络的5G用户管理系统
面向天基网络的虚拟网络功能管理系
页面智能生成研究及小程序应用
测试用例生成论文
约束化简论文
约束分段论文
版权申明
:目录由用户
llf1211**
提供,
www.51papers.com
仅收录目录,作者需要删除
请点击这里
。
|
设为首页
||
加入收藏
||
站内搜索引擎
||
站点地图
||
在线购卡
|
版权所有
教育论文网
Copyright(C) All Rights Reserved