Статический анализ исходных текстов программ — a. совокупность методов контроля соответствия реализованных и декларированных в документации функциональных возможностей программного обеспечения, основанных на проверке исходных текстов программ. b. совокупность методов контроля соответствия реализованных и декларированных в документации функциональных возможностей программного обеспечения, основанных на структурном анализе и декомпозиции исходных текстов программ. c. совокупность методов контроля соответствия реализованных и декларированных в документации функциональных возможностей программного обеспечения, основанных на верификации исходных текстов программ.