程序测试输入的自动生成技术框架及其优化实现

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

【摘要】

：

在软件开发过程中,软件缺陷始终威胁着软件的安全性以及可靠性,并且随着软件规模越发庞大、程序设计越发复杂,这一问题也将变得越发严重。而正因为如此,“测试”作为业界中的主要有效应对手段,也就显得尤为重要。其中,相比较于通过人工方式生成测试输入,“程序测试输入自动生成”在成本方面有着无可比拟的优越性,并且已经被业界广泛投入使用。目前,具备程序测试输入自动生成能力的测试技术种类繁多,包括随机测试、蜕变测试

【作者】

：

曹阳

【出处】

：

南京大学

【发表日期】

：

2019年07期

【关键词】

：

程序测试输入的自动生成模糊测试动态符号执行

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

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

其他文献

职业生涯规划教育在民办高校学生就业能力培养中的应用

民办高校是高等教育重要组成部分,民办高校就业问题关系到社会稳定和发展。民办高校学生就业能力的培养关系到民办高校的就业质量和民办高校的长期发展。本文通过分析民办高

期刊

就业能力职业生涯规划教育人才培养民办高校

冰蓄冷技术的现状调查分析

冰蓄冷技术是目前实现电网削峰填谷主要方法之一,该项技术在世界上日渐成熟,正被世界各国广泛的应用于各个领域。在电力负荷较低时,采用电力制冰并以冷量储存,当电力负荷较高

期刊

冰蓄冷节约能源新技术

中日韩贸易便利化水平比较研究

2008年金融危机爆发以来,全球货物贸易总额及增长速度大幅下降,贸易保护主义抬头,贸易摩擦日益剧烈。在此背景下,以降低贸易成本、提高贸易效率为目的的新一轮贸易便利化改革

期刊

中日韩贸易便利化水平比较研究

高职护生实习前标准预防认知现状调查分析

[目的]了解高职护生对标准预防的认知情况,以期为实习前学校及医院培训提供参考。[方法]采用整群抽样方法对168名初进入临床实习的高职护生进行标准预防认知问卷调查。[结果]

期刊

高职护生标准预防认知

芽孢杆菌Sneb709控制番茄根结线虫病及其促生效果研究

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

期刊

解淀粉芽孢杆菌Sneb709南方根结线虫番茄杀线虫活性促生作用

无脚本应急演练发现护理人力资源调配流程问题

目的实施无脚本护理人力资源紧急调配演练,查找人力资源调配的延时环节,改进演练流程,以保证紧急情况下人力资源调配快速到位.方法采用无脚本应急演练方式,即在不告知演练

期刊

人力资源无脚本应急演练护理管理急救护理

云南省地理标志产品保护初探

会议

地理标志产品保护

基于SFA效率模型的财政支农对企业创新效率影响分析

以2011-2018年农业A股上市企业为研究对象,基于效率视角,运用SFA模型实证分析了财政支持对农业企业创新效率的影响效果。研究结论显示,财政资金的投入对企业创新效率的影响同

期刊

农业企业创新效率财政支持agricultural enterprisesinnovation efficiencyfinancial support

动点选取法的剖析

本文通过点的合成运动中动点系两种不同选法利弊的剖析，说明动点动系选取应该遵循的基本原则。

期刊

点合成运动动点动系

教学一得

<正> 思维是以概念为基点的,概念明确是诱发直觉思维的前提条件。数学是一门概念性、系统性很强的学科,概念与概念之间有着密切的联系。而直觉思维又要求学生善于灵活运用已

期刊

应用题百分数

程序测试输入的自动生成技术框架及其优化实现

与本文相关的学术论文