Применение UniTesK к тестированию встроенных систем

Пример автомата с тремя состояниями и семью переходами

Взаимодействие на нескольких интерфейсах
Удалённое тестирование компонентов TinyOS
Применение UniTesK к тестированию встроенных систем
Аннотация.
Введение
Краткий обзор TinyOS
Компонентная архитектура TinyOS
Параллельность, события и задачи
Расщеплённые операции
Атомарность

Язык nesC


Реализация компонентов в языке nesC
Краткий обзор UniTesK
Оракулы и спецификации
Стимулы и реакции
Спецификация
Тестовые сценарии
Медиаторы
CTesK
Применение UniTesK к тестированию встроенного ПО

Функциональное тестирование компонентов TinyOS
Разработка формальной спецификации
Тестовые сценарии для компонентов
Медиаторы для тестирования компонентов TinyOS
Результаты применения UniTesK к тестированию компонентов TinyOS
Использованный процесс
Затраты
Результаты проекта

Применимость UniTesK для тестирования встроенных приложений
Спецификации UniTesK и статический анализ
Заключение
Литература

Содержание раздела

---