Методологическое обеспечение автоматизированного обнаружения ошибок и недокументированных возможностей в программном обеспечении

Цель диссертационного исследования - увеличение скорости анализа программного обеспечения, представленного в виде бинарных файлов; обеспечение целенаправленного тестирования заданных участков программного кода; подтверждение достоверности найденных ошибок и недокументированных возможностей. В результате разработаны научно-методологический аппарат и программно-аппаратный комплекс на его основе, в совокупности представляющие научно обоснованное технологическое решение задачи выявления ошибок и НДВ в бинарном ПО, внедрение которого вносит существенный вклад в обеспечение и развитие информационной безопасности Российской Федерации.