IxVerify
IxVerify от Keysight – решение для тестирования чипов на этапах проектирования и пост-разработки. Генерация сложного Ethernet-трафика, поддержка скоростей от 10MbE до 1.6TbE, наносекундная точность измерений и интеграция с EDA-системами. Идеально для верификации ASIC, FPGA и сетевых процессоров!
IxVerify — специально созданное решение для тестирования до выпуска чипа
IxVerify предоставляет сотни преднастроенных шаблонов пакетов для тестирования протоколов на базе Ethernet и способен генерировать большие объёмы трафика. Благодаря поддержке сотен виртуальных портов одновременно, он позволяет проверять самые масштабные проекты чипов с динамически формируемым трафиком, обеспечивая отсутствие потерь пакетов при максимальных скоростях эмуляции.
IxVerify — это версия флагманских решений Keysight IxExplorer VE и IxNetwork VE (тестирование уровней 2 и 3 модели OSI), адаптированная для задач верификации в EDA. Благодаря этому, конфигурации тестов можно использовать как на ранних этапах проектирования чипа, так и при проверке готового кремния (post-silicon QA).
Основные особенности:
-
Проверка проектирования сетевого чипа на раннем этапе цикла разработки.
-
Поддержка разработчиков SDK и драйверов в тестировании функциональности до выпуска чипа.
-
Возможность отправить образцы OEM-партнёрам всего через несколько дней после изготовления.
-
Генерация настраиваемого Ethernet-трафика с использованием десятков предопределённых шаблонов пакетов.
-
Расширенная статистика: анализ пропускной способности и измерение задержек.
-
Совместное использование конфигураций тестов между командами до- и после-силиконовой верификации с помощью IxExplorer и IxNetwork.
-
Автоматизация тестов с использованием множества языков, включая REST API.
-
Поддержка нескольких пользователей в гибкой глобальной виртуальной тестовой среде.
Ключевые возможности:
-
Поддержка скоростей портов:
10MbE, 100MbE, 1GE, 2.5GE, 5GE, 10GE, 25GE, 40GE, 50GE, 100GE, 200GE, 400GE, 800GE и 1.6TE
-
Виртуальная тестовая среда IxVerify позволяет одновременную работу нескольких пользователей по всему миру.
-
Поддержка инструментов Keysight IxNetwork и IxExplorer для генерации и анализа трафика уровней L2/L3.
-
Генерация пользовательского Ethernet-трафика с использованием сотен предопределённых шаблонов пакетов.
-
Расширенная статистика, включая:
-
Анализ пропускной способности.
-
Измерение задержек на основе эмуляции.
-
Высокоточное измерение задержек с точностью до 1 наносекунды (нс).
-
Совместное использование конфигураций и автоматизационных скриптов IxExplorer и IxNetwork между командами тестирования до и после выпуска чипа.
-
Уникальное динамическое формирование трафика с использованием механизмов обратного давления, обеспечивающее нулевую потерю пакетов в виртуальной среде.
-
Шифрование и дешифрование MACsec (IEEE 802.1AE) на скорости линии.
-
Полноценное тестирование всех функций TSN (Time Sensitive Networking) в режиме эмуляции.
-
Обширные возможности автоматизации с поддержкой REST, TCL, Perl, Python и Ruby API.
Спецификации
Характеристика
|
Виртуальное шасси
|
Виртуальный нагрузочный модуль
|
Максимальное количество виртуальных портов
|
128
|
32
|
Максимальное количество виртуальных нагрузочных модулей
|
32
|
Н/Д
|
Максимальное количество портов на тест
|
1024
|
|
Гостевая ОС
|
CentOS 7 / ядро Linux 3.10 (расширенное)
|
|
Формат поставки
|
QCOW2
|
|
Гипервизор и хостовая ОС
|
KVM на базе RHEL 7.3 / CentOS 7.3 (или новее из серии 7.x), KVM на Ubuntu 16.04 LTS и 22.04 LTS
|
|
Сетевое подключение и vNIC-драйвер
|
Виртуальный коммутатор с модифицированным VIRTIO-драйвером
|
|
Скорости Ethernet-портов
|
Поддержка: 10MbE, 100MbE, 1GE, 2.5GE, 5GE, 10GE, 25GE, 40GE, 50GE, 100GE, 200GE, 400GE, 800GE, 1.6TE
|
|
Шаблоны сетевых пакетов
Уровень OSI
|
Поддерживаемые шаблоны пакетов
|
Уровень 2
|
Любой пакет Ethernet II, включая дополнительные заголовки.
|
Уровень 3
|
IPv4, IPv6, AMT, CGMP, DDP, GRE, GTPu, ICMP, IGMP, IPX, IS-IS, L2TP, Minimal IP, MLD, Mobile IPv6, NVGRE, OSPF, PIM, RGMP, RSVP, RTMP, VXLAN, пользовательские
|
Уровни 4–7
|
TCP, UDP, BFD, DHCP, HTTP, IMAP, iSCSI, L2TP, LDP, LISP, MobileIP, MSDP, POP, PTP, RIP, RTP, RTSP, SMTP, TDS, пользовательские
|
Пользовательские
|
Возможность создания или импорта любых Ethernet-пакетов побайтно
|
Генерация Ethernet-трафика
Характеристики генератора трафика:
Конфигурация:
-
Advanced Traffic Wizard — пошаговая настройка трафика с помощью мастера.
-
Quick FlowGroup — детальное управление последовательностью пакетов и вариациями.
Масштабируемость:
-
До 4 миллионов отслеживаемых потоков с использованием IxNetwork.
-
До 16 000 уникальных групп потоков, каждая с индивидуальным профилем передачи.
-
До 1024 групп потоков на порт.
-
До 4096 отслеживаемых принимаемых потоков на порт.
Динамическое изменение скорости передачи:
-
Изменение скорости передачи на лету, без остановки трафика на порту Keysight.
Типы трафика:
-
IPv4, IPv6, MPLS с множеством меток, Ethernet, VLAN, Q-in-Q (провайдерский мост), MAC-in-MAC, PPP, L2 MPLS VPN, L3 MPLS VPN, VPLS, 6PE, 6VPE, мультикаст, мультикаст VPN, пользовательские пакеты.
Сопоставление портов источника/назначения:
-
Один-к-одному, многие-ко-многим, полносвязное соединение (fully meshed).
Маршрутизация между парными портами:
-
Один-к-одному или полносвязная топология.
Группировка потоков:
-
Формирование групп по содержимому пакета, например, по QoS или VLAN ID.
Профили трафика:
-
Размеры фреймов Ethernet II: от 17 до 18000 байт.
-
Варианты: фиксированный, инкрементальный, случайный, IMIX, настраиваемый IMIX, квадратичное гауссово распределение, автоматический (на основе содержимого).
-
Скорость: % от скорости линии, пакеты/с, IFG, L2 битрейт (bps, Bps, KBps, MBps).
-
Шаблоны полезной нагрузки: инкремент/декремент по байтам/словам, случайный, пользовательский, повторяющийся.
-
QoS: поля TOS, DSCP, классы трафика IPv6, 802.1p, MPLS EXP.
Последовательный планировщик потоков:
-
До 1024 уникальных последовательных потоков на порт.
Каждый поток может содержать несколько пакетов; после окончания одного — начинается следующий.
Расширенный планировщик потоков:
-
Передача потоков в чередующемся режиме. Например:
-
Поток 1 (IP) — 20% от скорости линии
-
Поток 2 (TCP) — 50%
-
Поток 3 (MPLS) — 30%
→ Итого 100%, чередование по типам.
Одновременный запуск передачи:
-
Одновременный старт трафика на всех портах.
Старт с задержкой по портам:
-
Запуск передачи с поэтапным включением портов.
Отслеживание трафика по потокам:
-
Отслеживание по любому полю: QoS (TOS/DSCP), VLAN, MAC/IP-адреса, метки MPLS, кастомные дескрипторы, пары Src/Dst, номера потоков и др.
Фильтрация потоков в реальном времени и Flow Detective
-
Фильтрация входящих потоков по критериям отслеживания, заданным пользователем.
-
Определение лучших/худших потоков по количеству принятых пакетов, задержкам (min/max/средняя), меткам времени и потерям в реальном времени (на основе номеров последовательности).
Редактор пакетов (Packet Editor)
Удобный редактор для изменения всех полей и полезной нагрузки в пакетах:
-
Добавление отслеживания: инкремент, декремент, списки, пользовательские значения, связь/разрыв связи с другими заголовками.
-
Редактирование полезной нагрузки: отслеживание пользовательских потоков.
-
Пользовательская настройка: инкремент/декремент по байтам/словам, повторение, фиксированные и определяемые пользователем поля (UDF).
Передача последовательных потоков на порт
-
Миллиарды потоков на порт.
Среда без потерь (No-Loss Virtual Environment)
-
Специальное управление потоками между Keysight и эмулятором обеспечивает нулевую потерю пакетов.
Точное время и синхронизация с эмуляцией
-
Наносекундная точность синхронизации времени между IxVerify и эмулятором.
-
Поддержка точных измерений задержки, меток времени и реализация чувствительных к времени протоколов.
Независимая скорость порта на интерфейс
-
Каждый виртуальный интерфейс соединён с транзактором, что позволяет использовать разные скорости интерфейсов в одной конфигурации.
Настройки Ethernet-уровня
-
Изменение преамбулы Ethernet (размер и значение) от 2 до 8 байт.
-
Вставка межкадрового интервала (IFG) — аппаратная вставка Layer 1 IFG перед портом тестируемого устройства (DUT).
Контроль контрольных сумм IP/TCP/UDP
-
Вставка контрольных сумм в каждый пакет, проверка на стороне приёма.
-
Поддержка негативного тестирования (например, с ошибочными чексуммами).
Отслеживание потерь
-
Отслеживает переданные, ожидаемые и принятые пакеты/байты.
Вычисляет % потерь по разнице между ними.
Скорость передачи
-
Скорости передачи/приёма пакетов и байт, измеряемые в зависимости от скорости порта DUT.
Метки времени и задержка
-
Вставка метки времени в каждый пакет с точностью 1 нс.
-
Измерение задержки по методу cut-through, рассчитываемое эмулятором.
-
Метка вставляется при выходе кадра из транзактора для обеспечения точности.
Продолжительность потери пакетов
-
Оценивается по разнице между ожидаемыми и фактически полученными кадрами при заданной скорости.
Инъекция ошибок в пакеты
-
Вставка неправильных чексумм:
Bad CRC, No CRC, Bad IP/UDP/TCP Checksums.
Базовая и расширенная проверка последовательности
-
Вставка номеров последовательности по смещению в полезной нагрузке.
-
IxVerify может определить:
-
Нарушение порядка
-
Дубликаты
-
Ошибки (малые/большие/обратные)
-
Потерянные, поздние кадры
-
Последний номер
-
Пропуски и общее количество ошибок
Целостность данных (Data Integrity)
При прохождении пакетов через сеть содержимое заголовков IP может изменяться, что требует пересчёта CRC.
Функция контроля целостности данных позволяет проверить полезную нагрузку независимо от CRC всего пакета, чтобы убедиться, что данные внутри пакета не были изменены, даже если заголовок был модифицирован.
Функция контроля целостности данных позволяет проверить полезную нагрузку независимо от CRC всего пакета, чтобы убедиться, что данные внутри пакета не были изменены, даже если заголовок был модифицирован.
Буфер захвата (Capture buffer)
Каждый порт IxVerify имеет буфер размером 1 МБ для захвата пакетов.
Можно применять фильтры захвата, чтобы сохранялись только интересующие пакеты.
Можно применять фильтры захвата, чтобы сохранялись только интересующие пакеты.
Задержка в реальном времени (по потоку)
Порт-приёмник измеряет минимальную, максимальную и среднюю задержку в реальном времени для каждого пакета в потоке.
Статистика в реальном времени
-
Передача/приём пакетов по потокам и портам.
-
Счётчики QoS (802.1p, DSCP, IPv4 TOS).
-
Пользовательские триггеры и статистика.
-
Ведение логов и экспорт статистики в файлы.
Управление потоком (Pause Flow Control, IEEE 802.3x)
-
Интерфейсы IxVerify реагируют на кадры управления потоком IEEE 802.3x.
-
Можно также создавать и передавать собственные Pause-кадры, чтобы проверить реакцию тестируемого устройства (DUT).
Управление приоритетом (Priority Flow Control, IEEE 802.1Qbb)
-
Реакция интерфейсов IxVerify на кадры PFC (управление потоком по приоритетам) по 8 очередям.
-
Возможность создания собственных PFC-кадров для проверки поведения DUT.
MACsec (IEEE 802.1AE)
-
Шифрование/дешифрование на скорости линии от 10MbE до 1.6TE.
-
Поддержка стандартных алгоритмов: GCM-AES-(XPN)-128, GCM-AES-(XPN)-256.
-
Настройка смещения конфиденциальности.
-
Поддержка аутентификации.
-
Проверка номеров последовательности PN (32/64 бит), SL, ICV, EtherType.
-
Варианты импармента (искажения) для большинства параметров MACsec.
PTP/gPTP (IEEE 1588v2 / IEEE 802.1AS)
-
Роль мастера/слейва для портов.
-
Несколько PTP-сессий на порт.
-
Тестирование выбора лучшего мастера, ошибок поправки прозрачных часов (Transparent Clock Correction), масштабируемости слейва.
-
Поддержка искажений сигнала синхронизации (Clock impairment).
AVB (Audio Video Bridging)
-
Поддержка стандартов IEEE 802.1Qat и IEEE 802.1Qav.
-
Резервирование потоков через MSRP (роли Talker/Listener).
-
Поддержка нескольких потоков и статистика по каждому.
Запланированный трафик (Scheduled Traffic, IEEE 802.1Qbv)
-
Планирование трафика на основе gPTP-времени.
-
Точная синхронизация затворов (gates) с эмуляцией.
-
Поддержка негативного тестирования.
Фреймовая преэмпция (Frame Preemption, IEEE 802.1Qbu и 802.3br)
-
Поддержка трафика с прерываниями на скорости линии.
-
Настройка сотен прерываемых потоков на одном порту.
-
Автоматическая проверка поддержки преэмпции у партнёра по кадрам SMD-V и SMD-R.
-
Варианты имитации и проверки (impairments and verification).
Результаты тестирования — Statistics Viewer (просмотр статистики)
Основные возможности:
-
Иерархическое отображение сводной статистики с возможностью детализации до уровня группы и отдельного потока.
-
Разные режимы отображения статистики трафика:
Мгновенная, накопительная или объединённая.
-
Возможность сохранения результатов в CSV-файл:
как отдельного представления, так и глобального уровня, с поддержкой просмотра больших файлов через встроенный CSV-просмотрщик.
Функции и типы статистики:
Раздел
|
Описание
|
Global Protocol
|
Протокольные счётчики на уровне порта
|
Port
|
Режим порта, скорость, скорость передачи кадров и данных
|
Tx-Rx Frame Rate
|
График скорости передачи/приёма кадров
|
Port CPU
|
Загрузка CPU порта и связанная статистика
|
Data Plane Port
|
Счётчики кадров и скорости без учёта управляющего трафика
|
Traffic Item
|
Суммарная статистика по всем потокам в конкретной группе трафика
|
User Defined
|
Пользовательская статистика по заданным параметрам отслеживания
|
Flow Statistics
|
Статистика на уровне отдельных потоков
|
Flow Detective
|
Фильтрация и сортировка потоков по результатам
|
Resource Manager (Менеджер ресурсов)
Возможности Resource Manager:
-
Позволяет пользователям поэтапно собирать конфигурации.
-
Можно сохранять отдельные элементы, такие как:
-
Протоколы
-
Элементы трафика
-
Эти элементы затем можно повторно использовать в текущих конфигурациях.
-
Пользователи могут видеть внесённые изменения с помощью встроенной функции сравнения конфигураций ("diff").
Автоматизация
Настройка сценариев тестирования:
-
Настройка тестов осуществляется через пошаговый графический интерфейс.
-
Одним нажатием кнопки можно сгенерировать Tcl-скрипт.
-
Скрипты можно:
-
Редактировать
-
Комбинировать
-
Выполнять с GUI-сопровождением (IxNetwork отображает статистику и состояния в реальном времени).
Типы тестов и средств автоматизации
Тип
|
Назначение
|
Возможности
|
QuickTest
|
Масштабируемость
|
- Стандартизированные методики на базе RFC IETF
- Пользовательские производительные тесты
- Преднастроенные тесты
- Генерация подробных отчётов
|
Macro Recorder
|
Функциональность
|
- «Кликовая автоматизация» — без необходимости писать скрипты
- Быстрый захват ручных тестов
- Воспроизведение шагов, вызвавших сбой
|
Test Composer & Tweakables
|
Регрессия
|
- Автоматизация через GUI без знания Tcl
- Полный контроль исполнения
- Возможность правки шагов, записанных в Macro Recorder
|
ScriptGen
|
Регрессия
|
- Однокнопочная генерация скрипта из GUI
|
Низко- и высокоуровневые API
|
Функции и регрессия
|
- Для опытных Tcl-программистов
- Полный контроль над конфигурацией
- Поддержка REST, Tcl, Perl, Python и Ruby API
|
REST API / RESTPy / Robot/API Browser
(только IxNetwork)
|
Функции и регрессия
|
- Современные технологии автоматизации: REST, JSON, Robot, Python
- RESTPy: обёртка REST API на Python
- API Browser: обзор иерархии API и ускорение автоматизации
|
Тесты QuickTest
Тесты на основе RFC:
RFC
|
Название
|
Описание
|
RFC 2544
|
Layer 2
|
Пропускная способность, задержка, потеря кадров, back-to-back тесты
|
RFC 2889
|
Layer 2
|
Скорость широковещания, контроль перегрузки, фильтрация ошибок кадров, полносвязная топология, топологии «многие-к-одному», «один-ко-многим», частично связанная
|
RFC 3918
|
Мультикаст
|
Совокупная пропускная способность мультикаста, задержка при присоединении к группе под нагрузкой, задержка форвардинга, масштабируемость, шаблоны групп, задержка выхода/входа
|
Характеристика | Значение |
---|