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 条
  • [31] Automating software evolution
    Hearnden, D
    Bailes, P
    Lawley, M
    Raymond, K
    [J]. 7TH INTERNATIONAL WORKSHOP ON PRINCIPLES OF SOFTWARE EVOLUTION, 2004, : 95 - 100
  • [32] AUTOMATING THE IMPORTATION OF SOFTWARE
    EGGERT, PR
    [J]. USENIX WORKSHOP PROCEEDINGS : SOFTWARE MANAGEMENT, 1989, : 115 - 118
  • [33] Complex Software Testing Analysis using International Standards
    Masuda, Satoshi
    Nishi, Yasuharu
    Suzuki, Kazuhiro
    [J]. 2020 IEEE 13TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2020, : 241 - 246
  • [34] Using the SEEM software for laser SET testing and analysis
    Pouget, Vincent
    Fouillat, Pascal
    Lewis, Dean
    [J]. RADIATION EFFECTS ON EMBEDDED SYSTEMS, 2007, : 259 - +
  • [35] Testing software components using boundary value analysis
    Ramachandran, M
    [J]. PROCEEDINGS OF THE 29TH EUROMICRO CONFERENCE: NEW WAVES IN SYSTEM ARCHITECTURE, 2003, : 94 - 98
  • [36] AutoDEVS: A Methodology for Automating Modeling and Simulation Software Development and Testing of Interoperable Systems
    Salas, Manuel C.
    Zeigler, Bernard P.
    [J]. JOURNAL OF DEFENSE MODELING AND SIMULATION-APPLICATIONS METHODOLOGY TECHNOLOGY-JDMS, 2009, 6 (01): : 33 - 52
  • [37] Requirements analysis for automating product testing in aerospace manufacturing
    Elsouri, Mohammed
    Gao, James
    Wilson, Alister
    Martin, Lancelot
    Pyee, Robin
    [J]. 10TH CIRP SPONSORED CONFERENCE ON DIGITAL ENTERPRISE TECHNOLOGIES (DET 2020) - DIGITAL TECHNOLOGIES AS ENABLERS OF INDUSTRIAL COMPETITIVENESS AND SUSTAINABILITY, 2021, 54 : 222 - 226
  • [38] Automating Information Security Assessments Using Intelligent Software Agents
    Martin, Clemens
    Nasr, Rania
    Hoersken, Mark
    Fuechtler, Tobias
    [J]. 2016 14TH ANNUAL CONFERENCE ON PRIVACY, SECURITY AND TRUST (PST), 2016,
  • [39] Unit Crowdsourcing Software Testing of Go Program
    Luo, Run
    Huang, Song
    Wang, MeiJuan
    Hu, JinChang
    Du, JinHu
    [J]. 2021 IEEE 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2021), 2021, : 337 - 346
  • [40] Educational Software Program for Teaching Modal Testing
    Jimenez, Felipe
    Consuelo Huerta, Ma
    [J]. COMPUTER APPLICATIONS IN ENGINEERING EDUCATION, 2010, 18 (03) : 485 - 494
12345