Новости
24 Апреля, 2024
ИСП РАН и «Базис» расширяют работу по повышению безопасности российских облачных решений
12 Апреля, 2024
Защита диссертаций
15 Марта, 2024
Сегодня стартовали выборы Президента России
Применение UniTesK к тестированию встроенных систем.
Аннотация
В статье обсуждаются вопросы применимости технологии тестирования UniTesK к функциональному тестированию программного обеспечения встроенных систем на примере сенсорных сетей под управлением TinyOS. В работе выделены сходство и отличие указанного класса ПО от систем, для которых хорошо разработаны методики применения UniTesK. Представлены результаты опытного проекта по исследованию применимости CTesK к тестированию ПО под управлением TinyOS.
Издание
Труды Института системного программирования РАН, том 8, часть 1, 2004, стр. 117-136.
ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).