【摘 要】
：
针对符号执行中存在的路径爆炸问题,提出一种冗余路径删除方法,该方法利用Hoare逻辑中的后置条件引导符号执行以生成有效的测试用例。首先利用最弱前置条件来计算已探索的路
论文部分内容阅读
针对符号执行中存在的路径爆炸问题,提出一种冗余路径删除方法,该方法利用Hoare逻辑中的后置条件引导符号执行以生成有效的测试用例。首先利用最弱前置条件来计算已探索的路径,然后通过后置条件引导符号执行以识别程序中多个共享的路径后缀,并在测试用例生成时进行消除。最后通过对多个基准程序进行实验,结果表明论文方法在一定程度上能够减少程序的路径探索数目和执行时间,削弱了符号执行中的路径爆炸问题。
其他文献
时光总是无情，一路疾驰，从不等待。中国民营经济经过30多年的发展，随着众多中青年企业家不断走向商业舞台中央，一些第一代企业家开始渐渐淡出。在刚刚过去的2017年，更是有鲁冠球等
通过运用归纳总结与纵向对比的方法,分析晋城市利用外资的现状,发现晋城市利用外资存在的问题,并针对这些存在的问题提出相应的可行性对策,使晋城市利用外资能更好发展,给经
信息时代的来临和网络、多媒体的发展为现代图书馆的发展创造了机遇，同时也提出了新的要求本文主要分析了现代图书馆读者服务的几个方面，同时指出了一些具体的做法，以期实现现代
地址跳变是SDN网络主动防御的典型技术,针对普通的地址跳变规则容易被破解的问题,论文提出了基于混沌序列的SDN地址跳变的方案。混沌序列具有很好的随机性和不可预知性,利用
当前卫生体制机构的不断改革和医院内部改革的不断深入,医院的管理将起着举足轻重的作用,如果医院有良好的管理可以使医院向着良性軌道上发展.静脉药物配置中心(Pharmacy Int
本文对当前我国特殊教育体育教师严重短缺、专业化水平低等问题进行分析，阐述了特殊教育体育教师队伍建设发展的建议与对策，为特殊教育体育教师队伍建设提供参考依据：
在经济科技高速发展的大环境下,新媒体在地方普通高校中扮演着重要角色。由于大学生媒介素养偏低、新媒体平台监管机制的不完善,导致思想政治教育模式传统守旧、主流思想政治
目的观察银锌霜治疗放射性核素32P敷贴用于血管瘤所致放射性皮肤损伤的效果。方法将30例放射性皮肤损伤患者随机分为试验组和对照组各15例。试验组采用银锌霜涂于创面治疗,对
2019年4月9日,温州著名品牌“报喜鸟”创始人之一、罗卡芙家纺董事长吴真生在上海遭遇交通事故,后经抢救无效,于当晚不幸去世。据报道,当天下午,吴真生乘坐汽车前往上海虹桥