RUS  ENG
Full version
JOURNALS // Proceedings of the Institute for System Programming of the RAS // Archive

Proceedings of ISP RAS, 2021 Volume 33, Issue 3, Pages 41–50 (Mi tisp597)

An automated framework for testing source code static analysis tools

D. M. Gimatdinovab, A. Y. Gerasimovb, P. A. Privalovb, V. N. Butkevichb, N. A. Chernovab, A. A. Gorelovab

a Higher School of Economics
b Huawei Technologies

Abstract: Automated testing frameworks are widely used for assuring quality of modern software in secure software development lifecycle. Sometimes it is needed to assure quality of specific software and, hence specific approach should be applied. In this paper, we present an approach and implementation details of automated testing framework suitable for acceptance testing of static source code analysis tools. The presented framework is used for continuous testing of static source code analyzers for C, C++ and Python programs.

Keywords: automated testing, quality assurance, source code static analysis.

Language: English

DOI: 10.15514/ISPRAS-2021-33(3)-3



© Steklov Math. Inst. of RAS, 2025