Comparison with previous work

netarch / neo

A network testing tool combining formal model checking and container-based emulation that covers in-network non-determinism

Other

8 stars 4 forks source link

Closed kyechou closed 1 month ago

kyechou commented 1 year ago

Batfish(?)'s model vs. inferring from the actual software.

kyechou commented 1 year ago

Comparison with CrystalNet

kyechou commented 1 year ago

Comparing with traditional testing methods for NFV deployments (?

kyechou commented 1 year ago

Scan through the current draft.
Literature review: Are there any papers that (1) reports issues with inaccurate models (especially models for NFVs or modern software networks), (2) reports traditional testing methods for NFV deployments (people said in industry they're mostly testing with hand-crafted test cases/packets).
Literature about the time/effort needed to build an accurate model.