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...
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: | |
Online Access: | http://technomag.edu.ru/jour/article/view/219 |
Similar Items
-
Implementation of inter-unit analysis for C and C++ languages in a source-based static code analyzer
by: A. V. Sidorin
Published: (2015-01-01) -
A method for searching of C++ string accesses with an incorrect index
by: A. V. Sidorin
Published: (2016-01-01) -
Summary-based method of implementing arbitrary context-sensitive checks for source-based analysis via symbolic execution
by: A. . Dergachev, et al.
Published: (2018-10-01) -
Concurrent Interprocedural Dataflow Analysis
by: Zou, Di
Published: (2015) -
Detecting Interprocedural Infeasible Paths Based on Unsatisfiable Path Constraint Patterns
by: Honglei Zhu, et al.
Published: (2019-01-01)