tài liệu netverdict

Xem netverdict mô phỏng được gì hôm nay.

Dùng tài liệu này để kiểm tra hỗ trợ giao thức, hỗ trợ cấu hình vendor, giới hạn đã biết và các lab mở trực tiếp trong trình duyệt. Không vendor image, không cài đặt, không phải đoán “supports BGP” nghĩa là gì.

Bắt đầu ở đây nếu bạn muốn câu trả lời thẳng

netverdict model hành vi mạng trực tiếp trong trình duyệt. Nó không boot hệ điều hành vendor. Điều đó làm lab mở nhanh và dễ chia sẻ, nhưng cũng nghĩa là tài liệu phải trung thực về phần nào đã model, phần nào partial và phần nào chưa có.

Nó là gì
Simulator mạng chạy trong trình duyệt cho lab và change testing
Vì sao kết quả lặp lại
Cùng lab và lệnh sẽ tạo cùng packet path và verdict
Kỳ vọng gì
Nhãn rõ ràng: supported, partial, stub hoặc not modelled yet

Cái gì hoạt động

Hỗ trợ giao thức

Đây là bản ngắn. “Supported” nghĩa là dùng được trong lab thực tế. “Partial” nghĩa là đã có phần hữu ích, nhưng một số hành vi nâng cao vẫn thiếu.

SubsystemTrạng tháiGhi chúMở lab
IPv4 forwardingRFC 791 / RFC 1812hỗ trợTra cứu routing-table, xử lý TTL, drop kiểu traceroute và ICMP errors cho lab phổ biến.Mở
OSPFv2RFC 2328hỗ trợNeighbors, bầu chọn DR / BDR, routing multi-area, summaries, ranges, virtual links và biến thể stub-area.Mở
BGP-4 + MP-BGPRFC 4271 / 4760 / 4364hỗ trợCác policy lab phổ biến: attributes, route maps, communities, local-pref, MED, AS-path và VPNv4.Mở
MPLS / LDPRFC 3032 / RFC 5036hỗ trợPhân phối label, push / swap / pop, PHP, xử lý TTL và VRF forwarding kiểu L3VPN.Mở
ACLs + time rangesCisco semantics / RFC 1812hỗ trợRule first-match, implicit deny, object groups, port ranges và active time windows.Mở
NAT / PATRFC 2663một phầnStatic NAT và UDP PAT hoạt động. TCP / ICMP PAT và các case ASA NAT sâu hơn chưa hoàn tất.Mở
RIPRFC 2453stubCó thể parse một phần config RIP, nhưng chưa có RIP routing process đầy đủ.-

Hỗ trợ config

Ma trận hỗ trợ vendor

Các profile này quyết định định dạng config bạn có thể paste và style CLI dùng trong terminal. Chúng là simulator surface, không phải bản sao hệ điều hành vendor.

ProfilePaste config được?Tốt choGiới hạn hiện tại
IOS-stylecisco-ios / ios-xe / nx-os / ios-xrCó, cho các dạng running-config phổ biếnRouting, switching, ACL, NAT, services và policy labs kiểu IOSKhông phải command đặc thù nền tảng nào cũng có.
ASA-stylecisco-asaCó, qua parser riêng cho ASAFirewall rules, security levels, ACLs và NAT labs kiểu ASAFull ASA NAT parity vẫn còn giới hạn.
Junos-stylejuniper-junosCó, đường set-style và XML importCandidate config, commit, rollback và thực hành kiểu JunosBề mặt kiểu Junos, không phải Junos OS.
VyOS / EdgeOSvyos / edgeosCó, parser-directImport config họ Vyatta và routing labsĐộ sâu firewall, VRRP, WireGuard, QoS và IPv6 thay đổi.
OpenWrt / UniFiopenwrt / unifiCó, UCI và controller JSONKịch bản home / branch router và controller-exportUniFi dùng controller export data, không phải device CLI.
Gaia / EXOScheckpoint-gaia / extreme-exosCó, parser-directStateful firewall và switch scenarios tập trung VLANConfig import sâu hơn interactive CLI depth.

Vì sao tin được?

Lab lặp lại được, không phải screenshot

Cùng lab, cùng kết quả

Chạy cùng lab hai lần với cùng lệnh, netverdict nên tạo cùng routes, packet path và verdict.

Tốt cho debug

Vì kết quả lặp lại, bug report hoặc failed lab có thể replay thay vì dựng lại từ trí nhớ.

Packet captures hữu ích

Packet capture export ghi file libpcap mở được trong Wireshark cho các frame type được hỗ trợ.

Một behavior model

Các CLI styles khác nhau đi vào cùng simulator model bên dưới, nên reachability checks không phụ thuộc vendor syntax đã dùng.

Thử ngay

Mở lab từ docs

Docs hữu ích hơn khi nối tới thứ chạy được. Các link này mở simulator trực tiếp trong training lab tương ứng.

Giới hạn đã biết

Những gì chưa được model đầy đủ

Hoạt động tốt hôm nay

  • Deterministic IPv4 / IPv6 forwarding với ARP, ND, ICMP và xử lý TTL / hop-limit.
  • OSPFv2, OSPFv3, EIGRP, BGP-4, MP-BGP VPNv4, LDP, MPLS push / swap / pop.
  • ACLs với object groups, port ranges, time ranges, NAT static, UDP PAT, DHCP, CDP, pcap export.

Vẫn còn giới hạn

  • Một số control planes đúng về behavior nhưng không emit mọi real wire packet nội bộ.
  • RIP hiện config-only; NAT PAT tập trung UDP; TCP / ICMP PAT được hoãn.
  • Vendor profiles là command surfaces trên netverdict kernel, không phải vendor OS clones.