Совокупность методов контроля (не)соответствия реализованных и декларированных в документациифункциональных возможностейПО, основанных на структурном анализе и декомпозиции исходных текстов программ [из 2.8 РД ГТК Защита от НСД. ПО СЗИ. Классификация по уровню контроля отсутствия недекларированных возможностей]