Для сравнения, в настоящее время программисты пишут модульные тесты, чтобы убедиться в соответствии программы определенным характеристикам. Они тестируют программу с максимально возможным количеством вводов, проверяя каждый раз соответствие ввода указанным спецификациям. Например, чтобы проверить, правильно ли программа сортирует список чисел по возрастанию, она будет проверена с помощью ввода [2, 3, 1]. Результат должен выдать: [1, 2, 3], в противном случае, программа будет считаться недействительной.