Тестирование софта - статьи

       

Основные принципы UniTESK


При разработке тестовых систем по технологии UniTESK используются следующие базовые принципы:

  • определенность набора компонентов с ясным разделением функций и четкими интерфейсами;
  • использование формальных спецификаций в форме пред- и постусловий интерфейсных операций и инвариантов типов данных для автоматической генерации тестовых оракулов (компонентов проверки);
  • применение конечно-автоматных моделей для построения последовательностей тестовых воздействий (стимулов).

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

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