面向复杂路径约束的线性拟合求解方法改进与扩展研究



面向复杂路径约束的线性拟合求解方法改进与扩展研究

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

面向复杂路径约束的线性拟合求解方法改进与扩展研究

论文目录
摘要	第1-6页
Abstract	第6-14页
第一章绪论	第14-20页
· 研究背景	第14-15页
· 研究现状	第15-17页
· 本文工作	第17-18页
· 论文结构	第18-20页
第二章面向路径的测试数据生成技术	第20-32页
· 程序控制流图与路径约束	第20-22页
· 分支函数与程序插桩	第22-23页
· 面向路径的测试数据生成方法	第23-27页
· 基于符号执行的方法	第23-25页
· 动态方法	第25-26页
· 基于启发式搜索的方法	第26页
· 混合执行方法	第26-27页
· 基于线性拟合函数的方法	第27-30页
· 线性拟合函数	第27页
· 线性拟合函数驱动的面向路径测试数据生成	第27-30页
· 本章小结	第30-32页
第三章面向路径测试数据生成的线性拟合方法的改进	第32-58页
· 并行化的多变量交叉搜索	第32-43页
· 多变量交叉搜索	第33-35页
· 路径覆盖度评估	第35-36页
· 并行化测试数据生成	第36-40页
· 基于程序依赖分析的搜索空间缩减	第40-43页
· 自适应的路径搜索区间扩展与细化	第43-51页
· 有方法中的区间扩展与细化	第43-44页
· 基于拟合曲线的预测	第44-46页
· 约束拟合区间的扩展与细化	第46-49页
· 路径搜索区间的扩展与细化	第49-51页
· 基于改进线性拟合求解方法的测试数据自动生成	第51-57页
· 算法说明	第51-53页
· 实例展示	第53-57页
· 本章小结	第57-58页
第四章面向路径约束的线性拟合求解方法的扩展	第58-74页
· 数组类型输入变量	第58-64页
· 处理方法	第59-61页
· 实例展示	第61-64页
· 跨模块函数调用	第64-72页
· 复合表达式的控制流分离	第65-68页
· 面向程序控制流优化的相关路径集合生成	第68-72页
· 本章小结	第72-74页
第五章原型工具与实例研究	第74-90页
· 原型工具设计	第74-76页
· 工具结构	第74-76页
· 工具界面	第76页
· 实验分析一：与改进前方法的对比实验	第76-80页
· 基准程序	第76-77页
· 实验设定	第77-79页
· 实验结果评估	第79-80页
· 实验分析二：混合执行方法相关实验	第80-86页
· 相关工具与方法介绍	第80-81页
· 基准程序	第81-82页
· 实验设定	第82-83页
· 研究问题	第83-86页
· 实验分析三：算法参数有效性实验	第86-89页
· 实验设定	第86页
· 实验结果评估	第86-89页
· 本章小结	第89-90页
第六章总结与展望	第90-92页
· 本文工作总结	第90-91页
· 未来工作	第91-92页
参考文献	第92-100页
攻读硕士学位期间的学术成果	第100-102页
致谢	第102-103页

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

更多论文
面向复杂路径约束的线性拟合求解方
基于Storm的实时日志分析系统的设计
移动网络游戏服务器设计与实现
基于三支决策的海量数据分类方法研
基于柱搜索和神经网络的组块分析研
一种绕过平行影子栈的ROP攻击方法的
基于区块链的IMIX传输系统的设计与
基于Android平台的光学字符识别应用
无线接入层移动客户端SDK设计与实现
NFV网络功能快速切换的方法
基于IEEE 802.3at标准的PoE系统设计
拓路客特色旅游网站UI设计方案
基于Tesseract的电子票据云平台的设
支持QoS关联和时间约束的移动感知服
基于量化交易系统及数据服务的众包
基于改进粒子群算法的多机器人编队
基于增量高斯混合模型的在线密度估
基于变分不等式的支持向量机算法研
智慧养老人体生理参数采集系统
分级基金折溢价与套利策略研究
基于搜索熵的强化学习搜索策略分析
基于Spark的大规模分布式矩阵运算算
基于智能手机传感器的用户地铁轨迹
最少门结构的循环神经网络及其应用
多模型融合学习方法与应用
传播学视角下的弹幕亚文化研究
传统电视频道广告经营模式转型研究
媒体不实报道对公司的负面影响——
南京报兴达报刊发行公司发展战略研
融合新闻的现实困境与实现可能——
彭子冈新闻特写研究
南京城市宣传片对城市品牌的构建研
图像传播学视角下的《时代画报》图
媒介融合背景下国产网络热播剧叙事
中国传播学的知识框架及知识地图绘
国内主流报纸暴恐报道的差异分析—
我国民营教育出版数字化转型研究—
我国儿童文学图书重复出版现象研究
我国国家数字出版基地发展现状及策
面向用户的招聘类网站评价研究
移动互联时代下企业人际网络的构建
档案影视作品中档案资源的开发研究
科技口述历史档案采集项目研究
A市房地产企业税务风险管理的研究—
基于Vine-Copula-EVT方法的多资产投
食品生产经营企业对恶意打假行为的
我国商业银行信用风险建模与管理—
我国房地产私募股权基金研究
基于适应性交易量预测的VWAP算法交
房价与居民收入互动关系研究—一个
城建领域国有控股上市公司资产重组
金地集团南京公司中层管理人员能力
物业协作型家庭洗衣电子商务服务平
城市土地利用结构变化对用地效率的
B2C电子商务下基于顾客感知-期望的
城镇化对房地产市场供需作用的实证
公共租赁住房政策研究——以南京市
基于计算实验的监管政策对食品安全
城市专业化、城市化与我国保险业的
双重集聚效应与中国企业对外直接投
OECD国家的税收结构对经济增长影响
品牌建设对我国经济增长的影响研究
基于MO-PSO模型的常州市土地利用优
生鲜产品中的供应商选择问题研究
AB集团DX农场固定资产内部控制案例
种植业农产品质量的内控体系研究—
基于土地发展权的农村征地补偿研究

测试数据自动生成论文面向路径测试论文线性拟合函数论文非线性约束论文动态符号执行论文
版权申明：目录由用户cxly_ilov**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved