通过被测系统的流程逻辑模型，结合个性化算法和策略来遍历流程模型，以此生成测试用例场景。基于模型的测试的有效性主要体现在它提供了测试场景自动化的可能。如果是一个机器可读的模型，并且具有定义良好的行为解释，那么原...