| Russian | English |
| автоматизированный анализ программы | automated program analysis (Alex_Odeychuk) |
| автоматический статический анализ программ | automated static analysis (ssn) |
| анализ поведения программы | analysis of the program behavior (ssn) |
| анализ программ | program analysis (корпорации AdaCore Alex_Odeychuk) |
| анализ программы | walkthrough (чтение исходного текста программы и анализ выполняемых ею действий (dry run). Syn: code walkthrough, structured walkthrough ssn) |
| анализ программы | code review (ssn) |
| анализ программы до выполнения | static analysis (ssn) |
| анализ, спецификация и описание последовательных программ | analysis, specification and description of sequential programs (ssn) |
| Большинство программистов боятся даже дружеского критического анализа, поскольку понимают, что создаваемые ими программы, как правило, далеки от совершенства | Most programmers dread peer review because a lot of the code they whip out from day to day is a bit embarrassing (ssn) |
| дружеский критический анализ программы | peer code review (проверка программного продукта коллегами разработчика этого продукта с целью обнаружения ошибок и возможностей совершенствования. К категории подобных проверок относятся техническая экспертиза (technical review), инспекторская проверка (inspection), сквозной контроль (walkthrough) ssn) |
| инструментальное средство анализа программ | program analysis tool (Alex_Odeychuk) |
| Моделирование угроз является командной работой, охватывающей руководителей проекта/программы, разработчиков и специалистов по тестированию, и представляет основную задачу анализа безопасности, осуществляемую на этапе проектирования программных средств | Threat modeling is a team exercise encompassing program/project managers, developers and testers and represents the primary security analysis task performed during the software design stage (см. ISO/IEC 27034-1:2011 ssn) |
| программа, пригодная для анализа | analyzable program (корпорации AdaCore Alex_Odeychuk) |
| программа статического анализа | static analysis program (Alex_Odeychuk) |
| статический анализ алгоритмов и программ | static program analysis (Alex_Odeychuk) |
