Program Analysis: From Qualitative Analysis to Quantitative Analysis (NIER Track)

被引：0

作者：

Liu, Sheng ^{[1
]}

Zhang, Jian ^{[1
]}

机构：

[1] Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100864, Peoples R China

来源：

2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE) | 2011年

关键词：

program analysis; symbolic execution; execution probability; EXECUTION;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：956 / 959

页数：4

共 10 条

[1]

BALL T, 1993, SIGPLAN NOTICES, V28, P300, DOI 10.1145/173262.155119

[2] The Road Not Taken: Estimating Path Execution Frequency Statically [J].

Buse, Raymond P. L. ;

Weimer, Westley .

2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2009, :144-154

[3] Program Analysis as Constraint Solving [J].

Gulwani, Sumit ;

Srivastava, Saurabh ;

Venkatesan, Ramarathnam .

PLDI'08: PROCEEDINGS OF THE 2008 SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN & IMPLEMENTATION, 2008, :281-+

[4] SYMBOLIC EXECUTION AND PROGRAM TESTING [J].

KING, JC .

COMMUNICATIONS OF THE ACM, 1976, 19 (07) :385-394

[5]

Ma F., 2009, LNCS, V5663, P453

[6]

Nicholas D., 1978, LIT BIBLIOMETRICS

[7]

Sen K., 2005, ACM SIGSOFT Software Engineering Notes, V30, P263, DOI DOI 10.1145/1081706.1081750

[8]

Xu ZX, 2006, INT CONF QUAL SOFTW, P107

[9] A constraint solver and its application to path feasibility analysis [J].

Zhang, J ;

Wang, XX .

INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2001, 11 (02) :139-156

[10]

Zhang J., 2004, COMPSAC 04

← 1 →