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