[Ns-developers] First Stab at Validation and Verification

[Mathieu Lacage]

On Tue, 2009-04-21 at 09:20 -0700, craigdo at ee.washington.edu wrote:

> Actually, TCP is in the document because it doesn't deal with randomness and
> illustrates a distinction I wanted to make.  Hopefully, the distinction I'm
> making between validation and verification, stochastic and deterministic
> processes becomes clear, even if it doesn't manifest in a directory
> structure in the final product.  Eventually a wifi test suite might include
> tests to validate physical processes that definitely will be based on random
> variables (validation of transmission range) and might also have spec-based
> tests (verification: if in state X and receive packet type Y then jump to
> state S).  We don't want to split up the wifi tests into two different
> suites I think.

I can't agree more.

Mathieu