 |
| |||
| specification-based verification coverage (это мероприятия по проверке высокоуровневых функционалов и макроархитектурных определений. Включают в себя анализ средств ввода/вывода, типов используемых транзакций (в том числе взаимодействие между собой транзакций различных типов), а также преобразования данных ssn) | |||