Во всяком случае, я не слышал, чтобы сертификационные испытания какой-либо софтины включали в себя проверку исполнения требований блока ЗСВ. Там большинство требований выполняются автоматом (потому что ссылаются на ИАФ, УПД и РСБ), но есть несколько прям неприятных, требующих глубокого тестирования гипервизора