model-based-testing - 设计并执行基于模型的测试

使用状态机建模有状态行为，生成并执行测试用例，并报告节点、边和路径覆盖率。