Automating software testing using program analysis

被引：37
|
作者：
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
相关论文
共 50 条
  • [1] AUTOMATING SOFTWARE ANALYSIS AND TESTING USING A PROGRAM TRANSFORMATION SYSTEM
    KOTIK, GB
    MARKOSIAN, LZ
    [J]. PROCEEDINGS OF THE ACM SIGSOFT 89: THIRD SYMPOSIUM ON SOFTWARE TESTING, ANALYSIS, AND VERIFICATION ( TAV 3 ), 1989, 14 : 75 - 84
  • [2] Automating and Optimizing Software Testing using Artificial Intelligence Techniques
    Job, Minimol Anil
    [J]. INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2021, 12 (05) : 594 - 602
  • [3] Automating the software environment testing process
    Rauhvargers, Kriss
    Bicevskis, Janis
    [J]. DATABASES AND INFORMATION SYSTEMS, 2008, : 155 - 166
  • [4] Automating testing of protective relays using advanced visual test software
    Paduraru, C
    [J]. IEEE/PES TRANSMISSION AND DISTRIBUTION CONFERENCE AND EXHIBITION 2002: ASIA PACIFIC, VOLS 1-3, CONFERENCE PROCEEDINGS: NEW WAVE OF T&D TECHNOLOGY FROM ASIA PACIFIC, 2002, : 1738 - 1741
  • [5] AUTOMATING PROGRAM ANALYSIS
    HICKEY, T
    COHEN, J
    [J]. JOURNAL OF THE ACM, 1988, 35 (01) : 185 - 220
  • [6] Automating regression testing for evolving GUI software
    Memon, A
    Nagarajan, A
    Xie, Q
    [J]. JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE, 2005, 17 (01): : 27 - 64
  • [7] AUTOMATING PROGRAM ANALYSIS.
    Hickey, Timothy
    Cohen, Jacques
    [J]. 1600, (35):
  • [8] Automating software testing: A life-cycle methodology
    Dustin, E
    [J]. TOOLS 39: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS: SOFTWARE TECHNOLOGY FOR THE AGE OF THE INTERNET, 2001, 39 : 366 - 366
  • [9] Information extraction from documents for automating software testing
    Lutsky, P
    [J]. ARTIFICIAL INTELLIGENCE IN ENGINEERING, 2000, 14 (01): : 63 - 69
  • [10] Automating Software Citation using GitCite
    Chen, Leshang
    Davidson, Susan B.
    [J]. 2020 IEEE 36TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING (ICDE 2020), 2020, : 1754 - 1757
12345