Артём Н. -> [email protected] @ Wed, 11 Jul 2012 20:35:48 +0400:
>>>>>> Можно 1000 раз успешно прогнать *все* >>>>>> комбинации входных переменных некой процедуры, а на 1001-м получить >>>>>> ошибку, например, из-за утечки памяти, или из-за переполнения >>>>>> какой-нибудь >>>>>> переменной-счётчика, которая не обнуляется между вызовами, и т.п. >>>>> Значит не были протестированы _все_ состояния. >>>> Задолбал! :) >>> Не, ну я здесь прав. ;-) >> Нет. Повторюсь: построение *полного* теста в общем случае эквивалентно >> решению >> исходной программной задачи. Как ты собираешься доказывать правильность >> самого теста? Ещё одним тестом? И так до бесконечности? АН> М... Ну да. Про тест я не подумал. Но, если тест - просто тупой АН> перебиратель результата..? Тогда программа - это тупой lookup в таблице. Раз все возможные результаты нам известны заранее. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
