Methodology for Quality Assurance of Automatic Program Analysis

Student: Gimatdinov Damir

Educational Programme: System Programming (Master)

Final Grade: 7

Year of Graduation: 2021

The work is devoted to the method of testing and comparing tools for static analysis of programs. A method for comparing and testing static analysis of programs is proposed. A study of the quality of tools for static analysis of programs in the Python language was carried out, while the applicability of the method for comparing tools for analysing programs with source code, as in Python language as in other languages, was theoretically proved. The architecture of the environment for comparison and testing of automatic program analysis tools is described, the quality of the result of evaluating the program analysis tools is theoretically substantiated. An environment has been developed that allows in automatic mode to assess the quality of the automatic analysis of programs for errors and vulnerabilities in the execution time and verification of program formatting.

Full text (added May 21, 2021)

Student Theses at HSE must be completed in accordance with the University Rules and regulations specified by each educational programme.

Summaries of all theses must be published and made freely available on the HSE website.

The full text of a thesis can be published in open access on the HSE website only if the authoring student (copyright holder) agrees, or, if the thesis was written by a team of students, if all the co-authors (copyright holders) agree. After a thesis is published on the HSE website, it obtains the status of an online publication.

Student theses are objects of copyright and their use is subject to limitations in accordance with the Russian Federation’s law on intellectual property.

In the event that a thesis is quoted or otherwise used, reference to the author’s name and the source of quotation is required.

Search all student theses