| program analysis: from qualitative analysis to quantitative analysis (nier track) |
| Liu Sheng; Zhang Jian
|
| 2011
|
| 会议名称 | 33rd International Conference on Software Engineering, ICSE 2011
|
| 会议录名称 | Proceedings - International Conference on Software Engineering
|
| 页码 | 956-959
|
| 会议日期 | 21-May-20
|
| 会议地点 | Waikiki, Honolulu, HI, United states
|
| 收录类别 | EI
|
| 出版地 | United States
|
| ISSN | 2705257
|
| ISBN | 9781450304450
|
| 部门归属 | (1) State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China; (2) Graduate University, Chinese Academy of Sciences, China
|
| 摘要 | 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. |
| 关键词 | Software Engineering
|
| 主办者 | Assoc. Comput. Mach., Spec. Interest Group Softw.; Eng. (ACM SIGSOFT); IEEE Computer Society; Technical Council on Software Engineering (TCSE)
|
| 内容类型 | 会议论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/14245
|
| 专题 | 基础软件与系统重点实验室
|
推荐引用方式
GB/T 7714 |
Liu Sheng,Zhang Jian. program analysis: from qualitative analysis to quantitative analysis (nier track)[C]. United States,2011:956-959.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论