The presentation discusses model-based testing for verifying the correctness of distributed systems, using HCD as an example. The model is simplified but can get complicated, and the testing is fragile if there are bugs or optimizations. The presentation also mentions the possibility of generalizing the model-based testing beyond HCD.
- Model-based testing is great for testing generic approaches to correctness and separates validation from execution
- The model can be simplified but can get complicated, and the testing is fragile if there are bugs or optimizations
- The state increases exponentially, making the test fragile
- The model can be generalized beyond HCD
- The testing can validate the operations or the model and generate a report
- The presentation includes an anecdote about using fail points to test HCD and finding a durability issue