教育论文网

面向软件完整路径的测试用例生成技术研究

硕士博士毕业论文站内搜索    
分类:教育论文网→工业技术论文→自动化技术、计算机技术论文计算技术、计算机技术论文计算机软件论文程序设计、软件工程论文软件工程论文
面向软件完整路径的测试用例生成技术研究
论文目录
 
摘要第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