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