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