Earticle

초록

영어

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.

목차

Abstract
 1. Introduction
 2. Reformulation of Target Oriented Path Generation
  2.1. Definition of Path Generation Problem
  2.2. Scale of Search Space
 3. Target-Oriented Concolic Testing
  3.1. The Framework of TOCT
  3.2. Perfix-Path Generation by SPPS
  3.3. Successive Path Generation by CE
 4. Case Study
 5. Experimental Analyses and Empirical Evaluations
  5.1. Comparison Experiments
  5.2. Perform Evaluation
  5.3. Testing Projects in Engineering
 6. Conclusion
 Acknowledgements
 References

키워드

저자

• Zhang Xuzhou [ State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing 100876, China ]
• Gong Yunzhan [ State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing 100876, China ]
• Wang Yawen [ State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing 100876, China, State Key Laboratory of Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100190, China ]
• Xing Ying [ State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing 100876, China ]

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  International Journal of Security and Its Applications

• 간기

  격월간

• pISSN

  1738-9976

• 수록기간

  2008~2016

• 등재여부

  SCOPUS

• 십진분류

  KDC 505 DDC 605