至少，正确的模型应该是经过充分验证的。除了“充分验证”，还应该满足什么条件呢？能想到的就是“可验证”，“可验证”也是充分验证的前提。
模型的“可验证”以后会专门介绍，本文先说说模型中代码生成之前可以做哪些验证？
按照模型是否运行来划分，可以把验证分为静态验证和动态验证两大类。
静态验证
静态验证有评审、建模标准检查、形式化验证等方式。
1模型评审
评审是质量体系要求的，通常我们模型画完之后，需要通过评审的方式去评审模型是否实现了相应的需求。那么，评审发生的时刻应该如何把握？是否在画完模型之后紧跟着就去做评审呢？我个人认为，如果有工具可以帮我们实现静态检查，我们为什么不先做静态检查呢？先做静态检查的好处是把可以通过工具发现的软件缺陷在评审之前消除掉，这样可以避免在评审的时候在此类问题上浪费时间。
2建模标准检查
目前matlab通过simulinkverification&validation（以下简称slvnv）提供了modeladvisor，可以实现建模标准的静态检查，实现起来也不困难，并且工具还具有可定制功能，可以在slvnv提供的诸多检查项里挑选适合自己开发团队的检查集，也有可能有一些检查是modeladvisor没有提供的，这种情况下，也可以通过编写matlab程序的方式定制检查项。
3形式化验证
matlab提供了simulinkdesignverifier（以下简称sldv）产品，可以对模型进行形式化验证。sldv可以检查模型中是否有整数溢出，或者是否有死逻辑。这两类错误都是很容易被评审和功能测试错过的错误，其实，软件里一旦发现有这两类错误，复现或者定位这两类错误都非常困难，而sldv可以通过分析模型的给出发生或者可能发生错误的环节。另外，需要注意的是，在模型评审或者功能测试过程中，我们都可能发现一些软件缺陷，发现这些缺陷之后，我们需要修改模型，模型经过修改可能会再次引入数据溢出或者死逻辑之类的错误，所以建议做功能测试之后，再次使用sldv检查一下模型。
凯发k8国际娱乐官网入口-凯发k8手机客户端从事建筑模型、智能沙盘、工业模型、数字模型、规划模型、展馆模型等领域的模型设计、模型制作服务。尚鼎模型坚守诚信敬业，真诚服务，持续创新的经营理念，我们一直将研发首创的高新技术融入到模型创作当中，让模型作品更具表现力，充分展现科技模型艺术的独特魅力。
上一篇：建筑沙盘模型区别于产品实体模型
下一篇：建筑模型的基础理念
