набор методов, которые позволяют найти наибольшее количество ошибок за короткое время.

мера того, насколько просто создать критерий проверки для системы и ее компонентов и выполнить эти тесты, чтобы определить, отвечает ли система данному критерию.

сложность алгоритма проверки решения.

контроль системы с точки зрения отдела качества.

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