Программирование для встроенных систем - статьи



         

Глава 7


Pict2
Pict4
Pict6
Применение UniTesK к тестированию встроенных систем
Аннотация.
Введение
Краткий обзор TinyOS
Компонентная архитектура TinyOS
Параллельность, события и задачи
Расщеплённые операции
Атомарность
Язык nesC
Реализация компонентов в языке nesC
Краткий обзор UniTesK
Оракулы и спецификации
Стимулы и реакции
Спецификация
Тестовые сценарии
Медиаторы
CTesK
Применение UniTesK к тестированию встроенного ПО
Функциональное тестирование компонентов TinyOS
Разработка формальной спецификации
Разработка формальной спецификации - часть 2
Тестовые сценарии для компонентов
Тестовые сценарии для компонентов - часть 2
Медиаторы для тестирования компонентов TinyOS
Результаты применения UniTesK к тестированию компонентов TinyOS
Использованный процесс
Затраты
Результаты проекта
Применимость UniTesK для тестирования встроенных приложений
Спецификации UniTesK и статический анализ
Заключение
Литература



Содержание