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

       

Результаты применения UniTesK к тестированию компонентов TinyOS


В 2003-2004 годах совместно с компанией Luxoft проводился проект по исследованию применимости UniTesK к тестированию компонентов TinyOS и сетей устройств под управлением TinyOS.

В проекте преследовались следующие цели:

  1. разработать методику применения UniTesK к тестированию приложений TinyOS;
  2. показать применимость подхода UniTesK к верификации сенсорных сетей.

В качестве объекта тестирования был выбран компонент Attr из подсистемы управления атрибутами в TinyDB. Мы провели тестирование реализации шести методов, принадлежащих двум интерфейсам компонента. Функциональные требования извлекались из документации и исходных текстов. Из-за скудости документации нам пришлось использовать исходные тексты реализации. Всего было извлечено порядка 40 функциональных требований.



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