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

       

UniTesK удобен для функционального тестирования


UniTesK удобен для функционального тестирования встроенного ПО:
  • формальные спецификации UniTesK удобны для формализации требований к встроенному программному обеспечению;

  • тестовые сценарии позволяют компактно записывать сложные тестовые последовательности;

  • механизм медиаторов предоставляет гибкие средства для отделения сценариев и формальной модели от реализации, позволяют строить различные схемы развёртывания тестового стенда

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

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