search

informalsystems / vdd

Verification-Driven Development
21 stars 0 forks source link

More on Testing #9

Open ebuchman opened 4 years ago

ebuchman commented 4 years ago

We've been having a lot of discussions recently about testing. I wonder if we can distill some of that into the manifesto. Specifically if/how the model checker and its traces can be better leveraged to reduce manual work, and how to think about how much to test at each level of testing (unit tests, integration tests, compliance JSON tests, etc.).

shonfeder commented 4 years ago

Have we discussed and/or tried use of property based tastes in this relation? It seems like it might be a good fit, since it provides a well established method of automating tests that can be expressed as properties of the system. (Cf. https://github.com/BurntSushi/quickcheck)