Сборники трудов ИСП РАН


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

Н.В. Пакулин.

Аннотация

В статье обсуждаются вопросы применимости технологии тестирования UniTesK к функциональному тестированию программного обеспечения встроенных систем на примере сенсорных сетей под управлением TinyOS. В работе выделены сходство и отличие указанного класса ПО от систем, для которых хорошо разработаны методики применения UniTesK. Представлены результаты опытного проекта по исследованию применимости CTesK к тестированию ПО под управлением TinyOS.

Издание

Труды Института системного программирования РАН, том 8, часть 1, 2004, стр. 117-136.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Полный текст статьи в формате pdf Вернуться к содержанию тома