基于模型的测试是一种软件测试技术，其中测试用例来自描述被测系统功能方面的模型。
它利用模型生成包括离线和在线测试的测试。
单元测试不足以检查功能
确保系统在相同的操作序列中运行。
基于模型的测试技术已被采用作为测试过程的集成部分。
开发商业工具以支持基于模型的测试。
实现更高水平的自动化。
彻底的测试是可能的。
可以轻松测试对模型的更改。
需要正式的规范或模型才能进行测试。
对模型的更改可能会导致完全不同的测试集。
测试用例与模型紧密耦合。