OTK (Optimizer Testing Kit) - инструмент для тестирования программных систем, работающих с данными, имеющими сложную структуру. Применение OTK наиболее эффективно при тестировании компиляторов или других систем обработки формального текста. Основной акцент в OTK делается на построении разнообразных входных тестовых данных.
OTK реализует технологию UniTESK автоматизированного тестирования, основанную на использовании моделей целевой системы. В рамках UniTESK инструмент OTK поддерживает специализированную технологию генерации сложных входных данных.
При использовании инструмента OTK тесты строятся автоматически с помощью генератора, который разрабатывается вручную с использованием вспомогательных компонентов из прилагаемых к инструменту библиотек.
К компонентам, разрабатываемым вручную, относятся:
- Формальное описание модели входных данных системы;
- Мепперы, преобразующие модельное представление тестов во входные данные системы;
- Итераторы, перебирающие различные модельные представления тестов, составленные из модельных блоков в разных комбинациях.
Библиотечные компоненты, прилагаемые к инструменту, предоставляют, в частности:
- Поддержку языка описания моделей;
- Стандартные итераторы;
- Реализацию базовой функциональности мепперов.
OTK легко использовать для тестирования как вновь разрабатываемого программного обеспечения, так и уже существующих систем. Компоненты тестовой системы могут создаваться независимо друг от друга, что делает возможным их параллельную разработку. Кроме того, поддерживается высокий уровень переиспользования реализованных компонентов как в рамках тестирования одной целевой системы, так и при тестировании нескольких систем. |