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