A new modification of summary-based analysis method for large software system testing

A new modification of summary-based analysis method for large software system testing

The automated testing tools becoming a frequent practice require thorough computer-aided testing of large software systems, including system inter-component interfaces. To achieve a good coverage, one should overcome scalability problems of different methods of analysis. These problems arise from im...

Full description

Bibliographic Details
Main Authors: A. V. Sidorin, T. N. Romanova
Format: Article
Language:Russian
Published: MGTU im. N.È. Baumana 2015-01-01
Series:Nauka i Obrazovanie
Subjects:
C++
static code analysis
symbolic execution
interprocedural analysis
summary-based method
Clang Static Analyzer
Online Access:http://technomag.edu.ru/jour/article/view/219

Internet

http://technomag.edu.ru/jour/article/view/219

Similar Items