Основные принципы UniTESK
При разработке тестовых систем по технологии UniTESK используются следующие базовые принципы:
- определенность набора компонентов с ясным разделением функций и четкими интерфейсами;
- использование формальных спецификаций в форме пред- и постусловий интерфейсных операций и инвариантов типов данных для автоматической генерации тестовых оракулов (компонентов проверки);
- применение конечно-автоматных моделей для построения последовательностей тестовых воздействий (стимулов).
В качестве основного средства тестирования моделей аппаратного обеспечения используется инструмент CTESK, использующий для разработки тестовой системы язык SeC (Specification extension of C) — расширение языка программирования C.
