基于模型的变异测试工具的设计与实现



基于模型的变异测试工具的设计与实现

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

基于模型的变异测试工具的设计与实现

论文目录
摘要	第1-7页
ABSTRACT	第7-11页
第一章绪论	第11-19页
1.1 研究背景及意义	第11页
1.2 软件测试的研究与发展	第11-14页
1.2.1 软件测试内涵的发展	第11-13页
1.2.2 软件测试的研究与发展	第13-14页
1.3 变异测试的研究与发展	第14-17页
1.3.1 变异测试理论的研究与发展	第14-15页
1.3.2 变异测试工具的介绍	第15-17页
1.4 主要研究内容	第17-18页
1.5 论文的组织结构	第18-19页
第二章相关技术知识介绍	第19-31页
2.1 基于模型的测试相关介绍	第19-23页
2.1.1 模型和基于模型的测试	第19-22页
2.1.2 基本模型介绍	第22-23页
2.1.3 基于模型测试的特点分析	第23页
2.2 变异测试技术相关知识介绍	第23-29页
2.2.1 变异测试中两个基本假设	第23-24页
2.2.2 基于代码的变异测试	第24-29页
2.2.3 基于代码的变异评分	第29页
2.3 测试的充分性	第29-30页
2.4 本章小结	第30-31页
第三章基于模型的变异测试方法	第31-45页
3.1 基于图的模型的生成	第31-35页
3.1.1 事件序列图建模方法和测试序列的生成	第31-34页
3.1.2 有限状态机和状态表	第34-35页
3.2 MBMT的实施和基于模型的变异算子	第35-38页
3.2.1 MBMT的实施	第35-36页
3.2.2 基于模型的变异算子	第36-37页
3.2.3 MBMT中变异算子与以往研究中变异算子的对比	第37-38页
3.3 基于模型的变异体	第38-43页
3.3.1 变异体类型	第38-40页
3.3.2 变异体分类	第40-43页
3.4 基于模型的变异测试方法的应用	第43-44页
3.4.1 在回归测试中的应用	第43页
3.4.2 源代码不可用场景下的应用	第43-44页
3.5 本章小结	第44-45页
第四章基于模型的变异测试工具与案例分析	第45-59页
4.1 yEd和基于模型的变异测试工具	第45-47页
4.2 工作流程以及实现	第47-53页
4.2.1 模型验证	第48-49页
4.2.2 测试用例生成和执行	第49-51页
4.2.3 有向图的GraphML描述	第51-52页
4.2.4 有向图的数据结构表示	第52-53页
4.3 案例与分析	第53-57页
4.3.1 SUT介绍	第53-54页
4.3.2 对SUT建模	第54-55页
4.3.3 结果及分析	第55-57页
4.4 本章小结	第57-59页
第五章总结与展望	第59-61页
5.1 总结	第59-60页
5.2 展望	第60-61页
参考文献	第61-65页
致谢	第65-67页
攻读学位期间发表的学位论文	第67页

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

更多论文
基于模型的变异测试工具的设计与实
安卓恶意软件检测及其恶意行为分析
互联网不良网页图像检测方法研究
基于多模式匹配算法的软件源代码检
面向受限应用的资源发现与定位的研
基于应用描述的Android应用异常行为
基于音乐内容语义的推荐算法的研究
基于Docker平台的安全信息管理的研
基于iOS平台的直播推流客户端的设计
线下零售业数据挖掘研究与实现
基于变换域的多源图像融合算法改进
物联网中基于双向认证的安全通信协
面向大数据发布的保留格式加密技术
面向互联网新闻的重点人物识别及相
基于可视化组件的多媒体播控系统的
基于UI的应用异常行为分析的研究与
实时面部追踪和动画的动态表情回归
基于Soot的Android应用安全性检测工
基于LSTM的自然语言生成技术研究与
真实世界表情识别研究
基于移动数据的旅游行为模式挖掘
iOS应用隐私泄露检测技术的研究与实
基于概率图模型的社区发现算法研究
细粒度文本主题检测技术的研究与应
安卓应用隐私评分技术的研究与实现
视频图像拼接系统的研究与实现
面向用户在线评论的情感倾向分析
基于LLVM的Android应用代码保护技术
基于增强现实技术的虚实交互设计研
基于主观感知的真实图像质量评价方
低频词分布式词表示研究与应用
基于差分隐私保护的医疗数据分析系
个性化金融投资模型的研究与实现
Android应用本地代码的安全加固及安
金融类APP的密码应用安全研究与实现
基于linux的可信计算平台研究与实现
基于JavaFX的树图生成系统的研究
匿名通信系统流量伪装技术研究
面向函数调用关系的软件度量及可视
基于视觉信息的推荐系统研究
电商平台通用APP原型与定制化页面的
基于Android的电商平台通用客户端的
基于特征融合的小物体目标检测研究
基于动态分析的Android恶意软件检测
基于Spark的分布式聚类算法研究及其
基于NDN的家庭能源管理系统的设计与
组件化电商平台iOS客户端的设计与实
基于数字水印和图像纹理特征的版权
基于本体论的会员管理系统的研究与
基于状态的android内核漏洞挖掘技术
交互设计工具的改进与实现
基于人类移动特性的分布式位置管理
基于ThinkPHP框架的网络安全演练竞
基于BPM的航天设备信息管理系统及安
基于多重安全的行业认证培训考试系
基于休闲游大数据平台的客流调度方
基于区块链技术的交易信息存储与查
基于区块链的物联网设备位置信息存

软件测试论文基于模型的测试论文变异测试论文变异算子论文有向图论文
版权申明：目录由用户gdw**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved