|
UniTESK для тестирования аппаратного обеспечения |
|
24.11.2005 г. |
В ноябре 2005 года в ИСП РАН был опубликован препринт "В.П. Иванников, А.С. Камкин, В.В. Кулямин, А.К. Петренко. Применение технологии UniTesK для функционального тестирования моделей аппаратного обеспечения".
В препринте рассматривается новая и, на наш взгляд, достаточно перспективная область применения технологии тестирования UniTESK — разработка функциональных тестов для моделей аппаратного обеспечения. В работе предлагаются способы расширения базовой архитектуры тестовой системы UniTesK для функционального тестирования моделей на языках Verilog HDL и SystemC.
Для каждого из указанных классов моделей описывается процесс разработки теста с помощью инструмента CTesK и приводятся оценки возможности автоматизации шагов этого процесса. |
|
|
UniTESK на симпозиуме по принципам операционных систем |
|
28.10.2005 г. |
22-26 Октября в Великобритании (г. Брайтон) состоялся 20-ый Симпозиум по принципам операционных систем, проводимый ACM, на котором университеты и исследовательские центры ведущих компаний представили результаты новейших исследований в этой области.
В его работе принял участие Александр Монахов, исследователь из UniTesK Lab, который обсудил с участниками Симпозиума подход к проектированию ОС для встраиваемых систем, разрабатываемый в UniTesK Lab, и его применимость в различных областях. Ряд замечаний по поводу наших разработок был высказан Э. Таненбаумом. |
|
|
Завершен первый этап работ "Разработка и реализация набора инструментов тестирования" |
|
01.07.2005 г. |
|
Завершен первый этап опытно-конструкторских работ "Разработка и реализация набора инструментов тестирования, поддерживающих автоматическую генерацию сложно структурированных тестовых данных, на основе грамматик". Работы проводятся в UniTESK Lab. c середины мая по заказу Федерального агентства по науке и инновациям в рамках федеральной целевой научно-технической программы "Исследования и разработки по приоритетным направлениям развития науки и техники" на 2002-2006 годы |
|
|
Выпущена система тестирования CTesK 2.1 |
|
07.04.2005 г. |
|
В новой версии инструмента появился инсталлятор, включены библиотеки для работы под Cygwin, а набор статических отчетов расширен двумя новыми видами отчетов о покрытии, предназначенными для использования при тестировании систем с отложенными реакциями.Так же реализован новый механизм интеграции в Microsoft Visual Studio 6.0, включающий в себя визарды для генерации медиаторов и тестовых сценариев. Код, генерируемый SEC2C транслятором, приведен в соответствие со стандартом C89 и компилятором gcc-2.95.3. |
|
|
UniTESK Lab. поддерживает проект "Сервер тестировщиков" |
|
30.03.2005 г. |
Группа разработчиков UniTESK заключила стратегическое соглашение с он-лайн проектом "Сервер тестировщиков". Основная цель сотрудничества – создать силу, способную положительно повлиять на качество программного обеспечения, создаваемого в странах СНГ и Балтии.
Знания и умения по повышению качества программного обеспечения, накопленные в процессе промышленного использования UniTESK, помноженные на практический опыт участников проекта "Сервер тестировщиков", обещают стать основой для крайне интересного и плодотворного сотрудничества. |
|
|
UniTESK на "НАУЧНОЙ СЕССИИ МИФИ – 2005" |
|
27.01.2005 г. |
Организаторы "НАУЧНОЙ СЕССИИ МИФИ – 2005" пригласили нас поделиться опытом использования технологии UniTESK на секции "ТЕХНОЛОГИИ РАЗРАБОТКИ ПРОГРАММНЫХ СИСТЕМ". Наталья Казакова (ООО "диФэктори Сарл), совместно с Виктором Куляминым рассказали о тестировании Windows-сервисов при помощи технологии UniTESK.
Председатель заседания профессор, доктор технических наук, директор лаборатории "Системы электронного бизнеса" ЩУКИН Борис Алексеевич и слушатели заседания высказали большой интерес к докладу и отметили возможность изучения технологии UniTesK в рамках учебной программы МИФИ.
|
|
|
Вышел совместный отчет ИСП РАН, Morphbius Technologies (Канада) и Beijing Mediamagic (Китай) |
|
27.12.2004 г. |
|
Совместный отчет ИСП РАН, Morphbius Technologies (Канада) и Beijing Mediamagic (Китай) был представлен в Рабочую группу по стандартизации аудио-видео кодирования Министерства информационной индустрии КНР (AVS). Отчет посвящен улучшению международного стандарта по управлению и защите интеллектуальной собственности для тестирования реализаций управления цифровыми правами (Digital Rights Management, DRM) на соответствие стандартам AVS DRM. Отчет был представлен на 11-й встрече рабочей группы, проходившей 10-12 декабря в Пекине (Китай). (см. презентацию) Отчёт доступен на сайте Института Системного Программирования РАН. |
|
|
UniTESK на "Интернет нового поколения – IPv6" |
|
26.11.2004 г. |
|
24–25 ноября 2004 года в Москве прошла третья международная конференция "Интернет нового поколения – IPv6», посвящённая вопросом развития новых технологий построения сети Интернет. В работе конференции принимали участие представители России, Франции, Испании, Греции, Узбекистана. Большой интерес вызывал наш доклад «Тестирование реализаций IPsec на основе спецификаций», в котором представлены последние результаты наших работ по созданию эффективной технологии тестирования встроенных сервисов безопасности Интернета. Доклад посвящён важной теме разработки надёжных и совместимых реализаций сервисов безопасности и предлагает новый подход к тестированию реализаций сервисов безопасности на соответствие спецификации сервисов безопасности. |
|
|
03.11.2004 г. |
На Первом международном симпозиуме по поддержке использования формальных методов (ISoLA 2004), проходившем в городе Пафос на Кипре с 30 октября по 2 ноября 2004 г., был сделан доклад об использовании технологии UniTESK для тестирования крупномасштабных программных систем. Симпозиум был задуман как место встречи исследователей в области формальных методов и практиков, успешно применяющих эти методы в промышленности, для обмена идеями, проблемами и подходами к их решению. На симпозиуме можно было получить реальное представление о возможных путях развития формальных методов и поддерживающих их инструментов с нацеленностью на практическое использование.
|
|
|
UniTESK на Software QA Days Europe |
|
18.09.2004 г. |
|
16–17 сентября технология UniTESK была представлена участникам конференции Software QA Days Europe в Москве. На конференции прозвучали два доклада, посвящённых применению технологии UniTESK в промышленности: Александр Петренко, ИСП РАН, сделал доклад «Интеллектуальная автоматизация тестирования: проблемы, решения и реальные применения», после чего руководитель отдела тестирования компании Люксофт Григорий Сенин рассказал о том, «Как технология UniTesK позиционируется среди услуг Люксофт в области тестирования». |
|
|
