Mesmo lab, mesmo resultado
Rode o mesmo lab duas vezes com os mesmos comandos e o netverdict deve produzir as mesmas rotas, packet path e veredicto.
docs do netverdict
Veja o que o netverdict consegue simular hoje.
Use esta documentação para conferir suporte de protocolos, suporte de configuração por vendor, limites conhecidos e labs que abrem direto no navegador. Sem imagens de vendor, sem instalação, sem adivinhar o que “suporta BGP” quer dizer.
Comece aqui se quiser uma resposta direta
netverdict modela comportamento de rede diretamente no navegador. Ele não inicializa sistemas operacionais de vendors. Isso torna labs rápidos de abrir e fáceis de compartilhar, mas também exige documentação honesta sobre o que é modelado, parcial ou ainda ausente.
- O que é
- Um simulador de rede no navegador para labs e testes de mudança
- Por que repete
- O mesmo lab e os mesmos comandos produzem o mesmo caminho de pacote e veredicto
- O que esperar
- Rótulos claros: suportado, parcial, stub ou ainda não modelado
O que funciona
Suporte de protocolos
Esta é a versão curta. “Suportado” significa que pode ser usado em labs práticos. “Parcial” significa que peças úteis existem, mas alguns comportamentos avançados ainda faltam.
| Subsistema | Status | Notas | Abrir lab |
|---|---|---|---|
| IPv4 forwardingRFC 791 / RFC 1812 | suportado | Consulta de tabela de rotas, TTL, drops tipo traceroute e erros ICMP para labs comuns. | Abrir |
| OSPFv2RFC 2328 | suportado | Vizinhos, eleição DR / BDR, routing multiárea, summaries, ranges, virtual links e variantes de stub area. | Abrir |
| BGP-4 + MP-BGPRFC 4271 / 4760 / 4364 | suportado | Labs comuns de policy: atributos, route maps, communities, local-pref, MED, AS-path e VPNv4. | Abrir |
| MPLS / LDPRFC 3032 / RFC 5036 | suportado | Distribuição de labels, push / swap / pop, PHP, TTL e forwarding VRF estilo L3VPN. | Abrir |
| ACLs + time rangesCisco semantics / RFC 1812 | suportado | Regras first-match, deny implícito, object groups, ranges de porta e janelas de tempo. | Abrir |
| NAT / PATRFC 2663 | parcial | Static NAT e UDP PAT funcionam. TCP / ICMP PAT e casos ASA NAT mais profundos ainda não estão completos. | Abrir |
| RIPRFC 2453 | stub | Alguma config RIP pode ser parseada, mas ainda não há processo RIP completo. | - |
Suporte de config
Matriz de suporte por vendor
Esses perfis definem quais formatos de configuração você pode colar e qual estilo de CLI pode usar no terminal. São superfícies do simulador, não cópias de sistemas operacionais de vendors.
| Perfil | Pode colar config? | Bom para | Limite atual |
|---|---|---|---|
| IOS-stylecisco-ios / ios-xe / nx-os / ios-xr | Sim, para formatos comuns de running-config | Routing, switching, ACL, NAT, serviços e policy labs estilo IOS | Nem todo comando específico de plataforma existe. |
| ASA-stylecisco-asa | Sim, por parser específico ASA | Regras de firewall, security levels, ACLs e NAT estilo ASA | A paridade completa de ASA NAT ainda é limitada. |
| Junos-stylejuniper-junos | Sim, caminhos set-style e XML | Candidate config, commit, rollback e prática estilo Junos | Superfície estilo Junos, não Junos OS. |
| VyOS / EdgeOSvyos / edgeos | Sim, parser direto | Importação de config família Vyatta e labs de routing | A profundidade de firewall, VRRP, WireGuard, QoS e IPv6 varia. |
| OpenWrt / UniFiopenwrt / unifi | Sim, UCI e JSON de controller | Cenários de router doméstico / filial e export de controller | UniFi usa dados exportados do controller, não uma CLI do device. |
| Gaia / EXOScheckpoint-gaia / extreme-exos | Sim, parser direto | Firewall stateful e cenários de switch centrados em VLAN | A importação de config é mais profunda que a CLI interativa. |
Por que confiar?
Labs repetíveis, não screenshots
Bom para debug
Como os resultados se repetem, um bug report ou lab falho pode ser reproduzido em vez de reconstruído de memória.
Capturas úteis
O export de packet capture escreve arquivos libpcap que abrem no Wireshark para frame types suportados.
Um modelo de comportamento
Diferentes estilos CLI alimentam o mesmo modelo de simulação; reachability não depende da sintaxe vendor usada.
Experimente
Abra um lab a partir da documentação
Docs são mais úteis quando conectam a algo executável. Estes links abrem o simulador diretamente no lab correspondente.
- Lab de acesso VLANcomportamento L2 inicial
- Lab de rotas estáticasbases de FIB e alcançabilidade
- Lab BGP local-prefseleção de caminho por política
- Lab MPLS L3VPNsemântica de VRF / labels
Limites conhecidos
O que ainda não está totalmente modelado
Funciona bem hoje
- Forwarding IPv4 / IPv6 determinístico com ARP, ND, ICMP e tratamento TTL / hop-limit.
- OSPFv2, OSPFv3, EIGRP, BGP-4, MP-BGP VPNv4, LDP, MPLS push / swap / pop.
- ACLs com object groups, port ranges, time ranges, NAT static, UDP PAT, DHCP, CDP e export pcap.
Ainda limitado
- Alguns control planes estão corretos em comportamento, mas não emitem internamente cada pacote real de wire.
- RIP está config-only por enquanto; NAT PAT é focado em UDP; TCP / ICMP PAT foi adiado.
- Perfis vendor são command surfaces sobre o kernel netverdict, não clones de vendor OS.