Mismo lab, mismo resultado
Ejecuta el mismo lab dos veces con los mismos comandos y netverdict debería producir las mismas rutas, el mismo packet path y el mismo verdict.
documentación de netverdict
Comprueba qué puede simular netverdict hoy.
Usa esta documentación para revisar soporte de protocolos, soporte de configuración por fabricante, límites conocidos y labs que puedes abrir directamente en el navegador. Sin imágenes de fabricante, sin instalación, sin adivinar qué significa “soporta BGP”.
Empieza aquí si quieres una respuesta directa
netverdict modela el comportamiento de red directamente en el navegador. No arranca sistemas operativos de fabricantes. Eso hace que los labs sean rápidos de abrir y fáciles de compartir, pero también exige que la documentación sea honesta sobre qué está modelado, qué es parcial y qué aún no existe.
- Qué es
- Un simulador de red en navegador para labs y pruebas de cambios
- Por qué se repite
- El mismo lab y los mismos comandos producen la misma ruta de paquete y el mismo veredicto
- Qué esperar
- Etiquetas claras: soportado, parcial, stub o aún no modelado
Qué funciona
Soporte de protocolos
Esta es la versión corta. “Soportado” significa que puedes usarlo en labs prácticos. “Parcial” significa que hay piezas útiles, pero faltan algunos comportamientos avanzados.
| Subsistema | Estado | Notas | Abrir lab |
|---|---|---|---|
| IPv4 forwardingRFC 791 / RFC 1812 | soportado | Búsqueda en tabla de rutas, TTL, drops tipo traceroute y errores ICMP para labs comunes. | Abrir |
| OSPFv2RFC 2328 | soportado | Vecinos, elección DR / BDR, routing multiárea, summaries, ranges, virtual links y variantes de stub area. | Abrir |
| BGP-4 + MP-BGPRFC 4271 / 4760 / 4364 | soportado | Labs comunes de policy: atributos, route maps, communities, local-pref, MED, AS-path y VPNv4. | Abrir |
| MPLS / LDPRFC 3032 / RFC 5036 | soportado | Distribución de labels, push / swap / pop, PHP, TTL y forwarding VRF estilo L3VPN. | Abrir |
| ACLs + time rangesCisco semantics / RFC 1812 | soportado | Reglas first-match, deny implícito, object groups, rangos de puertos y ventanas de tiempo. | Abrir |
| NAT / PATRFC 2663 | parcial | Static NAT y UDP PAT funcionan. TCP / ICMP PAT y casos ASA NAT más profundos aún no están completos. | Abrir |
| RIPRFC 2453 | stub | Puedes parsear parte de la config RIP, pero aún no hay proceso RIP completo. | - |
Soporte de configuración
Matriz de soporte por fabricante
Estos perfiles deciden qué formatos de configuración puedes pegar y qué estilo de CLI puedes usar en la terminal. Son superficies del simulador, no copias de sistemas operativos de fabricantes.
| Perfil | ¿Permite pegar config? | Bueno para | Límite actual |
|---|---|---|---|
| IOS-stylecisco-ios / ios-xe / nx-os / ios-xr | Sí, para formas comunes de running-config | Routing, switching, ACL, NAT, servicios y policy labs estilo IOS | No existe cada comando específico de plataforma. |
| ASA-stylecisco-asa | Sí, mediante parser específico de ASA | Reglas firewall, security levels, ACLs y NAT estilo ASA | La paridad completa de ASA NAT sigue limitada. |
| Junos-stylejuniper-junos | Sí, rutas set-style y XML | Candidate config, commit, rollback y práctica estilo Junos | Superficie estilo Junos, no Junos OS. |
| VyOS / EdgeOSvyos / edgeos | Sí, parser directo | Importación de config familia Vyatta y labs de routing | La profundidad de firewall, VRRP, WireGuard, QoS e IPv6 varía. |
| OpenWrt / UniFiopenwrt / unifi | Sí, UCI y JSON de controller | Escenarios de router doméstico / sucursal y export de controller | UniFi usa datos exportados del controller, no una CLI de dispositivo. |
| Gaia / EXOScheckpoint-gaia / extreme-exos | Sí, parser directo | Firewall stateful y escenarios switch centrados en VLAN | La importación de config es más profunda que la CLI interactiva. |
¿Por qué confiar?
Labs repetibles, no capturas de pantalla
Bueno para depurar
Como los resultados se repiten, un bug report o lab fallido se puede reproducir en vez de reconstruirlo de memoria.
Capturas útiles
La exportación de packet capture escribe archivos libpcap que se abren en Wireshark para los tipos de frame soportados.
Un solo modelo de comportamiento
Diferentes estilos CLI alimentan el mismo modelo de simulación, así que reachability no depende de la sintaxis vendor usada.
Pruébalo
Abre un lab desde la documentación
La documentación es más útil cuando conecta con algo ejecutable. Estos enlaces abren el simulador directamente en el lab correspondiente.
- Lab de acceso VLANcomportamiento L2 inicial
- Lab de rutas estáticasbases de FIB y alcanzabilidad
- Lab BGP local-prefselección de ruta bajo política
- Lab MPLS L3VPNsemántica de VRF / labels
Límites conocidos
Qué aún no está modelado por completo
Funciona bien hoy
- Forwarding IPv4 / IPv6 determinista con ARP, ND, ICMP y manejo de TTL / hop-limit.
- OSPFv2, OSPFv3, EIGRP, BGP-4, MP-BGP VPNv4, LDP, MPLS push / swap / pop.
- ACLs con object groups, rangos de puertos, time ranges, NAT static, UDP PAT, DHCP, CDP y export pcap.
Todavía limitado
- Algunos control planes son correctos en comportamiento, pero no emiten internamente cada paquete real de wire.
- RIP es config-only por ahora; NAT PAT se centra en UDP; TCP / ICMP PAT queda aplazado.
- Los perfiles vendor son superficies de comando sobre el kernel netverdict, no clones de OS vendor.