Tema
Automatización de pruebas de software
Dentro de la faceta Tema, la inteligencia temática Automatización de pruebas de software conecta artículos que comparten un tema específico, un enfoque en señales o una temática de seguimiento. La página ofrece a los lectores un recorrido más completo a través de informes relacionados, evidencia de fuentes, actores del mercado e implicaciones de infraestructura, con el contexto suficiente para entender por qué el tema es relevante en los movimientos corporativos, las decisiones de gobernanza, la exposición regional y el riesgo operativo. Los lectores pueden comparar señales recurrentes, organizaciones implicadas, evidencia pública, contexto de mercado, continuidad del servicio, contratación, competencia, cumplimiento y cuestiones de planificación estratégica que subyacen al tema, en lugar de quedarse en una lista escueta de artículos relacionados. Explica de qué trata el tema, qué actores o políticas de infraestructura están implicados, qué evidencia respalda la cobertura y por qué puede ser relevante para operadores, clientes, inversores y lectores interesados en las políticas.
IETF
La misma conexión, otro ajuste: lo que YANG no demuestra sobre QUIC
Una configuración aceptada no identifica por sí sola la conexión que la ha adoptado. La revisión 08 de las agrupaciones YANG para QUIC deja la modificación de conexiones establecidas en manos de cada implementación y de su biblioteca: demostrar continuidad exige seguir el cambio…
IETF
La cuota cuenta textos, el servicio cuenta recursos: la frontera de RFC 9741
Aceptar varias representaciones de un mismo dato puede ser una decisión de compatibilidad razonable. El problema aparece cuando aprobación, caché y facturación interpretan de forma distinta qué se ha repetido, sin que nadie haya definido la unidad ni asumido el coste de…

Historia de Internet
RFC 2041 y la distancia entre registrar una red y repetir una prueba
Una captura móvil podía describir un recorrido irrepetible. Para llevarla al laboratorio, RFC 2041 exigía convertir observaciones concretas en un calendario simplificado de demoras y pérdidas. Las decisiones de esa conversión delimitaban tanto el experimento como sus…
IETF
Dos aprobaciones verdes pueden significar cosas opuestas
La revisión 00 de un borrador NETMOD ya vencido propuso dos opciones para validar `anydata`. Una ejecutaba todas las restricciones del esquema; la otra no. Sin esa distinción y sin la instantánea de YANG Library, “válido” deja de ser una afirmación comprobable.

Historias
La interfaz ASPA de APNIC comprueba rutas observadas. Un proveedor de reserva no deja ninguna por comprobar
APNIC ha puesto una barrera sensata en su nueva interfaz ASPA: sugiere proveedores a partir de datos de enrutamiento visibles y después muestra qué ocurriría con las rutas BGP observadas si cambia la lista. El caso incómodo es el proveedor contratado precisamente para no aparecer…
IETF
El contexto que NAIM omite también define lo que su IA no puede probar
Un contexto más corto puede mejorar la respuesta de un modelo y, al mismo tiempo, dejar fuera el dato que decide si esa respuesta sirve en un equipo real. NAIM hace explícita esa tensión al separar un JSON canónico, una vista Markdown para personas y una vista reducida para LLM.…

Historias
El comprobador de prefijos de AFRINIC puede tomar el ASN de BGP. El veredicto solo conserva la hora de RPKI.
La comodidad del buscador oculta una bifurcación útil: primero el sistema decide qué origen ve en BGP y después pregunta qué dice RPKI sobre ese par. AFRINIC muestra la frescura de ambas fuentes, pero el resultado que uno guarda no las cose en una sola prueba.
IETF
Una dirección MAC, cuatro escrituras: un borrador YANG redefine el duplicado
La novedad no obliga a cambiar lo que ve el operador. Los dos puntos, los guiones y las mayúsculas pueden conservarse tal como llegaron, mientras otra forma, calculada en segundo plano, decide si una segunda configuración ya existía.

