Automating Software Testing Using Program Analysis

Automating Software Testing Using Program Analysis

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 const...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE software 2008-09, Vol.25 (5), p.30-37
Hauptverfasser: Godefroid, P., de Halleux, P., Nori, A.V., Rajamani, S.K., Schulte, W., Tillmann, N., Levin, M.Y.
Format: Artikel
Sprache:eng
Schlagworte:
Application software
Applied sciences
Automated
Automatic programming
Automatic Test Generation
Automatic testing
Automation
Code standards
Computer bugs
Computer programs
Computer science
control theory
systems
Debugging
Dynamic tests
Error analysis
Exact sciences and technology
Inspection
Power generation
Product testing
Program Verification
Programming
Programming languages
Reliability
Research and development
Security
Software
Software development
Software engineering
Software testing
Software tools
Solvers
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0740-7459
1937-4194
DOI:10.1109/MS.2008.109