另外一种常见的模型是状态机模型，主要是针对用户的行为建模：

　　比如Bug管理系统的工作流模型

　　或者SIP 协议的呼叫模型：

　　SIP协议呼叫相关的测试：

　　首先我们还是把它描述成框架可以识别的格式：

　　我们看到，可能的测试路径是很多的，那怎么才可以以小的测试代价达到我们的覆盖率的目标呢？