Stesso lab, stesso risultato
Esegui lo stesso lab due volte con gli stessi comandi e netverdict dovrebbe produrre le stesse rotte, lo stesso packet path e lo stesso verdict.
documentazione netverdict
Scopri cosa netverdict può simulare oggi.
Usa questa documentazione per verificare supporto dei protocolli, supporto delle configurazioni vendor, limiti noti e lab apribili direttamente nel browser. Niente immagini vendor, niente installazione, niente ambiguità su “supporta BGP”.
Inizia qui se vuoi una risposta diretta
netverdict modella il comportamento di rete direttamente nel browser. Non avvia sistemi operativi vendor. Questo rende i lab rapidi da aprire e facili da condividere, ma richiede documentazione onesta su ciò che è modellato, parziale o non ancora presente.
- Cos’è
- Un simulatore di rete nel browser per lab e test di modifiche
- Perché si ripete
- Lo stesso lab e gli stessi comandi producono lo stesso percorso del pacchetto e lo stesso verdetto
- Cosa aspettarsi
- Etichette chiare: supportato, parziale, stub o non ancora modellato
Cosa funziona
Supporto protocolli
Questa è la versione breve. “Supportato” significa utilizzabile in lab pratici. “Parziale” significa che parti utili ci sono, ma alcuni comportamenti avanzati mancano ancora.
| Sottosistema | Stato | Note | Apri lab |
|---|---|---|---|
| IPv4 forwardingRFC 791 / RFC 1812 | supportato | Lookup della tabella di routing, TTL, drop tipo traceroute ed errori ICMP per lab comuni. | Apri |
| OSPFv2RFC 2328 | supportato | Neighbor, elezione DR / BDR, routing multi-area, summaries, ranges, virtual links e varianti stub area. | Apri |
| BGP-4 + MP-BGPRFC 4271 / 4760 / 4364 | supportato | Lab policy comuni: attributi, route maps, communities, local-pref, MED, AS-path e VPNv4. | Apri |
| MPLS / LDPRFC 3032 / RFC 5036 | supportato | Distribuzione label, push / swap / pop, PHP, TTL e forwarding VRF stile L3VPN. | Apri |
| ACLs + time rangesCisco semantics / RFC 1812 | supportato | Regole first-match, deny implicito, object groups, range porte e finestre temporali. | Apri |
| NAT / PATRFC 2663 | parziale | Static NAT e UDP PAT funzionano. TCP / ICMP PAT e casi ASA NAT più profondi non sono ancora completi. | Apri |
| RIPRFC 2453 | stub | Parte della config RIP può essere parsata, ma non esiste ancora un processo RIP completo. | - |
Supporto config
Matrice supporto vendor
Questi profili decidono quali formati di configurazione puoi incollare e quale stile CLI puoi usare nel terminale. Sono superfici del simulatore, non copie di OS vendor.
| Profilo | Config incollabile? | Adatto a | Limite attuale |
|---|---|---|---|
| IOS-stylecisco-ios / ios-xe / nx-os / ios-xr | Sì, per forme comuni di running-config | Routing, switching, ACL, NAT, servizi e policy lab stile IOS | Non esiste ogni comando specifico di piattaforma. |
| ASA-stylecisco-asa | Sì, tramite parser specifico ASA | Regole firewall, security levels, ACL e NAT stile ASA | La parità completa ASA NAT è ancora limitata. |
| Junos-stylejuniper-junos | Sì, percorsi set-style e XML | Candidate config, commit, rollback e pratica stile Junos | Superficie stile Junos, non Junos OS. |
| VyOS / EdgeOSvyos / edgeos | Sì, parser diretto | Import config famiglia Vyatta e lab routing | La profondità di firewall, VRRP, WireGuard, QoS e IPv6 varia. |
| OpenWrt / UniFiopenwrt / unifi | Sì, UCI e JSON controller | Scenari router casa / filiale ed export controller | UniFi usa dati export controller, non una CLI device. |
| Gaia / EXOScheckpoint-gaia / extreme-exos | Sì, parser diretto | Firewall stateful e scenari switch centrati su VLAN | L’import config è più profondo della CLI interattiva. |
Perché fidarsi?
Lab ripetibili, non screenshot
Utile per debug
Poiché i risultati si ripetono, un bug report o lab fallito può essere riprodotto invece di essere ricostruito a memoria.
Capture utili
L’export packet capture scrive file libpcap apribili in Wireshark per i frame type supportati.
Un solo modello di comportamento
Stili CLI diversi alimentano lo stesso modello di simulazione; i check di reachability non dipendono dalla sintassi vendor usata.
Prova
Apri un lab dalla documentazione
La documentazione è più utile quando collega a qualcosa di eseguibile. Questi link aprono il simulatore direttamente nel lab corrispondente.
- Lab accesso VLANcomportamento L2 iniziale
- Lab rotte statichebasi FIB e raggiungibilità
- Lab BGP local-prefselezione del percorso sotto policy
- Lab MPLS L3VPNsemantica VRF / label
Limiti noti
Cosa non è ancora modellato completamente
Funziona bene oggi
- Forwarding IPv4 / IPv6 deterministico con ARP, ND, ICMP e gestione TTL / hop-limit.
- OSPFv2, OSPFv3, EIGRP, BGP-4, MP-BGP VPNv4, LDP, MPLS push / swap / pop.
- ACL con object groups, port ranges, time ranges, NAT static, UDP PAT, DHCP, CDP ed export pcap.
Ancora limitato
- Alcuni control plane sono corretti nel comportamento, ma non emettono internamente ogni pacchetto wire reale.
- RIP è attualmente config-only; NAT PAT è focalizzato su UDP; TCP / ICMP PAT è rinviato.
- I profili vendor sono command surface sul kernel netverdict, non cloni di vendor OS.