Пользователь:

Пароль:

Забыли пароль?

Регистрация

17 и 18 апреля 2007 года в Москве в Зелёном зале Президиума Российской Академии Наук Институт системного программирования РАН провёл семинар «Go4IT – шаг к новым технологиям Интернета». Семинар был посвящён вопросам распространения новых технологий построения инфраструктуры Интернета, их стандартизации, внедрения и верификации. В рамках семинара был представлен международный консорциум Go4IT, развивающий инструментальные средства и предоставляющий услуги по верификации реализаций Интернет-протокола нового поколения IPv6. Также в рамках семинара прошла научная конференция, на которой были представлены новые теоретические и практические результаты по верификации и, в частности, тестированию современных телекоммуникационных протоколов, используемых в современном Интернете. Параллельно с конференцией в рамках семинара была проведена сессия практического тестирования, в ходе которой представители международного проекта IPv6 Ready провели сертификацию реализаций IPv6 российской компании OKTET Labs.

Семинар вызвал значительный интерес среди исследователей и практиков телекоммуникаций в России. Было зарегистрировано более 60 участников из Москвы, Санкт-Петербурга, Ярославля, представлявших институты РАН, МГУ, СПбГУ, ЯрГУ, МГТУ им. Баумана, ЦНИИС, ОАО Вымпелком, IBM и др. На конференции были представлены 15 докладов, в которых рассматривались вопросы распространения IPv6 в различных регионах мира, результаты создания тестовых наборов для протокола IPv6, общие вопросы автоматизации тестирования сложных систем и протоколов, средства автоматизации распределённого тестирования, задачи и средства аналитической верификации современных телекоммуникационных протоколов; все доклады опубликованы в сборнике тезисов конференции и на сайте проекта Go4IT.

Представление консорциума Go4IT

Консорциум Go4IT был образован в 2005 году для проведения одноимённого проекта в рамках Шестой рамочной программы (FP6) Европейского Союза. Консорциум и проект Go4IT ставят перед собой цель внедрить современные технологии тестирования в повседневную практику разработки Интернет-инфраструктуры.

Костяк консорциума составляют 11 исследовательских и промышленных организаций из Европы, России, Китая и Латинской Америки, которые начали проект в ноябре 2005 года. Консорциум предусматривает добавление ассоциированных членов непосредственно в ходе проекта – в настоящее время к нему присоединились несколько организаций из КНР, Латинской Америки и России.

В проекте Go4IT основные усилия направлены на создание и распространение исполняемого тестового набора для верификации базовых функций в реализациях Интернет-протокола нового поколения IPv6. Тестовый набор Go4IT основывается на спецификациях тестов, разработанных в Европейском институте стандартизации телекоммуникаций (ETSI).

В первый день семинара члены консорциума представили проект Go4IT: его цели и задачи, рабочий процесс и достигнутые результаты. Первый день семинара был разбит на несколько секций.

В первой секции Александр Петренко (Россия) и Филипп Кузин (Франция) рассказали о целях и задачах проекта Go4IT, описали его внутреннее устройство и дали представление о контексте проекта – рамочной программе Европейского Союза. Информация была принята аудиторией с большим интересом, докладчикам было задано множество вопросов.

Далее Александр Коптелов (Россия) представил введение в язык описания тестов TTCN3, который на сегодняшний день представляет собой венец развития методологии тестирования телекоммуникационного программного обеспечения. Именно на языке TTCN3 разработан тестовый набор для IPv6, который используется в качестве основы в проекте Go4IT.

После перерыва представитель консорциума Go4IT Алан Вуффо продемонстрировал тестовую среду, разработанную в проекте Go4IT, в сессии тестирования реализации IPv6 в Windows XP. В ходе демонстрации Алан показал различные сценарии использования тестовой среды и представил архитектуру тестовой системы.

В заключительной сессии первого дня семинара представитель консорциума Go4IT Цезарь Вихо (Франция) представил аудитории дальнейшее развитие результатов проекта Go4IT в направлении создания универсальной открытой среды разработки тестов на языке TTCN3. Карлос Перез (Испания) рассказал о том, какие услуги консорциум Go4IT предоставляет сообществу.

Научная конференция

Формат второго дня семинара – научная конференция пользователей и тестировщиков IPv6. Конференция была разбита на 4 секции:

1. Обзор распространения протокола IPv6 в мире.
2. Тестирование IPv6.
3. Вопросы автоматизации тестирования протоколов.
4. Использование формальных методов для верификации программных систем.

