On Wed, Jul 11, 2012 at 08:35:48PM +0400, "Артём Н." wrote: > On 11.07.2012 04:18, Stanislav Maslovski wrote: > > Они есть. Этого уже достаточно. > Недостаточно. Достаточно было бы, если бы их на практике было просто > применить... Часто ли это применяется и просто ли?
Применяется в mission-critical systems, насколько часто и насколько просто - вопрос скорее к тем, кто этими системами плотно занимается. > > Нет. Повторюсь: построение *полного* теста в общем случае эквивалентно > > решению > > исходной программной задачи. Как ты собираешься доказывать правильность > > самого теста? Ещё одним тестом? И так до бесконечности? > М... Ну да. Про тест я не подумал. Но, если тест - просто тупой перебиратель > результата..? В таком случае, и сама программная задача тупа в той же мере, в какой туп ее *полный* тест. > >>> Вот тебе элементарный пример: докажи теорему Пифагора *тестами* =) > >> Возможно повысить уверенность в том, что алгоритм доказательства теоремы > >> реализован правильно, используя тесты. > > Это ещё что за новая сущность? "алгоритм доказательства теоремы"? > Я именно про конкретный случай. Есть доказательство по опр. алгоритму. > Тесты позволят повысить уверенность в нём. Я - пас :) Желающие продолжить - велкам. -- Stanislav -- To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20120711225506.GA5187@kaiba.homelan
