Earticle

초록

영어

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.

목차

Abstract
 1. Introduction
 2. Possible Value Set and Necessary Value Set
 3. The Method of Path Feasibility Judgment
 4. Experiment
 5. Conclusion
 Acknowledgement
 References

키워드

저자

• Ya-Wen Wang [ State Key Laboratory of Networking and SwitchingTechnology,Beijing University of Posts andTelecommunications,Beijing, China, State Key Laboratory of Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China ]
• Ying Xing [ State Key Laboratory of Networking and SwitchingTechnology,Beijing University of Posts andTelecommunications,Beijing, China, Liaoning Technical University, Huludao, China ]
• Xu-Zhou Zhang [ State Key Laboratory of Networking and SwitchingTechnology,Beijing University of Posts andTelecommunications,Beijing, China ]

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  International Journal of Future Generation Communication and Networking

• 간기

  격월간

• pISSN

  2233-7857

• 수록기간

  2008~2016

• 십진분류

  KDC 505 DDC 605