| 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.
|
|
|
