2 ms·
Definitely. Although instead of sending network packets to the fuzz tester, the idea is to apply a testing module to the network stack functor that introduces
by avsm 12y ago
Definitely. Although instead of sending network packets to the fuzz tester, the idea is to apply a testing module to the network stack functor that introduces a deterministic random number generator. This makes it much easier to write assertions about how the state machine should behave within the stack, to catch bugs much more easily.
- edwintorok 12y agoI actually had in mind something else (code that just does TCP connections/HTTP requests and you run that against mirage / against a Linux stack and compare), but this sounds even better. Someone could still do that comparison (not on the TCP state though, just the reply) with the functor approach.