More Guidance on Implementation - Githubissues

informalsystems / vdd

Verification-Driven Development

21 stars 0 forks source link

More Guidance on Implementation #10

Open ebuchman opened 4 years ago

ebuchman commented 4 years ago

We should try to distill more about what we've learned about writing testable state machines into this. This includes areas like:

moving IO out of the state machines into a "routing layer"
routing between internal state machines
"scheduler" state machines for scheduling/receiving network messages
feeding output messages from a state machine back into itself
state machines returning one or many output events
event and error data structure design
etc.

Some of this might be more language specific, but maybe that's ok - it would be valuable to have VDD guidance for particular languages ...

josef-widder commented 4 years ago

I agree. Up to know we have focused on the verification side, in particular regarding the structure and content of the English spec. As next step we should incorporate engineering guidelines. Also we should figure out Engineering need for the specifications, that is, what is missing in the current form from an engineering perspective