Технология UniTESK

UniTESK — индустриальная технология надежного тестирования.

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

История создания

• В 1994 году Институт Системного Программирования Российской Академии Наук (ИСП РАН) по контракту с Nortel Networks разработал методологию и комплект инструментов автоматизации тестирования интерфейсов прикладных программ (API). Первым практическим применением методологии стало ядро операционной системы реального времени.
• В течение 1994—1999 годов ИСП РАН создал и установил в Nortel Networks несколько версий технологии KVEST-1.
• В 1998—1999 годах было завершено создание технологии KVEST-2.
• В 2000 году технология KVEST адаптируется для использования в проектах на языках C и C++.
• В 1999 году ИСП РАН начал разработку технологии верифицирования нового поколения — UniTESK (Unified Testing & specification toolKit).

Применение на практике

Технология была успешно применена во многих проектах. Наиболее интересные:

• Open Linux VERification (OLVER) (c 2005 г.);
• Тестирование интеграционных и биллинговых компонентов Вымпелкома (c 2007 г.);
• Тестирование мобильной реализации протокола IPv6 (2002—2003, 2 человеко-года);
• Тестирование Object Broker (2000, 1 человеко-год);
• Тестирование компонентов ATM Framework (1999—2000, 6 человеко-лет);
• Тестирование и редизайн системы поддержки приложений (1998—1999, 2 человеко-года);
• Тестирование ядра операционной системы (1994—1997, 25 человеко-лет).

Инструментальная поддержка

• CTESK — инструмент для тестирования программного обеспечения, реализованного на языке C.
• CTESK Community Edition — бесплатная полнофункциональная версия инструмента CTESK для платформы Linux.
• JavaTESK — инструмент для тестирования программного обеспечения, реализованного на языке Java.
• Pinery — предназначен для генерации тестовых данных сложной структуры на основе описаний в виде грамматик (к таким описаниям относятся, например, BNF, регулярные выражения, DTD и т. п.).
• OTK (Optimizer Testing Kit) — инструмент для тестирования программных систем, работающих с данными, имеющими сложную структуру. Применение OTK наиболее эффективно при тестировании компиляторов или других систем обработки формального текста. Основной акцент в OTK делается на построении разнообразных входных тестовых данных.
• SynTESK (Syntax Testing Kit) — инструмент для тестирования синтаксических анализаторов (парсеров) формальных языков. SynTESK позволяет проверять соответствие реализации парсера и спецификации данного формального языка, то есть что парсер распознает именно данный формальный язык.

Литература

• В. В. Кулямин. Критерии тестового покрытия, основанные на структуре контрактных спецификаций. Труды ИСП РАН, Подход UniTESK: итоги и перспективы, 14(1):89-107, 2008 [1]
• А. И. Гриневич, В. В. Кулямин, Д. А. Марковцев, А. К. Петренко, В. В. Рубанов, А. В. Хорошилов. Использование формальных методов для обеспечения соблюдения программных стандартов. Труды ИСП РАН, Обеспечение надежности и совместимости Linux-систем, 10:51-68, 2006 [2]
• И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин. Неизбыточные алгоритмы обхода ориентированных графов: недетерминированный случай. Программирование, 30(1):2-17, 2004 [3]
• И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин. Использование конечных автоматов для тестирования программ. Программирование, 26(2):61-73, 2000 [4]
• I. Bourdonov, A. Kossatchev, V. Kuliamin, and A. Petrenko. UniTesK Test Suite Architecture. Proc. of FME 2002. LNCS 2391, pp. 77-88, Springer-Verlag, 2002.
• I. B. Bourdonov, A. V. Demakov, A. A. Jarov, A. S. Kossatchev, V. V. Kuliamin, A. K. Petrenko, and S. V. Zelenov. Java Specification Extension for Automated Test Development. Proceedings of PSI'2001, Novosibirsk, Russia, July 2-6, 2001. LNCS 2244:301-307, Springer-Verlag, 2001 [5]
• I. Bourdonov, A. Kossatchev, A. Petrenko, and D. Galter. KVEST: Automated Generation of Test Suites from Formal Specifications. FM’99: Formal Methods. LNCS 1708, Springer-Verlag, 1999, pp. 608—621.

Ссылки

• Основной сайт
• Статья Подход UniTesK к разработке тестов: достижения и перспективы
• Верификация ОС Linux на соответствие стандарту LSB
• Online сервис Pinery: Генерация на основе регулярных выражений Perl