声明
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。
国内刊号：11-1777/TP
国际刊号：1000-1239
发布日期:
作者：郭曦,王盼,
关键词：路径分析, 状态合并, 依赖条件, 符号执行, 约束求解,
程序分析的主要目标是对程序的性质进行研究，符号执行作为目前主流的分析方法在生成高效的测试用例集或提高路径覆盖率等方面发挥着重要的作用，其中路径条件表达式的提取以及约束求解是路径分析过程中的关键步骤.现有的路径分析方法普遍存在约束求解效率不高而导致的路径覆盖率较低的问题.由于符号执行引擎所采用的搜索策略不尽相同，在符号执行分析过程中存在状态合并的过程，该抽象过程可能导致产生不正确的测试用例.以提高路径分析效率为目标，提出一种高效的程序分析方法：首先对传统的符号执行树的表示方法进行改进，提取不同路径共享的符号表达式和路径约束条件以提高符号执行过程中状态合并的效率，然后采用隐式关联分析方法，产生逆向分析中的依赖条件集合，并给出基于依赖条件重构的算法以提高路径覆盖率.实验结果表明：相对于传统的状态合并以及符号执行方法，该方法有更为高效的状态合并效率以及更高的路径约束条件分析精度.
来源：2018年第10期
《计算机研究与发展》期刊编辑部
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。