1. процесс сравнения двух уровней спецификации средств вычислительной техники или автоматизированных систем на надлежащее соответствие. 2. сопоставление действия, процесса или продукта с относящимися к ним требованиями или спецификациями. Например, сопоставление спецификации с моделью политики безопасности или сравнение объектного кода с исходным кодом.