基于模型的测试 Model-based Testing

基于模型的测试是一种软件测试技术，在这种技术中，被测软件的运行时行为与模型做出的预测相对照。模型是对系统行为的描述，可以根据输入序列、动作、条件、输出和从输入到输出的数据流来描述行为。它应该是实际可理解的，并可重复使用;shareable必须有被测系统的精确描述。

模型

Data Flow Control Flow Dependency Graphs Decision Tables State transition machines