[Coutty]

VladimirB, не подумайте чего, я просто студент))
Мне просто интересны детали сертификации (то, что во время лекций было не интересно спрашивать).

Greyman, спасибо за подробности!

Но ведь это весьма непросто - вот так вот провести сертификацию (если смотреть со стороны экспертов). Скажем, даже 100 продуктов в год - это по три дня на продукт для одного эксперта или по месяцу, если экспертов десяток (а ведь больше сотни требуется сертифицировать...). Разве можно за такое время проанализировать код вручную? Тот же "АИСТ", похоже, не справляется.
Ладно, если один и тот же продукт многократно надо проверять, а если разные?
Есть ли тогда вообще смысл проверок? Это же больше формальность получается, за которую надо отдать много денег и времени =(