Статический анализ исходных текстов программ

Статический анализ исходных текстов программ - Совокупность методов контроля (не) соответствия реализованных и декларированных в документации функциональных возможностей ПО, основанных на структурном анализе и декомпозиции исходных текстов программ

Источник:

Руководящий документ Защита от несанкционированного доступа к информации Часть 1. Программное обеспечение средств защиты информации Классификация по уровню контроля отсутствия недекларированных возможностей Введен в действие Приказом Председателя Гостехкомиссии России 4 июня 1999 г. № 114.