Вид работ по исследованию программы, направленный на выявление отличий между ее реально существующими и требуемыми свойствами [из 3.20 ГОСТ Р 56939–2016]