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

"..у компиляторов есть свои уникальные баги семантических анализаторов, парсеров, линкеров и т.д..." - это #define Создателя. Все остальное в руках наших :) Не о том спорим! Конечно, тесты в реале никак не могут быть заменены синтетикой и моделированием. Наборот тоже верно! Вот вы хорошо упомянули про точки сбора критической информации. На самом деле это подтверждение моих слов! _Продумывать_ куда и какие маркеры ставить для сбора статистики - тут синтетика самое то. А вот собирать и анализировать, конечно, надо в реале. "Плюс синтетика искажает поведение багов типа "местный эффект"" а вот тут тоже поможет продумывание кода. Кайф синтетики в том, что весь проект перед тобой как на ладони. Крути его со всех сторон, изучай. Насчет "не знаю, где повисло" - дык надо понимать блок схему кода, который дебажишь. Может, я старомоден, но мне в таких ситуациях отладочной печати на COM порт всегда хватало в те времена, когда JTAG не было :) Покурив код, и расставив маркеры на гранях графа переходов, довольно быстро удавалось локализовать место засады. А дальше уже дело техники. "В рабочем стеке IP никто средства сбора такой статистики не внедряет" - глупость. Значит, выкинуть такой стек надо! А вот если памяти боевой системе не хватает для полноценного сбора такой статистики - так надо использовать правильные кристаллы :)))), а не впихивать все в 96к ОЗУ. Запаял кристальчик на 32Мбайта (хотя для боевого изделия и 2Мбайта девать некуда) - и собирай себе статистику. А затем анализируй. Только не глазками и ручками в самом супер-пупер дебугере, а скриптом! "Вкалывают роботы". Лично я вместо тупого тыркания с дебугером продпочту затратить время на анализ структуры программы, рисование графа ее переходов (обязательно с данными!), т.е. чтобы вкурить ее до полного понимания. После этого отлов самых расчудесатых чудес реальной системы - это уже ловкость рук, и никакого мошенничества :) "А как правильно писать под OC-и, я думаю обсудим в какой-нибудь более профильной ветке ;-)" - дык вроде самое профильное место... Реально JTAG помог однажды, когда дебажили плату с кривым портом uCOS, где стек прерываний был неверно настроен. Вот это была засада. Но она к логике программы не имела отношения. Я за что воюю? За то, чтобы отделить мух и котлеты. Чтобы логика жила своей жизнью, а аппаратно зависимые вещи - своей.