【摘 要】
：
符号执行作为一种基本的程序分析技术,已被广泛应用于软件测试领域。研究表明,即使在现有的查询优化技术的支持下,约束求解也仍然是符号执行中最耗时的部分。猜测符号执行的
【机 构】
：
南京航空航天大学计算机科学与技术学院
论文部分内容阅读
符号执行作为一种基本的程序分析技术,已被广泛应用于软件测试领域。研究表明,即使在现有的查询优化技术的支持下,约束求解也仍然是符号执行中最耗时的部分。猜测符号执行的思想是将多次约束求解合并成一次求解,从而减少约束求解消耗的时间。但是,猜测的成功率受猜测深度和路径搜索方向的影响,尤其是路径搜索的方向在较大程度上决定了整体猜测的成功率。因此,引导路径搜索向成功率高的方向进行,对提高猜测符号执行的整体效率至关重要。在猜测符号执行的路径搜索过程中引入蚁群算法,根据节点条件信息初次确定分支路径的权重,在多次迭代中根据
其他文献
在工业控制环境下,计算机中经常需要提供CAN总线接口,基于CPCI总线的智能CAN模块用于扩展ComapctPCI计算机系统的CAN总线接口;该模块通过CPCI总线与主机通讯,通过CAN总线与外
此软件针对辽河油田测井公司引进的俄罗斯过套管测井仪器而特别编制的数据预处理软件，软件突出发挥了C#语言的编程优势，综合了GDI＋绘图、文件读写操作和数据库的读写操作等数据
位置服务（Location-based Service,LBS）已经成为日常生活的重要组成部分。用户在享受位置服务带来的巨大便利的同时,也面临着巨大的隐私泄露风险。针对传统的位置隐私保护中K-
针对制造网格的组织结构和工作流程复杂,传统的基于Globus的GSI认证机制在制造网格中的认证效率低下,从而降低整个网格资源的利用率的问题;提出一种改进的GSI认证模型,将用户
由于介质损耗角正切值（tgδ）是反映电容型绝缘设备的重要参数，实际测量计算时很容易因误差而淹没真实值的问题，提出了基于小波变换和Labview相融合的绝缘设备在线监测方法，利用小
天波超视距雷达（OTHR）的目标分类识别方法与常规雷达有着很大的区别;由于目标对不同频率的入射波所返回的信号不同,可直接用合理配置在几个频率点上的RCS数据进行目标分类识别;
针对当前以太网控制器体积大、接口电路复杂和实现难度大等问题，文章采用体积小、功能强大的CP2200作为以太网的通信接口控制芯片；以温度／压力监测系统为背景平台，介绍CP2200的功
通过分析现有车载导航系统存在的主要问题，提出了基于Web Service的“中心服务式”车辆导航服务系统的整体架构；在此基础上，讨论了服务器端数据和服务管理机制等车辆网络导航系