Аннотация: Предложена методология поиска ошибок и недекларированных возможностей в программном обеспечении, основу которой составляют: графовая модель функционирования программного обеспечения, метод оценки достижимости базовых блоков программного обеспечения, механизм общих симуляций и метод точечного фаззинга, использующий данный механизм

Ключевые слова: информационная безопасность, программное обеспечение, поиск ошибок, методология, символьное исполнение, фаззинг-тестирование