Historias
El firmware 5130 de RIPE Atlas estrenó una arquitectura OpenWrt para hardware. El despliegue necesita algo más que un número
Una versión cabe en una celda y por eso termina representando demasiado. En RIPE Atlas, «5130» puede nombrar código, paquetes, varias generaciones de sondas y un estado que la API observa después de la actualización. No demuestra por sí sola que una compilación concreta, firmada…
IETF
Cinco requisitos abiertos no equivalen a cinco pruebas superadas
La revisión 14 ordena los problemas que una futura solución de versionado YANG debe resolver. No certifica ninguna solución. Convertir sus cinco grupos en cinco marcas verdes borra justo la distancia que importa: la que separa una obligación escrita de un cliente, un servidor y…
IETF
Dos versiones de YANG pueden coexistir sin compartir el esquema efectivo
Una migración puede parecer resuelta justo cuando su incertidumbre más importante se ha desplazado a otra capa: `draft-ietf-netmod-yang2-00` permite que un importador antiguo conviva con una dependencia en YANG 2.0, pero no demuestra qué revisión resuelve ni qué contrato compila…
IETF
Dos copias pueden coincidir antes de que cambie un solo equipo
Un sufijo de borrador puede desaparecer en la mesa editorial, pero no por eso aparece una versión nueva en los dispositivos. La revisión 03 de la guía NETMOD propone una secuencia concreta para convertir un módulo YANG provisional en dos publicaciones coordinadas. Su mérito…
IETF
ypath puede unificar la ruta, no la evidencia
Una herramienta puede aceptar una ruta YANG, expandir un comodín y devolver resultados sin haber demostrado tres cosas distintas: que comparte el mismo esquema, que encontró todo lo pertinente y que el solicitante podía verlo. `draft-jgc-netmod-yang-path-00` propone una sintaxis…
IETF
El esquema rechazó la suma, pero no demostró el alcance
La primera defensa contra una métrica engañosa puede ser muy simple: no sumar lo que el propio modelo declara incomparable. La segunda defensa es más difícil: comprobar que esa declaración describe la realidad y no sólo una intención escrita en YANG.
IETF
El clasificador resolvió la disputa; la red aún debía mostrar el paquete
Una tabla de precedencias puede decidir sin ambigüedad qué subinterfaz recibe una trama VLAN. No puede certificar que el hardware instaló esa decisión, que la reescritura ocurrió ni que el tráfico alcanzó el servicio previsto.
IETF
La interfaz seguía «up» mientras la portadora ya estaba caída
Ocultar un corte breve puede evitar una tormenta de reconvergencia. También puede dejar tráfico entrando en un enlace que ya no existe. El borrador de extensiones de interfaz no resuelve esa tensión: la vuelve configurable y observable. La responsabilidad operativa empieza justo…
IETF
El XML pasó la prueba; la semántica aún no
Una cadena de herramientas puede declarar dos documentos XML equivalentes y seguir equivocándose sobre la configuración efectiva. El borrador de NETMOD separa la codificación XML de YANG de la definición del lenguaje. Al hacerlo, también delimita la distancia entre una…
IETF
Una fecha posterior puede pertenecer a la rama equivocada
La revisión 17 del borrador de versionado de módulos YANG reconoce las bifurcaciones, señala pasos potencialmente incompatibles y permite declarar cómo trata un servidor los nodos retirados. Es una mejora de transparencia, no una certificación de que la dependencia elegida, el…
IETF
HTTP/2 Rapid Reset: reparar el protocolo no demuestra cerrar la exposición
El ataque HTTP/2 Rapid Reset convirtió una regla normal de gestión de flujos en una superficie de denegación de servicio. La respuesta muestra dónde termina la autoridad de un estándar: la IETF puede documentar el comportamiento, revisar el texto y coordinar una respuesta, pero…

Historias
Rapport conserva las rutas en caché, pero aún no comprueba el aviso por manifiesto ausente
La nueva prueba de LACNIC resuelve correctamente la continuidad de los datos RPKI; la línea que debería demostrar que el operador conoce la degradación sigue desactivada.
