Институт системного программирования им. В.П. Иванникова РАН


OTK

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

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

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

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

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

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

Разработчик/участник

Технологии программирования

Перейти к списку всех технологий