В 2006 году было начато изучение возможностей развития технологии UniTESK в следующих направлениях.
- Построение тестов для математических функций, работающих с числами с плавающей точкой.
- Построение тестов, проверяющих корректность моделей отдельных блоков микропроцессоров конвейерной архитектуры.
- Интеграция техник, используемых при проверке моделей, в тестирование компонентных распределенных систем.
Были также продолжены исследования, проводившиеся ранее, по следующим темам.
- Автоматизация генерации данных сложной структуры для тестирования приложений, работающих с базами данных, XML-документами и другими документами на формальных языках.
- Автоматизация генерации тестовых программ для тестирования анализаторов статической семантики языков программирования.
- Автоматизация генерации структурных тестов на основе генетических алгоритмов и методов логического программирования.
- Разработка теоретических основ методов формального тестирования компонентных систем.
По результатам некоторых из этих, а также ранее выполненных исследований, в 2006 году было защищено 4 кандидатских диссертации под руководством д.ф.-м.н. А. К. Петренко по следующим темам.
- Спецификация и тестирование компонентов с асинхронным интерфейсом - А. В. Хорошилов.
- Формализация стандартов и тестовых наборов протоколов Интернета - Н. В. Пакулин.
- Автоматическая генерация тестов для семантических анализаторов трансляторов - М. В. Архипова.
- Объектно-ориентированное описание графового представления программ и моделей - А. В. Демаков.
Помимо этого в 2006 году технология UniTESK успешно использовалась в ходе нескольких промышленных и опытно-конструкторских проектов.
- Разработка тестового набора OLVER для тестирования соответствия стандарту Linux Standard Base 3.1.
- Разработка тестов на основе формальных спецификаций операционной системы реального времени ОС2000.
- Разработка тестов для системы интеграции уровня предприятия крупной телекоммуникационной компании.
- Разработка тестов для тестирования соответствия стандартам протокола IPsec.
|
|
