中文摘要：

在函数摘要的基础上提出了一种新的Concolic测试方法.该方法利用外部调用的函数摘要来避免多次测试外部调用引起的路径爆炸问题.在对外部调用进行Concolic测试后,将其返回结果和路径条件作为函数摘要.测试过程中调用同一外部调用时,该方法用函数摘要替代展开测试,避免了传统Concolic测试过程对外部调用重复测试的问题,缓解了调用次数增多和调用深度增加引起的路径爆炸问题.原型系统的实验结果表明,随着测试对象中函数数量的增加,传统Concolic测试路径数量可能出现指数型增长,而该方法中测试路径数量基本保持线性增长.

英文摘要：

Taking full advantage of function summary from interprocedural calls to get rid of the path explosion issue,a new Concolic testing method based on function summary is introduced.Function summary is generated by Concolic testing on interprocedural calls,it composes of the returned results and path conditions.Expansion test is replaced with function summary in the proposed method when dealing with the same interprocedural calls,that will prevent the repeated tests on interprocedural calls in traditional Concolic testing and thus improve the testing efficiency as well as mitigate the path explosion issue as the result of increased number of calls and growing depth of call stacks.Experiments of the prototype system indicates that the number of testing paths in the proposed method keeps linear growth along with increasement of the number of testing objects while the number of testing paths in the traditional Concolic testing grows exponentially.