Тема
Автоматизация тестирования ПО
В фасете «Тема» значение «Автоматизация тестирования ПО» объединяет статьи по конкретной теме или предмету наблюдения. Здесь собраны связанные публикации, источники, участники рынка и последствия для инфраструктуры. Страница помогает сравнить повторяющиеся сигналы, затронутые организации, непрерывность услуг, закупки, конкуренцию, соблюдение требований и вопросы стратегического планирования, а также понять, почему тема важна операторам, заказчикам, инвесторам и специалистам по политике.
Досье
Сертификат совпал с открытым ключом. Использование закрытого ключа осталось отдельным фактом: RFC 9640
RFC 9640 требует проверять математическую связь ключевой пары и соответствие сертификата открытому ключу. Такая проверка обнаруживает ошибочную сборку объектов, но не доказывает законность выпуска, полномочия пользователя, назначение закрытого ключа или результат конкретной…
История
График не был испытанием
В 1998 году RFC 2398 собрал двенадцать способов заставить TCP проявить себя: дать нагрузку, замедлить путь, повредить пакеты, сохранить трассу, рассчитать интервалы или начертить пространство последовательностей. Но главный урок состоял в том, что ни одна из этих операций сама по…
Досье
MD5 совпал, но источник записи остался неустановленным: RFC 9639
RFC 9639 позволяет строго проверить, что FLAC восстановил целочисленные PCM-сэмплы, поступившие в кодер. Совпадение не удостоверяет, кто создал запись, была ли выбрана правильная версия, правдивы ли теги и что именно дошло до слушателя.
Досье
Адрес был зарезервирован. Сеть ещё должна была его отбросить: RFC 9637
RFC 9637 выделяет пространство для крупных примеров IPv6, не заимствуя чужие адреса. Но запись IANA не устанавливает фильтр на маршрутизаторе. Между назначением `3fff::/20` и фактической изоляцией лежат версии политик, точки применения и границы наблюдения.
Досье
Файл знал смещение, но не закон завтрашнего дня: RFC 9636
RFC 9636 задаёт бинарный формат TZif для правил гражданского времени. Корректно усечённый файл может честно сообщить, что до или после его диапазона местное время неизвестно. Опасность начинается, когда приложение превращает эту границу в молчаливую уверенность.
Досье
Проба вернулась зелёной. Возможно, она шла другой дорогой: RFC 9634
RFC 9634 переносит существующие средства IP OAM в DetNet, но успешный тест становится доказательством производственного потока только после подтверждения общего пути, обработки и ресурсов.
Досье
Дерево сообщило «готово». Сроку всё ещё нужны часы: RFC 9633
RFC 9633 описывает потоки DetNet, требования к трафику, сервисные и транспортные уровни и часть рабочего состояния в общей модели YANG. Целостное дерево показывает управляемую структуру, но не восстанавливает историю пакетов, необходимую для доказательства задержки, потерь и…
Досье
Короткая метка сохранилась. Доказательство пути — нет: RFC 9631
RFC 9631 кодирует путь IPv6 идентификаторами по 16 или 32 бита. Экономия достигается потому, что адрес, топологическая функция, параметры и решение о доверии остаются в локальной таблице, а не в пакете.
Досье
Граф ссылок сошёлся. Картинка — ещё нет: RFC 9628
В RTP-потоке VP9 зависимости можно перечислять у каждого изображения или восстанавливать по повторяющейся структуре. Такой граф помогает выборочной пересылке, но не удостоверяет наличие всех пакетов, состояние декодера и показанный пользователю кадр.
Досье
Запрос был принят, но декодер не поднялся: RFC 9627
Layer Refresh Request точно описывает желаемый переход между слоями масштабируемого видео. Для разбора сбоя этого мало: команда, действие кодировщика, доставка и фактический переход декодера должны оставлять разные квитанции.
Досье
Видео было зашифровано. Решение отбросить кадр доверилось одному биту: RFC 9626
Коммутатор видит метку, но не видит содержимое кадра и состояние декодера на другом конце. RFC 9626 делает такое разделение полезным: посредник получает ровно столько знания, сколько нужно для маршрутизации. Ошибка начинается, когда это знание принимают за полный результат.
Досье
Цепочка была короткой, очередь — нет: RFC 9618 и цена проверки X.509
Сервис проверки сертификатов выдерживал обычную нагрузку, но остановился на нескольких специально составленных отображениях политик. RFC 9618 сохраняет итоговое решение X.509 и меняет то, сколько работы недоверенный вход способен навязать системе до этого решения.
Досье
Половина трафика шла через Токио, хотя оба маршрута считались равными: RFC 9616
В ромбовидной схеме два пути имели одинаковое число переходов. Один оставался в Париже, другой уходил через Токио. Формальная метрика не ошибалась — туннель скрыл расстояние. RFC 9616 возвращает задержку в решение Babel, но не превращает вычисленную стоимость в доказательство…
ICANN
В новом опросе ICANN изменился круг сайтов, входящих в расчёт
Доля сайтов, принимающих интернационализированные адреса электронной почты, в отчёте выросла. Но в 2026 году проверка стала автоматической и охватила лишь сайты, до которых программа смогла добраться. Прежде чем назвать разницу прогрессом, нужно выяснить, сопоставимы ли сами…
Учёные
Robin Milner и теорема, которую поиск не мог отчеканить сам
Тактика способна перебрать тысячи ветвей и закончить сообщением об успехе. В архитектуре LCF такое сообщение ещё не означало принятия результата. Решающим был объект-теорема, который могли породить только защищённые аксиомы и функции примитивных правил вывода. Вклад Robin Milner…
IETF
Последний LIE был принят. Работоспособность фабрики ещё не доказана: RFC 9719
Один индикатор может быть абсолютно верным и всё же привести оператора к неверному выводу. RFC 9719 сообщает, принят ли последний LIE, но намеренно не превращает этот факт в свидетельство исправности всей RIFT-фабрики.
IETF
Маршрут по умолчанию остался, а лист оказался недоступен: граница доказательства в RFC 9692
В RIFT-сети отказ может не удалить маршрут по умолчанию. Один plane теряет путь к конкретному leaf, но агрегат продолжает принимать трафик. Поэтому сообщение о дезагрегации — начало проверки, а не её итог.
Досье
Состояние до секундомера: граница доказательства в RFC 9693
Два прогона могут дать нулевые потери и всё же отвечать на разные вопросы. Если один NAT создаёт соединения во время измерения, а другой пересылает трафик по заранее подготовленному набору, одинаковая единица измерения не делает результаты сравнимыми.
История
Dorothy Denning: что на самом деле разрешает решётка потоков
Формальная проверка сильна не широтой обещания, а точностью вывода. Модель Dorothy E. Denning устанавливает, разрешена ли представленная в программе зависимость выбранной политикой потоков. Она не превращает выбранные метки, реализацию и среду исполнения в безусловно безопасные.
Истории
Rapport считает результат только после обнаружения пути теста
Обновлённый селектор Rapport от LACNIC превращает списки категорий и тестов в матрицу. Но если у запрошенной пары нет каталога, она исчезает до получения идентификатора, запуска сценария и любого итогового счётчика.