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

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