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

Совокупность методов контроля (не) соответствия реализованных и декларированных в документации возможностей функциональных обеспечения программного, основанных на идентификации фактических маршрутов выполнения объектов функциональных с последующим сопоставлением маршрутам, построенным в процессе проведения анализа статического [ РД ПО-1 ].