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