需求模型，也就是行为树是手工创建的。基本上可以理解为 story 或者功能需求的一对一翻译。模型是唯一的手工制品，其他的都是自动生成的。需要说明的是，这个模型不是测试模型，而是真正意义上的需求模型。

楼主所言极是，关于你所列举的三个问题，我们在开发我们的 MBT 工具 (http://www.etestinfo.com/) 时也是遇到了极大的挑战：
1、空间爆炸一直无法解决
-- 这个问题绕不过去，但是可以使用全局优化策略，还是实用的。
2、真正的 mbt，是看代码覆盖率
-- 对于黑盒功能测试来说，倒不是看代码覆盖率，而是通过控制依赖及数据依赖来定义需求的覆盖率。
3、模型和需求的一致性，没有很好的理论来验证
-- 从需求里建立的模型如果带有原始需求的元数据，并配合跟踪矩阵使用，可以通过模型评审来基本确认其一致性。