基于区间运算的测试用例生成加速技术研究



基于区间运算的测试用例生成加速技术研究

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

基于区间运算的测试用例生成加速技术研究

论文目录
摘要	第1-5页
ABSTRACT	第5-10页
第1章绪论	第10-16页
1.1 研究背景	第10-11页
1.2 国内外研究现状	第11-13页
1.3 研究内容	第13-14页
1.3.1 区间运算对C语言库函数的处理策略	第13页
1.3.2 迭代判定区间一致性策略	第13页
1.3.3 基于变量相关性的跳跃式回溯	第13-14页
1.3.4 约束变换策略	第14页
1.4 论文结构	第14-16页
第2章相关技术介绍	第16-24页
2.1 黑盒测试和白盒测试	第16-17页
2.1.1 黑盒测试	第16-17页
2.1.2 白盒测试	第17页
2.2 面向路径的测试用例生成	第17-19页
2.3 动态测试和静态测试	第19-20页
2.3.1 动态测试	第19页
2.3.2 静态测试	第19-20页
2.4 代码测试系统CTS	第20-22页
2.5 基于分支限界的测试用例自动生成框架	第22-24页
第3章库函数约束求解策略	第24-36页
3.1 问题描述	第24-26页
3.1.1 问题提出	第24-25页
3.1.2 问题定义	第25-26页
3.2 算法描述和实现	第26-28页
3.3 实例解析	第28-31页
3.3.1 实例1	第28-29页
3.3.2 实例2	第29-31页
3.4 实验	第31-35页
3.4.1 实验环境	第31-32页
3.4.2 实验结果和分析	第32-35页
3.5 本章小结	第35-36页
第4章迭代判定区间一致性策略	第36-44页
4.1 问题描述	第36-37页
4.1.1 问题提出	第36-37页
4.1.2 问题定义	第37页
4.2 算法描述和实现	第37-39页
4.3 实例解析	第39-40页
4.4 实验	第40-42页
4.4.1 实验环境	第40页
4.4.2 实验结果和分析	第40-42页
4.5 本章小结	第42-44页
第5章基于变量相关性的跳跃式回溯	第44-52页
5.1 问题描述	第44-45页
5.1.1 问题提出	第44-45页
5.1.2 问题定义	第45页
5.2 算法描述和实现	第45-47页
5.3 适用场景及优点分析	第47-48页
5.4 实验	第48-51页
5.5 本章小结	第51-52页
第6章约束变换策略	第52-58页
6.1 问题描述	第52-53页
6.1.1 问题提出	第52页
6.1.2 问题定义	第52-53页
6.2 算法描述和实现	第53-56页
6.3 实验	第56-57页
6.4 本章小结	第57-58页
第7章总结与展望	第58-60页
7.1 工作总结	第58页
7.2 下一步工作	第58-60页
参考文献	第60-62页
致谢	第62-64页
攻读硕士期间发表的学术论文目录	第64页

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

更多论文
基于区间运算的测试用例生成加速技
基于适配体的酶分子检测新方法
在线合同签约系统的设计与实现
DNA聚合酶与引物/模板的相互作用对
面向业务流程的数据操作服务自动生
移动随诊服务提供系统的设计与实现
基于FTICR分子碰撞截面积的测量与分
基于HTML5和PHP的移动微商城及其后
毛细管电泳法筛选克伦特罗的核酸适
基于SDN的AppStore平台设计与开发
基于酶放大的核酸检测研究
基于XML的JS页面生成系统的设计与实
基于改进型定量数学模型的Q-PCR仪软
基于web的考试系统制题工具的研究与
NPCs凋亡吞噬对新生神经元的可塑性
基于移动互联网的智能快件信报投递
低氧应激下甘肃鼢鼠脑和肝中抗氧化
基于Spark的分布式实时视频流处理平
神经细胞的图形适应机制研究
机载软件质量评价模型研究与应用
听觉诱发电位的一种刺激序列优化技
单元测试中支持位运算的测试用例生
听皮层对声音要素的层反应特性
软件持续交付平台的研究与实践
基于车载感知网格的公交信息服务系
泛素蛋白酶体系统介导的蛋白质降解
电梯模拟器系统的分析与设计
斑马鱼下丘脑腹侧nr0b1神经元投射谱
基于LBS的网格化社区管理系统的设计
大麻素受体激动剂对大鼠视网膜Mül
一种基于抽象语法树的同源性比对的
去甲肾上腺素β受体在小鼠内侧前额
试题智能提取技术的研究与实现
拟南芥BIPP1蛋白磷酸酶负调控油菜素
基于POMDP的口语对话系统研究与实现
嗜热四膜虫中染色体浓缩调节因子RC
O2O背景的互联网餐饮用户行为的模型
拟南芥对SO₂的转录响应
面向测控仿真的高精度计算机计时器
花青素合成调控基因作为直观标记的
能耗管理系统数据采集机制的设计与
Btg4在小鼠卵母细胞和早期胚胎发育
焊管厂成品库管理系统开发及应用
基于Liferay架构的自贡市城乡管理执
植物miRNA及其功能的预测方法研究与
基于Web的协同编辑系统中资源管理子
拟南芥AT2G17350纯合突变体的研究
无锡新区电子团务管理系统的分析与
多种微生物功能基因的预测和分析
基于Android平台的LBS电子商务系统
基因组GC含量与碱基、密码子和氨基
基于HTML5的网络拓扑管理系统的研究
细菌复制链偏差及其内在机制
大型仓库无线仓储管理软件系统设计
特异表达甘薯蔗糖转运蛋白基因IbSU
网络教学平台及P2P视频点播系统的设
乌头内生菌Herbaspirillum sp.Acon
基于Peach的Fuzz策略优化研究与实现
拟南芥和玉米incRNAs的比较基因组分
基于WordPress平台的CMS系统设计实
云招标系统中业务管理功能模块的设
基于工作流的CATI系统的后台支持
无尾两栖类MHCⅠ类基因的多样性及其
Android5.0环境下企业移动应用软件
Leptin及其受体基因与峨眉树蛙抱对
面向特定领域的敏感信息系统审核技

软件测试论文用例自动生成论文区间运算论文分支限界论文
版权申明：目录由用户fengni**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved