基于过程间动态符号执行的C语言测试框架

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:wqfzqgkvbavba
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对C语言白盒测试用例自动生成问题,提出一套基于过程间的动态符号执行框架,建立基于Def-Use链和函数执行树的模型。以函数为单位进行约束收集,解决函数调用中实参和形参的符号统一问题;对过程间动态符号执行的SMART(systematic modular automated random testing)算法进行改进,利用其计算和使用函数摘要,提高动态符号执行的效率和可行性。该方案为C语言过程间测试自动化工具的实现提供了详细的解决方案。
其他文献
甲午战后,日本政府逐渐建立了一套针对中国留日公费生、自费生、推荐生、特约生的接受体系,以相对宽松的接受政策吸纳中国留学生,企图以此改善中国人的对日感情,辅助对华外交
我国的《普通高中数学课程标准(实验)》(以下简称《高中标准》)要求在高中学段开展数学建模活动,《高中标准》所提及的数学建模是面向所有学生的数学建模。相较于传统的数学
目的:建立短柄五加茎皮的HPLC指纹图谱及紫丁香苷含量的测定方法。方法:采用岛津C18(4.6 mm×250 mm,5μm)色谱柱,流动相为0.15%醋酸-水(A)和0.15%醋酸-乙腈(B),进行梯度洗脱
江泽民同志最近指出,从中央到地方要形成一个朝气蓬勃、奋发有为的领导层。他强调,选贤任能,关键是要建立科学的选人用人机制,进一步深化党政领导干部选拔任用制度改革。从各地的
期刊
古今汉字总共有多少?到目前为止,恐怕没人能给出精确的数字,因为这与字形标准的认定、统计方法等诸多因素有关。古今汉字的数量,总体上是逐步增加的,字数虽然不断增加,但汉字
期刊
为减少历史时间窗时空查询结果偏差,通过假定移动对象在连续位置更新间做匀速直线运动,获取该对象的近似轨迹函数,基于此函数提出简化的位置演进模型。由该模型求解对象轨迹
在种公牛日粮中添加二氢吡啶,饲喂量按每千克体重5mg计算。试验结果表明:试验组精子的活力、呼吸、^32pi摄入量、顶体完整率极显著地高于对照组,而精子的畸形率极显著地低于对照组。说明
为解决异构多核系统任务调度问题,提出一种混合静态调度算法——HSCGS (hybrid successor concerned genetic scheduling),该算法分为启发式算法和遗传算法2个阶段.第1阶段采用