model-based-testing - 设计并执行基于模型的测试基于模型的测试状态机有限状态自动机转换覆盖率★ 0 · 更新于 2026-10-12使用状态机建模有状态行为,生成并执行测试用例,并报告节点、边和路径覆盖率。⚙ 建立状态机模型⚙ 定义状态转换⚙ 指定守卫条件和动作