Динамический анализ исходных текстов программ
Динамический анализ исходных текстов программ
— совокупность методов контроля (не)соответствия реализованных и декларированных в документации функциональных возможностей программного обеспечения, основанных на идентификации фактических маршрутов выполнения функциональных объектов с последующим сопоставлением маршрутам, построенным в процессе проведения статического анализа. | [Приказ председателя Гостехкомиссии России от 04.06.1999 № 114 «Защита от несанкционированного доступа к информации. Часть 1. Программное обеспечение средств защиты информации. Классификация по уровню контроля отсутствия недекларированных возможностей»] |