Первую секцию открыл Дмитрий Зацепин (Россия). В своём докладе Дмитрий дал краткое введение в протокол IPv6, рассказал слушателям о причинах создания нового Интетнет-протокола и представил анализ современных тенденций в использовании протокола IPv6. Далее в рамках первой сессии Франк Ле Галь (Франция), Сяохонь Хуань (КНР) и Алессандро Сантьяго дош Сантош (Бразилия) представили обзор текущего состояния внедрения IPv6 в Европе, Китае и Латинской Америке. Все докладчики подчеркнули, что в настоящее время степень проникновения IPv6 в региональную сетевую инфраструктуру неуклонно возрастает, причём в роли основной силы, продвигающей Интернет-протокол нового поколения в рассмотренных регионах, выступают государственные организации – Еврокомиссия, НАТО, правительство КНР и межгосударственные объединения в Латинской Америке. Докладчики отмечали, что пока не наблюдается существенного вовлечения коммерческих и промышленных структур в построение и эксплуатацию сетей на основе IPv6.

Большой интерес слушателей вызвал доклад Дмитрия Буркова (Россия), посвящённый анализу современных тенденций по внедрению IPv6 и анализу основных проблем в этой области.

В рамках второй секции конференции рассматривались вопросы практического тестирования IPv6. На этой секции были представлены три доклада:

• Цезарь Вихо (Франция) представил международную программу IPv6 Ready Logo по сертификации устройств, поддерживающих IPv6.
• Дмитрий Кравцов (Россия) представил распределённую тестовую систему, разработанную в компании Октет Лабз (Санкт-Петербург).
• Дмитрий Зацепин в своём докладе «Тестирование протокола Mobile IPv6» рассказал о проекте, проведённом в ИСП РАН, посвящённом созданию тестового набора для протоколов обеспечения мобильности узлов в сетях IPv6.

Третья секция конференции была посвящена вопросам автоматизации тестирования реализаций телекоммуникационных протоколов. Секцию открыл доклад Энтони Уайлса (Великобритания) «Achieving Interoperability the ETSI Approach and the Role of TTCN-3», в котором он рассказал о новых подходах к тестированию реализаций протоколов и способах их реализации посредством универсального языка описания тестов IPv6. Далее секцию продолжила серия докладов, в которых рассматривались различные аспекты автоматизации тестирования сложных систем и протоколов с использованием формальных методов.

Первым в этой серии был представлен доклад Виктора Кулямина (Россия) «Подходы к организации сложных тестовых наборов», в котором докладчик рассмотрел новую задачу практического тестирования– управление сложностью тестовых наборов, актуальность которой определяется тем фактом, что непрерывный рост сложности современных программных систем (в том числе протоколов) неизбежно повышает сложность тестирования. В докладе выделены основные факторы, определяющие сложность тестовых наборов и предложены подходы к компенсации влияния этих факторов.

Николай Пакулин (Россия) представил доклад «Применение формальных методов для тестирования реализаций сложных современных протоколов». В докладе рассмотрен новый подход к формальному описанию протоколов и представлены результаты практического применения рассмотренного подхода, демонстрирующие его применимость в задачах тестирования современных телекоммуникационных протоколов. В докладе Алексея Хорошилова (Россия) «О генерации последовательностей тестовых воздействий при тестировании телекоммуникационных протоколов на основе моделей» представлен подход к автоматизации построения тестовых последовательностей для тестирования сложных телекоммуникационных протоколов, который дополняет метод формального описания протоколов, представленный в докладе Н. Пакулина.

Доклад Александра Камкина «Применение технологии UniTESK для функционального тестирование SystemC-моделей протоколов» продемонстрировал применимость методов формального описания протоколов и автоматизации генерации тестовых последовательностей для важного частного случая – тестирования прототипов аппаратных реализаций протоколов, разработанных средствами System-C.

Заключительная, четвёртая секция конференции была посвящена вопросам применения формальных методов к верификации программных систем. В первом докладе секции, озаглавленном «О некоторых подходах к верификации автоматных программ» Егор Кузьмин представил интересный и содержательный обзор известных методов верификации программ, основанных на концепции «состояние-переход». В частности, к этому классу программ принадлежат большинство реализаций телекоммуникационных протоколов, что обуславливает актуальность представленного доклада для данной конференции. Секцию продолжил доклад «Построение и анализ формальных моделей» Дмитрия Чалого, в котором представлены результаты перспективной работы по верификации и количественному исследованию транспортных протоколов Интернета, в первую очередь TCP.

В заключительном докладе секции «Тестирование компилятора TTCN3 с использованием формальных методов» Николай Пакулин представил результаты применения формальных методов для проверки корректности разрабатываемого открытого компилятора TTCN3.

Сессия практического тестирования

Параллельно программе первого и второго дня в рамках семинара проводилась сессия практического тестирования IPv6 Plugtest Moscow. В ходе сессии представители международной программы сертификации устройств с поддержкой IPv6 “IPv6 Ready Programme” провели тестирование реализаций IPv6, разработанных российской компанией Октет Лабз.