Title: | program analysis: from qualitative analysis to quantitative analysis (nier track) |
Author: | Liu Sheng
; Zhang Jian
|
Source: | Proceedings - International Conference on Software Engineering
|
Conference Name: | 33rd International Conference on Software Engineering, ICSE 2011
|
Conference Date: | 21-May-20
|
Issued Date: | 2011
|
Conference Place: | Waikiki, Honolulu, HI, United states
|
Keyword: | Software engineering
|
Publish Place: | United States
|
Indexed Type: | EI
|
ISSN: | 2705257
|
ISBN: | 9781450304450
|
Department: | (1) State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China; (2) Graduate University, Chinese Academy of Sciences, China
|
Sponsorship: | Assoc. Comput. Mach., Spec. Interest Group Softw.; Eng. (ACM SIGSOFT); IEEE Computer Society; Technical Council on Software Engineering (TCSE)
|
English Abstract: | We propose to combine symbolic execution with volume computation to compute the exact execution frequency of program paths and branches. Given a path, we use symbolic execution to obtain the path condition which is a set of constraints; then we use volume computation to obtain the size of the solution space for the constraints. With such a methodology and supporting tools, we can decide which paths in a program are executed more often than the others. We can also generate certain test cases that are related to the execution frequency, e.g., those covering cold paths. © 2011 ACM. |
Content Type: | 会议论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/14245
|
Appears in Collections: | 计算机科学国家重点实验室 _会议论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
program analysis from qualitative analysis to quantitative analysis (nier track).pdf(791KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
Liu Sheng,Zhang Jian. program analysis: from qualitative analysis to quantitative analysis (nier track)[C]. 见:33rd International Conference on Software Engineering, ICSE 2011. Waikiki, Honolulu, HI, United states. 21-May-20.
|
|
|