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