【摘 要】
：
符号执行作为一种重要的程序分析方法,可以为程序测试提供高覆盖率的测试用例,以触发深层的程序错误。首先,介绍了经典符号执行方法的原理;然后,阐述了基于符号执行发展形成
【基金项目】
：
国家自然科学基金项目(91430214)资助
论文部分内容阅读
符号执行作为一种重要的程序分析方法,可以为程序测试提供高覆盖率的测试用例,以触发深层的程序错误。首先,介绍了经典符号执行方法的原理;然后,阐述了基于符号执行发展形成的混合测试、执行生成测试和选择性符号执行方法,同时,对制约符号执行方法在程序分析中的主要因素进行了分析,并讨论了缓解这些问题和提高符号执行可行性的主要方法;随后,介绍了当前主流的符号执行分析工具,并比较分析了其优缺点;最后,总结并讨论了符号执行的未来发展方向。
其他文献
<正>新课改强调师生的共同互动、共同成长。那么,新课改背景下的教师该如何顺应这场新课改呢?我觉得在学生成长的同时,教师也必须加强自身的专业成长。什么是教师专业成长?教
<正>语文课到底该如何上,许多大方之家都有独到见解,但我更欣赏南京市著名特级教师孙双金的观点:语文课,要上出"语文味"。我理解,孙老师所谓的"语文味",是指语文课程所具有的
良好的计算能力是小学生学习数学的基础,而口算又是计算能力的关键,因而,在小学阶段注重学生口算能力的培养关系学生数学素养的提高。笔者结合自身教学经验,探讨了提高小学生
<正>时代在发展,社会在进步,学生的思想也日益活跃。班主任的工作很普通,但他们肩负的责任重大,因为班主任的人格学识足以潜移默化影响学生一辈子,甚至班主任的一句不经意的
研究发现,大部分老年人的某些生活习惯、细节是有共性的,而某些习惯对于居住空间提出了特定要求,需要设计者在设计中给与关注。
职业教育的首要特点就是要培养学生的理论联系实践的能力。本文主要论述了运用较多的讲解方法——情景教学法,指出此种方法的优势与存在的问题,以促进高职英语教学。
<正>素质教育背景下的理想阅读课程体系主要包括单篇课文阅读、群文阅读、整本书阅读这三种模式。其三者互为补充、相互促进、缺一不可,其中的群文阅读是一种近年发展起来的
<正>写作能力是语文综合能力的具体体现。可是要想使学生真正提高写作能力,养成良好的写作习惯,一个学期单凭课本上每单元规定的那六七篇作文是远远不够的,必须平常进行一些
新课程教材要求学生掌握必要的口算技能与技巧,培养学生解决生活中实际问题的能力。口算的熟练程度直接影响着笔算的速度和准确性,学生口算能力的提高,不仅需要教师从教材出
目的探讨CLIP、JIS、中国分期3种肝癌分期方法对肝癌肝切除患者的预后价值。方法选取我院2013年1月至2017年10月收治的125例肝癌肝切除患者,使用CLIP、JIS、中国分期3种肝癌