Re: Несколько вопросов вразброс
On Wed, Jul 11, 2012 at 08:35:48PM +0400, "Артём Н." wrote:
> On 11.07.2012 04:18, Stanislav Maslovski wrote:
> > Они есть. Этого уже достаточно.
> Недостаточно. Достаточно было бы, если бы их на практике было просто
> применить... Часто ли это применяется и просто ли?
Применяется в mission-critical systems, насколько часто и насколько
просто - вопрос скорее к тем, кто этими системами плотно занимается.
> > Нет. Повторюсь: построение *полного* теста в общем случае эквивалентно решению
> > исходной программной задачи. Как ты собираешься доказывать правильность
> > самого теста? Ещё одним тестом? И так до бесконечности?
> М... Ну да. Про тест я не подумал. Но, если тест - просто тупой перебиратель
> результата..?
В таком случае, и сама программная задача тупа в той же мере, в какой
туп ее *полный* тест.
> >>> Вот тебе элементарный пример: докажи теорему Пифагора *тестами* =)
> >> Возможно повысить уверенность в том, что алгоритм доказательства теоремы
> >> реализован правильно, используя тесты.
> > Это ещё что за новая сущность? "алгоритм доказательства теоремы"?
> Я именно про конкретный случай. Есть доказательство по опр. алгоритму.
> Тесты позволят повысить уверенность в нём.
Я - пас :) Желающие продолжить - велкам.
--
Stanislav
Reply to: