|
В 2008 году технология UniTESK активно применялась для создания тестовых наборов для проверки соответствия стандартам в следующих проектах.
- Разработка и сопровождение тестового набора для проверки соответствия стандарту Linux Standard Base.
- Разработка тестов POSIX-совместимой операционной системы реального времени.
- Построение тестов для встроенных систем авионики, поддерживающих стандарт ARINC-653.
Развитие инструментов UniTESK было нацелено на поддержку работ в проектах и общее повышение надежности.
Кроме того, продолжались исследования по теоретическим основам тестирования, методам автоматизации разработки тестов для телекоммуникационных протоколов и распределенных систем, методам тестирования микропроцессов конвейерной архитектуры и их отдельных блоков, методам построения тестов для математических библиотек. Также велись работы по созданию инструментария для верификации драйверов ОС Linux.
Нашими коллегами в этом году было защищено 3 диссертации.
- И. Б. Бурдоновым — по теме «Теория конформности для функционального тестирования программных систем на основе формальных моделей» на степень доктора физико-математических наук.
- В. В. Рубановым — по теме «Автоматизация построения инструментария кросс-разработки программного обеспечения для расширяемых встраиваемых систем» на степень кандидата физико-математических наук.
- А. С. Камкиным — по теме «Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций» на степень кандидата физико-математических наук.
В 2008 году вышла монография И. Б. Бурдонова, А. С. Косачева и В. В. Кулямина «Теория соответствия для систем с блокировками и разрушением», посвященная теоретическим основам тестирования распределенных систем.
Доклады о результатах исследований и отдельных проектов проводились на следующих конференциях и семинарах.
|
|
