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

Retailers also continue to experience a higher average probability of default, based on the Sageworks probability of default model, a predictive statistical model for the credit analysis of small or privately held companies.

FORBES: Private Retailers' Sales On The Move