OTK
 

OTK (Optimizer Testing Kit) - инструмент для тестирования программных систем, работающих с данными, имеющими сложную структуру. Применение OTK наиболее эффективно при тестировании компиляторов или других систем обработки формального текста. Основной акцент в OTK делается на построении разнообразных входных тестовых данных.

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

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

К компонентам, разрабатываемым вручную, относятся:

  • Формальное описание модели входных данных системы;
  • Мепперы, преобразующие модельное представление тестов во входные данные системы;
  • Итераторы, перебирающие различные модельные представления тестов, составленные из модельных блоков в разных комбинациях.

Библиотечные компоненты, прилагаемые к инструменту, предоставляют, в частности:

  • Поддержку языка описания моделей;
  • Стандартные итераторы;
  • Реализацию базовой функциональности мепперов.

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

Copyright © 2014 Институт системного программирования Российской академии наук