InfoQ: What is Model Based Analysis?

InfoQ：什么是基于模型的分析？

youdao

Authors: Model-based analysis USES a model program — a kind of executable specification — to check specifications or designs, including communication protocols for example.

作者：基于模型的分析使用了一个模型程序——一种可执行的规格说明书——去检测规格说明或者设计，例如包含了对通信协议的检测。

youdao

Authors: Model-based analysis USES a model program — a kind of executable specification — to check specifications or designs, including communication protocols for example.

作者：基于模型的分析使用了一个模型程序——一种可执行的规格说明书——去检测规格说明或者设计，例如包含了对通信协议的检测。

youdao