|
В области методов тестирования и верификации мы осуществляем разноплановое сотрудничество и находимся в партнерских отношениях со многими коммерческими и исследовательскими структурами.
В 1994--2000 годах главным коммерческим партнером группы была фирма Nortel Networks}. Совместно с российской компанией Люксофт мы разработали методику внедрения технологии тестирования на основе формальных спецификаций в реальные процессы промышленного производства программных средств.
Научное сотрудничество ведется со следующими компаниями:
- Microsoft Research (Кэмбридж) - тестирование реализации протоколов IPv6;
- Microsoft Research - методы и инструменты тестирования на основе моделей, а также совместная организация семинара по методам тестирования на основе моделей (пройдет в 2004 году в Барселоне);
- Intel - тестирование компиляторов на основе моделей языков;
- IFAD - инструменты тестирования на платформе объектно-ориентированного языка моделирования VDM++;
- Санкт-Петербургский Государственный Университет - апробация методов и инструментов тестирования на задачах цифровой обработки сигналов и телекоммуникационных приложениях.
Группа имеет широкие связи с университетами. Помимо учебной работы и работы с аспирантами ведутся тренинги по передовым методам тестирования на основе формальных спецификаций. Такие тренинги уже проведены в:
|
