【摘 要】
：
传统混合执行测试方法无法对源代码不可见函数进行符号执行。针对该问题,将符号执行、分段式符号执行以及具体执行按需结合,提出一种分段式混合执行测试方法,将源代码不可见
【基金项目】
：
上海市自然科学基金资助项目（13ZR1413000）
论文部分内容阅读
传统混合执行测试方法无法对源代码不可见函数进行符号执行。针对该问题,将符号执行、分段式符号执行以及具体执行按需结合,提出一种分段式混合执行测试方法,将源代码不可见函数以分段式分析法截取为单独代码片段,结合动态执行和回归分析方法推导其相应的程序语义。为验证该方法的有效性,实现s CREST原型系统,并对5个应用广泛的开源系统进行测试。实验结果表明,该方法能够产生比传统方法覆盖更多分支数的测试数据。
其他文献
近年来,快递业一路“高歌猛进”,快递营业网点也如同雨后春笋,覆盖我国全部县级以上城市和近90%的乡镇。然而,在快递企业争相跑马圈地、快速扩张的同时,暴力分拣、延误损毁、
<正>企业社会责任概念自1953年提出以来,随着经济全球化的迅猛发展,企业履行社会责任逐步得到世界各国政府、组织的关注。随着我国经济全球化的推进,我国企业履行社会责任也逐步得到重视。近两年,为全面落实科学发展观,构建和谐社会,实现可持续发展,企
“科研、试验检测、技术服务是兵团公路科研所的三大业务板块。”新疆生产建设兵团公路科学技术研究所书记韩路说:“推进交通运输科技创新,为兵团交通运输科学发展服务是兵团
云龙水库是昆明市生活供水的重要生命线工程之一。2007年7月水库以上流域内及其周围连降4次大雨．造成了下游洪涝灾害，经济损失较大。本文在介绍云龙水库及其以上流域的基本情况
本文采用苏州大市自1956年以来的逐月降水观测数据，运用距平百分率（R）分析和GIS技术，对该地区近半个世纪来的降水变化特征及其空间分异规律进行研究。首先系统分析了1956-2006年
卷积神经网络模型的训练需要设计者指定大量模型参数,但因模型对各类参数的敏感度不一,导致实验效果不佳。针对上述问题,研究中文文本情感分析,以词向量维度、词向量训练规模
<正> 十、配制酒配制实例(一)植物药材配制酒这类药酒大多采用补益、活血、清热、化痰、祛风湿等类药物,经过修治以除去杂质使药材洁净,经加工粉碎,经切制以有利于将其有效成
科技型中小企业是市场经济条件下,科学技术知识向现实生产力转化的有效方式,是科技与经济双向互动的重要一环。科技型中小企业的发展一方面,可以使科学技术知识有效的促进国
氧化还原反应是化学反应中的主要内容，它基本上是年年出现在高考的试题中，题型以选择题和填空题为主．题目特点是结合实例判断反应类型、辨析有关概念、分析电子转移或进行方程式
不同元素的分组问题与分配问题和相同元素的分组问题与分配问题是中学数学教学中的一个难点,但它们又有本质上的区别,文章通过例题对这两类问题进行了具体的阐释,并且对不同