【摘 要】
：
为了解决代码覆盖反馈指标无法有效解决程序状态覆盖的问题,提出一种以源码中特定代码结构的状态覆盖率作为反馈指标的模糊测试方法,引入了目标结构状态覆盖分布的概念。通过
【基金项目】
：
国家自然科学基金(61702540),湖南省自然科学基金(2018JJ3615)
论文部分内容阅读
为了解决代码覆盖反馈指标无法有效解决程序状态覆盖的问题,提出一种以源码中特定代码结构的状态覆盖率作为反馈指标的模糊测试方法,引入了目标结构状态覆盖分布的概念。通过对特定结构进行插桩,统计目标结构状态分布,依据结构状态分布筛选种子并进行能量调度,以实现程序状态覆盖均匀化。该方法实现了原型系统SFL,并与现存的代码覆盖导向的模糊测试方法AFL进行了对比试验。实验结果表明,文中的方法对程序状态覆盖更充分,能够加速特定类型漏洞的发现速度。
其他文献
目的运用中国医院药物警戒系统(Chinese Hospital Pharmacovigilance System,CHPS)对皮下注射国产硼替佐米的相关药品不良事件(adverse drug event,AE)实施主动监测。方法用C
为了解决现有联合式加密图像可逆数据隐藏方法中存在的数据提取误码问题,并提高此类方法的数据嵌入容量,提出了一种兼具自纠错和内容隐私保护功能的新算法。该算法在图像加密前通过预处理生成纠错数据并以可逆方式自嵌入到图像下采样像素中,图像加密后只需保留或翻转其中各非采样像素分组的若干位最低有效位即可嵌入数据,图像解密后可100%正确提取嵌入数据并无失真恢复原图像。实验结果表明,该算法在解决联合式方法数据提取
［摘要］校园环境建设与人才培养联动日趋受到重视。文章通过对南宁职业技术学院实践“五化”校园环境建设理念，创新推进校园环境规划建设、环境文化建设、人文实训环境建设、环境信息化建设、环境技防建设的案例分析和应用，证明了该理念的探索和实践是成功的，对促进环境育人功能发挥具有一定的应用和推广价值。 ［关键词］高职 校园环境 人才培养 关系研究 ［作者简介］翁爱萍（1966- ），女，浙江永嘉人，南宁职
[摘要]数学，作为一门自然基础学科，具有很强的智力和应用价值，也是人类文化的重要构成部分。文章从大学数学教学融入数学文化的必要性入手，对大学数学文化进行了多角度分析，并提出了大学数学融入文化教育的一些教学策略。 [关键词]数学文化 数学教学 教学策略 [作者简介]王少彧（1977- ），女，河北邯郸人，邯郸学院数学系，讲师，研究方向为数学教育和应用统计；张艳霞（1968- ），女，河北邯郸人，
为探讨不同年限耕作措施下土壤有机碳(SOC)和全氮(TN)在土壤剖面中的分布和累积特征,了解采样深度和计算方法对SOC和TN储量评估结果的影响,基于山东桓台(5a)和河北栾城(17a)耕作定位试验,设置翻耕(CT)、旋耕(RT)和免耕(NT)三个处理(秸秆均还田),分析土壤剖面中(桓台60cm;栾城50cm)土壤容重(rb)、SOC和TN浓度的分布特征,并比较不同土层深度下"固定深度法(FD)"和
我国是一个具有悠久历史的文明古国,中华文化源远流长,而手工传统造纸是我国独有的一种民族传统文化,有一千多年的历史。随着社会的不断发展,我国民族传统文化在一定程度上面
蓝藻运动是蓝藻积极适应外部环境的体现。根据蓝藻种类及运动方式不同可将蓝藻运动概括为三类:即蓝藻泳动、蓝藻蹭动、蓝藻滑动。文章综述了蓝藻运动的相关研究进展,对蓝藻不同运动方式进行描述,并对蓝藻各种运动方式可能产生机制进行了总结,列举了未来研究蓝藻运动需要解答的问题。
【摘要】目前高校应用管理会计甚少，随着改革的不断深入，管理会计在高校的推广应用将大有作为；通过做好相关的预测、决策和控制，可以把管理会计的理论和方法应用于高校经济活动的全过程；找出管理会计在高校推广应用的阻碍因素，并提出相应的措施，建立具有高校特色的管理会计应用体系，有利于高校的持续健康发展。 【关键词】管理会计 高校 应用 越来越多的企业开始将管理会计理论运用于内部经营管理实践，并取得一
《中小学信息技术课程指导纲要（试行）》中明确指出：信息技术课堂上要渗透爱国主义教育。然而，在日常信息技术课堂中，教师经常会忽略这一点，教学总是侧重于信息能力的培养上。其实，信息技术课程不仅是让学生了解和掌握信息技术基本知识和技能，具备获取信息、传输信息、处理信息和应用信息的能力，它还肩负着教育和培养学生良好的思想品德及正确的人生观、世界观的重任。为此，我详细分析了教材，找到了诸多爱国主义教育的有效