> -- budden писал(а):
> Для достаточно сложной программы и спецификация будет достаточно сложной. Т.е. получится, что просто программа написана не на процедурном ЯП, а на декларативном языке спецификаций.
Типичное возражение, но неправильное. Такое можно было бы утверждать, если бы конечная программа генерировалась по спецификации. И хотя такой метод и применяется дляисполняемыхспецификаций, то есть программ, написанных на другом языке, но речь не о таком подходе.
Чтобы людям было понятно, я использую такую упрощенную аналогию -  ошибки спецификаций не переносятся автоматически в программы так же, как ошибки тестов не переносятся в тестируемое приложение. Вы просто не сможете доказать соответствие программы некорректным спецификациям.

> -- Цитата:
> Ни те, ни другие не решают всех проблем и не могут служить основанием для полного отказа от отладки.А вот это и есть передёргивание, в котором критикатипичнойработы в пошаговом отладчике какосновыотладки и внедрения такого понимания сошколыотождествляется с критикой отладки как таковой, что уже неоднократно опровергалось.