Современные методы статического и динамического анализа программ для автоматизации процессов повышения качества программного обеспечениядиссертация