Задачей ASSERT является проверка данных параметров во время исполнения программы, в то время как проверкой типов параметров занимается компилятор на этапе компиляции модуля КП.
> -- Info21 писал(а):
> Юнит-тесты это в модульной системе понятие ... ну, избыточное.Для каждого модуля пишутся тесты, и всё.Ведь каждый модуль представляет некую абстракцию, которая может отдельно и независимо от всего прочего тестироваться.Неконтрактное программирование -- это не программирование, а так ... чмо.Я детишкам в самом начале логики показываю фрагмент из "Леона":-- Проверь. Убедись, что это именно то, что тебе нужно.-- Я тебе доверяю.-- Не путай одно с другим, Леон!
ASSERT и есть проверка соответствия контракту, при нарушении которого программа завершается нештатным образом.