Automating software testing using program analysis

被引：39

作者：

Godefroid, Patrice

de Halleux, Peli

Nori, Aditya V.

Rajamani, Sriram K.

Schulte, Wolfram

Tillmann, Nikolai

Levin, Michael Y.

机构：

[1] Microsoft Research, University of Liege, Sart Tillman

[2] Microsoft Research Catholic, University of Louvain, Louvain

[3] Microsoft Research India, Indian Institute of Science, Bangalore

[4] Microsoft Research India, University of California, Berkeley, CA

[5] Microsoft Research, University of Ulm, Ulm

[6] Microsoft Research, Technical University of Berlin, Berlin

[7] Microsoft Center for Software Excellence, University of Pennsylvania, Philadelphia, PA

来源：

IEEE SOFTWARE | 2008年 / 25卷 / 05期

关键词：

Automatic test generation; Computer bugs; Instruments; Performance analysis; Program verification; Reliability; Runtime; Security; Software; Software testing; Testing;

D O I：

10.1109/MS.2008.109

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

During the last 10 years, code inspection for standard programming errors has largely been automated with static code analysis. During the next 10 years, we expect to see similar progress in automating testing, and specifically test generation, thanks to advances in program analysis, efficient constraint solvers, and powerful computers. Three new tools from Microsoft combine techniques from static program analysis, dynamic analysis, model checking, and automated constraint solving while targeting different application domains. © 2008 IEEE.

引用

页码：30 / 37

页数：8

共 14 条

[1]

[Anonymous], 1997, POPL

[2]

BALL T, 2001, P 8 INT SPIN WORKSH, P103

[3]

Beckman N, 2008, ISSTA, P3, DOI DOI 10.1145/1390630.1390634

[4]

BHANSALI S, 2006, P 2 INT C VIRT EX EN, P154

[5]

Forrester JE, 2000, USENIX ASSOCIATION PROCEEDINGS OF THE 4TH UNSENIX WINDOWS SYSTEMS SYMPOSIUM, P59

[6]

Godefroid P., 2007, SIGPLAN Notices, V42, P47, DOI [10.1145/1190216.1190226, 10.1145/1190215.1190226]

[7]

GODEFROID P., 2008, AUTOMATED WHITEBOX F

[8]

GODEFROID P., 2005, P ACM SIGPLAN C PROG, P213, DOI [DOI 10.1145/1064978.1065036, DOI 10.1145/1065010.1065036]

[9]

HAMADI Y, 2006, DISOLVER DISTRIBUTED

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

KING, JC .

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

← 1 2 →