Инструменты

В состав системы OTK входят инструменты, необходимые для разработки генераторов тестов на основе модельного подхода и запуска разработанных генераторов.

Графическая оболочка

Разработка тестов с помощью OTK включает, следующие шаги:

  • разработка модели,
  • разработка необходимых компонентов для генератора тестов,
  • трансляция модели и компиляция разработанных компонентов,
  • конфигурирование генератора,
  • запуск генератора.

Для облегчения выполнения этих действий оболочка предоставляет удобный графический интерфейс.

Транслятор TDL

Для формального описания моделей в технологии OTK используется язык TDL, который позволяет в удобной компактной форме описывать требования к входным данным целевой системы.

Транслятор анализирует модель, описанную на языке TDL, и генерирует код на java. Полученные java-компоненты компилмруются и используются при работе генератора.

Драйвер генератора

Разработка генератора тестов по технологии OTK заключается в разработке следующих двух компонентов: итератора, осуществляющего перечисление модельных структур, и меппера, осуществляющего преобразование моделной структуры в собственно тест.

Согласованную работу этих компонентов обеспечивает стандартный драйвер генератора, который выполняет рутинные задачи, необходимые для корректной работы компонентов.

Системные требования

    Операционная система:
  • любая, поддерживающая JDK (Java Developers Kit) версии 1.4.x и выше.
      Программное обеспечение:
    • Java — JDK 1.4.x и выше.
        Аппаратные требования:
      • Pentium III 500 MГц или более производительный процессор;
      • 256 MБ оперативной памяти или более;
      • SVGA-совместимый монитор (рекомедуется 256 или более цветов) с разрешением по крайней мере 800x600 пикселей;
      • любое позиционирующее устройство с по крайней мере двумя кнопками.
       
      Copyright © 2014 Институт системного программирования Российской академии наук