关键词:  , Concolic测试； 符号执行； 函数摘要； 路径爆炸

Abstract:

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.

Key words: