Вот, на Сахаре подсказали (bialix -супермегареспект!): AVRORA.
http://compilers.cs.ucla.edu/avrora/Avrora, a research project of the UCLA Compilers Group, is a set of simulation and analysis tools for programs written for the AVR microcontroller produced by Atmel and the Mica2 sensor nodes. Avrora contains a flexible framework for simulating and analyzing assembly programs, providing a clean Java API and infrastructure for experimentation, profiling, and analysis.
Вот краткое описание их идеологии:
Nonintrusive Precision Instrumentation of Microcontroller Software
http://compilers.cs.ucla.edu/avrora/papers...s_lctes2005.pdfhttp://compilers.cs.ucla.edu/avrora/instru...instrument.htmlUsing GDB with Avrora - ваще мечта
http://compilers.cs.ucla.edu/avrora/gdb.htmlControl Flow Graph Tool
http://compilers.cs.ucla.edu/avrora/cfg.htmlStack Checker Tool
http://compilers.cs.ucla.edu/avrora/stack.htmlНа AVRORA эмулируют в том числе TinyOS
TinyOS + Avrora Quick Start Guide
http://lists.ucla.edu/pipermail/avrora/2006-July/000447.htmlhttp://www.cs.utah.edu/~regehr/tos_avrora.htmlСхема борды, которую симулируют
http://www.tinyos.net/hardware/design/ORCA...06-01ACLEAN.pdfна основе чипа
http://www.chipcon.ru/CC1000.htmAVR GCC - брать тут
http://winavr.sourceforge.nethttp://klen.org/Projects/Avr-gcc/avr-gcc_last_build.htmlTinyOS - достаточно своеобразная штука. Я на нее косо смотрю, поскольку она не на C создана, но идеи в этой ОСи интересные есть.
http://www.tinyos.net/TinyOS is an open-source operating system designed for wireless embedded sensor networks. It features a component-based architecture which enables rapid innovation and implementation while minimizing code size as required by the severe memory constraints inherent in sensor networks. TinyOS's component library includes network protocols, distributed services, sensor drivers, and data acquisition tools – all of which can be used as-is or be further refined for a custom application. TinyOS's event-driven execution model enables fine-grained power management yet allows the scheduling flexibility made necessary by the unpredictable nature of wireless communication and physical world interfaces.
The TinyOS system, libraries, and applications are written in nesC, a new language for programming structured component-based applications. The nesC language is primarily intended for embedded systems such as sensor networks. nesC has a C-like syntax, but supports the TinyOS concurrency model, as well as mechanisms for structuring, naming, and linking together software components into robust network embedded systems. The principal goal is to allow application designers to build components that can be easily composed into complete, concurrent systems, and yet perform extensive checking at compile time.
Getting Started with TinyOS and nesC
http://www.tinyos.net/tinyos-1.x/doc/tutorial/lesson1.htmlTinyOS 2.0 Tutorials
http://www.tinyos.net/tinyos-2.x/doc/html/tutorial/nesC is a compiler for a new language (based on C) designed to support the TinyOS project. nesC provides several advantages over the existing TinyOS compiler infrastructure: nicer synytax, complete error reporting, and interfaces to group related functio
http://sourceforge.net/projects/nescc/Описание языка
http://www.tinyos.net/tinyos-1.x/doc/nesc/ref.pdfИнтересно, что Зюбин скажет по поводу этого nesC
http://reflex-language.narod.ru/ - его творение...
Теперь зачем это надо.
Отладочный printf был, есть и будет. Аминь.
Секту свою пока открывать и создавать не намерен - учение еще не до конца готово

Интеллектуальный онанизм - не мой вид спорта.
Я уже изгал идеи, как можно прогонять test uinit на любой железяке, в которой есть метод "загрузить программу" - разрядность значения не имеет.
Применительно к AVR при помощи AVR ISP или AVReal (ну и COM порт на интерфейс взаимодействия с пЫсюком) можно без проблем построить систему автоматического тестирования компонентов ПО. 10к циклов записи - ну и бог сним, признаем контроллер расходным материалом.

