基于并行符号执行的多源多目标逼近测试方法

摘要

本发明涉及一种基于并行符号执行的多源多目标逼近测试方法，首先，在面向安全分析的中间语言表示基础上，检测定位输入函数source节点和危险函数sink节点；然后，利用程序控制流图，分析source节点到sink节点的调用路径集合，建立多源source节点到多目标sink节点的映射关系；根据具有映射关系的节点对，计算source节点出度和sink节点入度；最后，以出度和入度为优先级度量依据，按优先级实现并行任务调度，以实施多源到多目标的逼近测试。本发明较好解决了传统随机路径调度的并行测试具有的盲目性低效率问题，大大提高了关键目标覆盖的命中率和软件测试分析的效率。