|
UniTESK Lab. поддерживает проект "Сервер тестировщиков" |
Группа разработчиков UniTESK заключила стратегическое соглашение с он-лайн проектом "Сервер тестировщиков". Основная цель сотрудничества – создать силу, способную положительно повлиять на качество программного обеспечения, создаваемого в странах СНГ и Балтии.
Знания и умения по повышению качества программного обеспечения, накопленные в процессе промышленного использования UniTESK, помноженные на практический опыт участников проекта "Сервер тестировщиков", обещают стать основой для крайне интересного и плодотворного сотрудничества. |
|
|
UniTESK на "НАУЧНОЙ СЕССИИ МИФИ – 2005" |
Организаторы "НАУЧНОЙ СЕССИИ МИФИ – 2005" пригласили нас поделиться опытом использования технологии UniTESK на секции "ТЕХНОЛОГИИ РАЗРАБОТКИ ПРОГРАММНЫХ СИСТЕМ". Наталья Казакова (ООО "диФэктори Сарл), совместно с Виктором Куляминым рассказали о тестировании Windows-сервисов при помощи технологии UniTESK.
Председатель заседания профессор, доктор технических наук, директор лаборатории "Системы электронного бизнеса" ЩУКИН Борис Алексеевич и слушатели заседания высказали большой интерес к докладу и отметили возможность изучения технологии UniTesK в рамках учебной программы МИФИ.
|
|
|
Вышел совместный отчет ИСП РАН, Morphbius Technologies (Канада) и Beijing Mediamagic (Китай) |
|
Совместный отчет ИСП РАН, Morphbius Technologies (Канада) и Beijing Mediamagic (Китай) был представлен в Рабочую группу по стандартизации аудио-видео кодирования Министерства информационной индустрии КНР (AVS). Отчет посвящен улучшению международного стандарта по управлению и защите интеллектуальной собственности для тестирования реализаций управления цифровыми правами (Digital Rights Management, DRM) на соответствие стандартам AVS DRM. Отчет был представлен на 11-й встрече рабочей группы, проходившей 10-12 декабря в Пекине (Китай). (см. презентацию) Отчёт доступен на сайте Института Системного Программирования РАН. |
|
|
UniTESK на "Интернет нового поколения – IPv6" |
|
24–25 ноября 2004 года в Москве прошла третья международная конференция "Интернет нового поколения – IPv6», посвящённая вопросом развития новых технологий построения сети Интернет. В работе конференции принимали участие представители России, Франции, Испании, Греции, Узбекистана. Большой интерес вызывал наш доклад «Тестирование реализаций IPsec на основе спецификаций», в котором представлены последние результаты наших работ по созданию эффективной технологии тестирования встроенных сервисов безопасности Интернета. Доклад посвящён важной теме разработки надёжных и совместимых реализаций сервисов безопасности и предлагает новый подход к тестированию реализаций сервисов безопасности на соответствие спецификации сервисов безопасности. |
|
На Первом международном симпозиуме по поддержке использования формальных методов (ISoLA 2004), проходившем в городе Пафос на Кипре с 30 октября по 2 ноября 2004 г., был сделан доклад об использовании технологии UniTESK для тестирования крупномасштабных программных систем. Симпозиум был задуман как место встречи исследователей в области формальных методов и практиков, успешно применяющих эти методы в промышленности, для обмена идеями, проблемами и подходами к их решению. На симпозиуме можно было получить реальное представление о возможных путях развития формальных методов и поддерживающих их инструментов с нацеленностью на практическое использование.
|
|
|
|
<< [Первая] < [Предыдущая] 1 2 3 4 5 6 7 8 9 [Следующая] > [Последняя] >>
|
| Результаты 55 - 63 из 81 |
