Использованный процесс
Метод: набор инструментов CTesK. Данный проект отличался от прочих проектов с использованием UniTesK тем, что (1) среди методов интерфейса имеются асинхронные; (2) обработка операции на одном интерфейсе может привести к исполнению операции на другом интерфейсе.
Разработка: Разработка проводилась в среде Linux с использованием набора инструментов CTesK, средств разработки TinyOS и обычных средств разработки Unix (Emacs, make).
Устройство тестового стенда и средства тестирования: Тестируемый компонент был развёрнут в симулятор TinyOS для Linux-PC.
Тестирование проводилось в удалённом режиме. Были разработаны специализированные компоненты TinyOS, обеспечивающиесвязь между тестовой системой и тестируемым компонентом.