文章基本信息

标题：A Target-Oriented Path Generation Method based on Concolic Testing
本地全文：下载
作者：Zhang Xuzhou . ; Gong Yunzhan ; Wang Yawen 等
期刊名称：International Journal of Security and Its Applications
印刷版ISSN：1738-9976
出版年度：2016
卷号：10
期号：6
页码：155-170
DOI：10.14257/ijsia.2016.10.6.16
出版社：SERSC
摘要：The space explosion caused by loop structure in path exploration makes it difficult to find a target-oriented path during code coverage testing. In this paper, a method named target-oriented concolic testing(TOCT) is introduced to tackle the problem of generating a path to cover a target in a loop structure. First, the static analysis method static prefix path search (SPSS) is used to generate a prefix path. Solving the constraints on the prefix path obtains a test case, with which concrete execution is carried out as an input. Meanwhile the execution trace is captured. The trace is used to unfold the loop into a feasible path. Finally SPPS is adopted again for the next prefix-path until a feasible path containing the target is achieved. Experimental results show that the proposed strategy reached a higher coverage when the targets are in loop structure and demonstrate that it is applicable in engineering.
关键词：automated software testing; handling loop; path generation; concolic ; testing