|
анализ исходных текстов программ динамический
Совокупность методов контроля (не) соответствия реализованных и декларированных в документации функциональных возможностей обеспечения программного, основанных на идентификации фактических маршрутов выполнения функциональных объектов с последующим сопоставлением маршрутам, построенным в процессе проведения анализа статического [ РД ПО-1 ].
[http://www.glossary.ib-bank.ru/solution/1] |
EN |
|
FR |
|
|
Тематики
- информационная безопасность
|