Средства и методы разработки

Первое. Я же сказал, что "первоначальная оценка" правильности программы. Это как реакция на то, что появляются глюки при оптимизации ;) Не отменяет дальнейшее функциональное тестирование, а просто индикация того, что на данный момент разработки явных ошибок нет.