期刊名称：International Journal of Future Generation Communication and Networking
印刷版ISSN：2233-7857
出版年度：2014
卷号：7
期号：3
页码：205-212
DOI：10.14257/ijfgcn.2014.7.3.19
出版社：SERSC
摘要：In program testing, the accurate information of path feasibility can improve the efficiency of static analysis. The dynamic judgment method of path feasibility needs to execute program, and the resultis usually not sound. On the basis of symbolic execution, this paper proposes a new static judgmentmethod, whichsimultaneouslycomputes two interval sets of each symbolic variable: possible value set and necessary value set. According to these range information, we can easily give the definitejudgment of a path: feasible, infeasible or uncertain. Experiment shows that the method is appropriate and efficient in case of the weakly relevant input.