Но очень хочется nonintrusive способа посмотреть, что творится в контроллере. AVR JTAG - это хорошо, но все равно он будет вносить некоторое возмущение в работу. Т.е. даже если с самим ядром мы будем нормально работать, но время для периферии не остановить, и как только мы "заморозили" процессор - все, процесс нарушился.
В принципе можно, конечно, искусствено через внешние схемы "морозить" время для периферии (перед входом в дебаг-процедуру запрещаем все клоки), но это малость не то.
Хочется виртуальности, чтобы вместо какого-нибудь контроллера поставить модельку, которая мониторила работу ядра с ним. Профайлер продвинутый и т.д.
Все это в AVRORA есть. Жаль, она на джаве написана - так нехотелось разбираться еще с одним языком программирования....
Что касается гуевых дебуггеров - тут нет никакоего противоречия со скриптованными.
Когда просто разбираешься со средой, или какой-то особенно уникальной ошибкой (в собственной ДНК, например) - да, там гуй неплох. Но вот когда после оптимизации кода надо прогнать его на тестовом наборе данных - за попытку сделать это руками в гуе надо программера ЗП решать.
Что касается самих тестов - тут важен вопрос организации процесса. Писать их на том же С - гупость.
Есть готовые тулзы
DejaGnu
http://www.gnu.org/software/dejagnu/DejaGnu is a framework for testing other programs. Its purpose is to provide a single front end for all tests. Think of it as a custom library of Tcl procedures crafted to support writing a test harness. A test harness is the testing infrastructure that is created to support a specific program or tool. Each program can have multiple testsuites, all supported by a single test harness. DejaGnu is written in Expect, which in turn uses Tcl -- Tool command language.
Expect
http://expect.nist.gov/http://sourceforge.net/projects/expectExpect is a tool for automating interactive applications such as telnet, ftp, passwd, fsck, rlogin, tip, etc. Expect really makes this stuff trivial. Expect is also useful for testing these same applications. And by adding Tk, you can also wrap interactive applications in X11 GUIs.
Expect can make easy all sorts of tasks that are prohibitively difficult with anything else. You will find that Expect is an absolutely invaluable tool - using it, you will be able to automate tasks that you've never even thought of before - and you'll be able to do this automation quickly and easily.
Они, правда, не очень просты в понимании, но это только на первый взгляд.
В общем, нет ниакакой проблемы на Python или любом другом "любимом" высокоуровневом язке написать свой фрейм ворк для тестов. Можно за основу взять PyUnit
http://pyunit.sourceforge.net/Тогда для каждой функции будет писаться тест на некотором макроязыке, что сильно упростит задачу. Посмотрите примеры DejaGnu - там все готовое, типа вот набор данных, каждая переменная меняется от сих до сих, прогнать методом монте-карло с генерацией случайных наборов - все это в несколько строк делается.
Мои посты по тематике тестирования (и связанными с нею темами)
Продвинутая система тестирования софта:
http://www.caxapa.ru/echo/arm.html?id=48364http://electronix.ru/forum/index.php?showtopic=11570&hl=eXtreme Programming
http://www.caxapa.ru/echo/arm.html?id=49785"Питон для Си-программистов"
http://www.caxapa.ru/mcu/wwwboard.html?id=57403http://www.caxapa.ru/mcu/wwwboard.html?id=57960Ch
http://www.caxapa.ru/mcu/wwwboard.html?id=57905Концептуальный вопрос по написанию прототипа в среде "похожей на embedd Ось" (Ch и не только).
http://www.caxapa.ru/echo/arm.html?id=58541uCOS-II Win32 порт
http://www.caxapa.ru/echo/arm.html?id=58548Сквозная система разработки embedded устройств
Полноценная GNU среда для embedded разработки
http://www.caxapa.ru/echo/arm.html?id=60891http://electronix.ru/forum/index.php?showtopic=17562eCos на ARM симуляторе SID, автоматическое тестирование при помощи DejaGNU - очень интересно!!!
http://www.caxapa.ru/echo/arm.html?id=62769http://electronix.ru/forum/index.php?showtopic=18602Продвинутые make'еры: все уже изобретено!
http://www.caxapa.ru/echo/arm.html?id=61898http://electronix.ru/forum/index.php?showtopic=18212uCOS: гораздо более правильная ОСь, чем я долгое время думал.
http://www.caxapa.ru/echo/arm.html?id=61909http://electronix.ru/forum/index.php?showtopic=18222TDD (Test-driven Development) применительно к embedded системам: похоже, я догнал, как это должно быть устроено.
http://www.caxapa.ru/echo/arm.html?id=63285http://electronix.ru/forum/index.php?showtopic=18859Развитие идей по упрощенной отладке.
http://www.caxapa.ru/echo/arm.html?id=63474http://electronix.ru/forum/index.php?s=&showtopic=18859Dream Platform II, или нафига я за RTEMS взялся.
http://www.caxapa.ru/echo/arm.html?id=64967http://electronix.ru/forum/index.php?showtopic=19759Dream Board
http://www.caxapa.ru/echo/arm.html?id=64968http://www.caxapa.ru/echo/arm.html?id=64969http://electronix.ru/forum/index.php?s=&am...st&p=143432