Re: Несколько вопросов вразброс
Артём Н. -> debian-russian@lists.debian.org @ Wed, 11 Jul 2012 20:35:48 +0400:
>>>>>> Можно 1000 раз успешно прогнать *все*
>>>>>> комбинации входных переменных некой процедуры, а на 1001-м получить
>>>>>> ошибку, например, из-за утечки памяти, или из-за переполнения какой-нибудь
>>>>>> переменной-счётчика, которая не обнуляется между вызовами, и т.п.
>>>>> Значит не были протестированы _все_ состояния.
>>>> Задолбал! :)
>>> Не, ну я здесь прав. ;-)
>> Нет. Повторюсь: построение *полного* теста в общем случае эквивалентно решению
>> исходной программной задачи. Как ты собираешься доказывать правильность
>> самого теста? Ещё одним тестом? И так до бесконечности?
АН> М... Ну да. Про тест я не подумал. Но, если тест - просто тупой
АН> перебиратель результата..?
Тогда программа - это тупой lookup в таблице. Раз все возможные
результаты нам известны заранее.
Reply to: