DocumentCode :
1797970
Title :
A method of function modeling in accurate stub generation
Author :
Chi Yao ; Ya-wen Wang ; Feng Li ; Yun-zhan Gong
Author_Institution :
State Key Lab. of Networking & Switching Technol., Beijing Univ. of Posts & Telecommun., Beijing, China
fYear :
2014
fDate :
15-17 Nov. 2014
Firstpage :
1022
Lastpage :
1026
Abstract :
The behavior of a function call statement is decided by its called function, and it is hard to judge the purpose simply from the function call statement. How to simulate the function call is the key part for the accurate symbolic execution. This paper puts forward a path-sensitive function modeling method, in which the definition of stub function is generated according to the calling context. Experiments show that this method is effective and the execution path is consistent with the target path.
Keywords :
program testing; accurate stub generation; function call statement; path-sensitive function modeling method; program testing; stub function; Abstracts; Algorithm design and analysis; Analytical models; Context modeling; Numerical models; Semantics; Testing; function modeling; path-sensitive; symbolic execution; unit testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Systems and Informatics (ICSAI), 2014 2nd International Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-1-4799-5457-5
Type :
conf
DOI :
10.1109/ICSAI.2014.7009435
Filename :
7009435
Link To Document :
بازگشت