使用PolySpace進行模型的檢測

       使用PolySpace進行代碼檢測的方法比較基礎，其實這個工具也可以用於模型的檢測。道理也很容易講得通，既然可以進行模型的代碼生成，那麼肯定也就可以對生成的代碼進行檢測。        先進性代碼生成，然後把代碼拷貝出來，最後進行代碼的分析。這是我以前的做法，倒是也沒有太大的問題。不過，後來發現其實還可以更簡單一點，那就是利用產品之間已經提供的接口。        比如有如下的模型：

>>阅读原文<<