![]() |
| |||
проверка правильности проектных решений | |||
проверка соответствия конструкции заданным требованиям; проверка соответствия проекта заданным требованиям | |||
верификация проекта ИС | |||
проверка правильности проектирования; проверка соблюдения проектного задания | |||
проверка конструкции (Проверка, проводимая на образце НКУ или его части для подтверждения соответствия конструкции требованиям конкретного стандарта на НКУ | |||
проверка соблюдения ТУ | |||
проверка соблюдения требований проектного задания (определение соответствия функционирования схемы (системы) в соответствии со спецификацией на неё. Методы верификации делятся на статические (см. formal verification) и динамические – с помощью прогона набора тестов ssn); верификация проекта (ssn) | |||
проверка конструкции |
design verification: 52 短语, 15 学科 |
信息技术 | 2 |
军队 | 8 |
大规模杀伤性武器 | 1 |
媒体 | 1 |
微电子学 | 3 |
技术 | 5 |
生产 | 6 |
电子产品 | 1 |
电气工程 | 1 |
研究与开发 | 2 |
编程 | 10 |
能源行业 | 7 |
自动化设备 | 2 |
航空 | 2 |
药理 | 1 |