Процесс анализа элемента программного обеспечения для выявления различий между существующими и необходимые условия (то есть, ошибок) и оценить возможности программного элемента.