线性拟合驱动的测试数据生成与输入区间预测研究

来源 :南京大学 | 被引量 : 0次 | 上传用户：ghtianli

【摘要】

：

满足正确性是软件高质量的基础,测试是目前保证软件正确性最主要的技术途径。面向路径测试技术针对程序路径覆盖准则,产生测试输入,驱动程序沿着目标路径执行。面向路径测试技术能够高效地发现程序中的错误,实现面向路径测试自动化能够极大地提高测试的效率,并降低成本。面向路径测试的难点之一在于对包含非线性计算和浮点数据的复杂路径约束求解。已有的线性拟合方法是一种基于动态执行生成测试数据的方法。它利用动态执行信息

【作者】

：

张辉

【出处】

：

南京大学

【发表日期】

：

2019年07期

【关键词】

：

面向路径测试复杂约束求解线性拟合函数统一计算设备架构CUDA 输入区间预测

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技术领域,包括主机、控制电路和计算机三部分组成,主机包括由棱镜。敏感膜敏感芯片、半导 Ue*M#

其他文献

政务公开助推“最多跑一次”——浙江江山公租房审核便民化

ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技

期刊

公租房申请人江山市“最多跑一次”政务公开浙江江山

三元复合驱溶液组分对P110钢腐蚀电化学性能的影响

采用电化学工作站测试P110油管钢在强碱（NaOH）三元复合驱（ASP）溶液中的腐蚀电化学行为,研究ASP中不同组分、不同含量对P110钢腐蚀行为的影响,用扫描电镜（SEM）和能谱仪（EDS）对P110钢在

期刊

P110钢三元复合驱腐蚀电化学性能

新型冠状病毒肺炎疫情下手术室应急护理管理

从术前准备、术中配合、术后终末处理等方面制定新型冠状病毒肺炎疫情期间手术应急护理管理措施,以保证手术室具有高效的应对能力,降低新型冠状病毒感染率,使手术医护人员在

期刊

新型冠状病毒新型冠状病毒肺炎急诊手术护理管理

人性化保护性约束在ICU护理管理的应用价值

目的对人性化保护性约束在ICU护理管理的应用价值予以分析。方法2018年5月至2019年7月,本院ICU所收治病患中挑选66例展开研究,依据护理方式差异分至两组,比对两组病患焦虑、

期刊

人性化保护性约束ICU护理管理

创新之城携手电子科技名校——记西安电子科技大学芜湖研究院的创新之路

2017年7月18日,在安徽省人民政府的见证下,芜湖市人民政府和西安电子科技大学(以下简称"西电")正式签订"联合共建西电芜湖研究院的战略合作协议",双方本着"优势互补、互惠互

期刊

研究院事业单位电子科技大学微电子产业高端人才微电子行业第三代半导体集成电路产业战略性新兴产业宽禁带半导体

母血β-hCG联合超声对前置胎盘合并胎盘植入的预测价值

目的探讨母血中β-hCG及超声对前置胎盘合并胎盘植入的预测价值并得出β-hCG预测前置胎盘合并胎盘植入的临界值(cut off值).方法收集2017年9月至2019年9月在承德市中心医院产

期刊

前置胎盘胎盘植入人绒毛膜促性腺激素(β-hCG)临界值(cutoff值)预测价值Placenta previaPlacenta implantati

重庆市永川区养兔业现状和发展趋势

重庆市永川区气候适宜,饲草资源丰富,肉兔养殖条件好。近几年随着农村产业结构的调整优化,肉兔产业逐步发展成了永川区农村经济发展的亮点和农民增收的主渠道之一,发展成效显

期刊

重庆市永川区肉兔产业养兔业现状和发展趋势

肿柄菊茎叶提取物除草活性的研究

采用培养皿滤纸法，以水田稗（Echinochloa Dryzoides）、玉米（Zea mays）、黄瓜（Cucumissativus）和鳢肠（Eclipta prostrata）为供体植物，测定肿柄菊（nthonia diversifolia）茎叶水提液的除草活

期刊

肿柄菊除草活性生物测定萜类物质

大型反力墙结构施工技术

某交通科研所结构实验结合楼设有反力墙结构。反力墙设置成"L"型,可以为平面的XY两个坐标提供反力,反力墙自身要有一定的强度和刚度,同时在受力过程中,墙体不至于出现倾斜、

期刊

反力墙模板支撑预埋件加载孔精度混凝土

不同类型缓蚀剂在含饱和CO2油田采出液中对P110钢的缓蚀性能研究

采用电化学腐蚀法测试咪唑啉类IMC-80-BH、有机胺类ZK682和有机磷类N582的缓蚀剂在常温下饱和CO2油田采出液对P110钢的缓蚀行为,用高温高压反应釜借助失重法和腐蚀形貌观察研

期刊

CO2腐蚀缓蚀剂电化学腐蚀高温高压

线性拟合驱动的测试数据生成与输入区间预测研究

其他学术论文