Hot answers tagged test-design
If you haven't already, search for "model-based testing". To me it seems that your problem fits well to that scheme: create a model of expected behaviour and let the testing tool run millions of tests to check the implementation. This doesn't actually prove anything. Formal validation needs to explicitly go through all paths (as far as I know). Model-based ...
Only top voted, non community-wiki answers of a minimum length are eligible