RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Труды ИСП РАН:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Труды ИСП РАН, 2018, том 30, выпуск 6, страницы 69–88 (Mi tisp377)  

Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети

И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев

Институт системного программирования им. В.П. Иванникова РАН

Аннотация: В настоящее время SDN-технология активно используется в виртуальных сетях для реализации различных служебных сервисных функций. В основе сети лежит связный неориентированных граф физических связей (англ. Resource Network Connectivity Topology, RNCT), вершинами которого являются сетевые коммутаторы (switches) и хосты (hosts). В настоящей работе рассматривается топология, когда каждый хост соединен ровно с одним коммутатором. Коммутаторы работают по таблицам правил, которые настраиваются централизованно с помощью контроллера, работающего независимо от сетевого оборудования. Настройка коммутаторов сети предназначена для обеспечения передачи пакетов из начальных хостов в конечные хосты в зависимости от значений параметров пакетов. В статье обсуждается связь настроек коммутаторов и множества реализуемых ими путей передачи пакетов в зависимости от свойств графа физических связей. Исследуется задача тестирования настройки коммутаторов. Под целью тестирования понимается подача пакетов, позволяющих «пройти» по каждому правилу каждого коммутатора хотя бы один раз, подав пакет с необходимыми параметрами. Показывается, что в общем случае не любая настройка любого коммутатора проверяема. Возможности тестирования зависят от принимаемых гипотез о работе коммутатора. В статье рассматриваются две гипотезы: гипотеза о коммутаторе предполагает, что работа коммутатора не зависит от настроек других коммутаторов; более сильная гипотеза о правиле, кроме этого, предполагает, что работы коммутатора по данному правилу не зависит от других правил в настройке этого коммутатора. После введения, в разд. 2 вводятся необходимые определения и обозначения. Раздел 3 посвящен взаимосвязи путей в сети и правил в коммутаторах. В разд. 4 рассматривается тестирование на основе гипотезы о правиле, доказываются необходимые и достаточные условия возможности проверки заданного правила заданного коммутатора. В разд. 5 рассматривается тестирование на основе гипотезы о коммутаторе и доказывается необходимое (но не достаточное) условие и достаточное (но не необходимое) условие проверяемости любой настройки коммутатора. В заключении обсуждаются проблемы, возникающие при установлении необходимого и достаточного условия проверяемости любой настройки коммутатора, а также ставится задача определения таких условий для заданной настройки коммутатора.

Ключевые слова: виртуальная сеть, SDN-технология, хосты и коммутаторы, настройка сетевых коммутаторов, передача пакетов, реберно-простые пути, тестирование сетевых коммутаторов.

Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 17-07-00682
16-07-01106
Работа частично поддержана проектом РФФИ № 17-07-00682 А. Работа частично поддержана проектом РФФИ № 16-07-01106 А.


DOI: https://doi.org/10.15514/ISPRAS-2018-30(6)-4

Полный текст: PDF файл (637 kB)
Список литературы: PDF файл   HTML файл

Реферативные базы данных:

Тип публикации: Статья

Образец цитирования: И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев, “Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети”, Труды ИСП РАН, 30:6 (2018), 69–88

Цитирование в формате AMSBIB
\RBibitem{BurEvtKos18}
\by И.~Б.~Бурдонов, Н.~В.~Евтушенко, А.~С.~Косачев
\paper Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети
\jour Труды ИСП РАН
\yr 2018
\vol 30
\issue 6
\pages 69--88
\mathnet{http://mi.mathnet.ru/tisp377}
\crossref{https://doi.org/10.15514/ISPRAS-2018-30(6)-4}
\elib{http://elibrary.ru/item.asp?id=36825265}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/tisp377
  • http://mi.mathnet.ru/rus/tisp/v30/i6/p69

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Труды института системного программирования РАН
    Просмотров:
    Эта страница:80
    Полный текст:29
    Литература:11
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020