Automating Software Testing Using Program Analysis
- 19 August 2008
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software
- Vol. 25 (5) , 30-37
- https://doi.org/10.1109/ms.2008.109
Abstract
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.Keywords
This publication has 9 references indexed in Scilit:
- Automating Software Testing Using Program AnalysisIEEE Software, 2008
- Proofs from testsPublished by Association for Computing Machinery (ACM) ,2008
- Compositional dynamic test generationPublished by Association for Computing Machinery (ACM) ,2007
- Framework for instruction-level tracing and analysis of program executionsPublished by Association for Computing Machinery (ACM) ,2006
- DARTPublished by Association for Computing Machinery (ACM) ,2005
- Righting softwareIEEE Software, 2004
- A dynamic approach of test data generationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Model checking for programming languages using VeriSoftPublished by Association for Computing Machinery (ACM) ,1997
- Symbolic execution and program testingCommunications of the ACM, 1976