关键字:
 
公司动态
行业动态
模型知识
 
 
            信息详情  

什么样的模型才算 得上正确的模型?

作者:管理员 发布于:2017-7-25 15:56:16 点击量:

我认为,至少,正 确的模型应该是经过充分验证的。除了“充分验证”,还应该满足什么 条件呢?我能想到的就是“可验证”,“可验证”也是充分验证的前 提。
    模型的“可验证”以后会专门介绍, 本文先说说模型中代码生成之前可以做哪些验证?
    按照模型是否运行 来划分,可以把验证分为静态验证和动态验证两大类。
    静态验证
    静态验证有评审、 建模标准检查 、形式化验证 等方式。
    1模型评审
    评审是质量体系要 求的,通常我们模型画完之后,需要通过评审的方式去评审模型是否实现了相应的需求。那么,评审发生的时刻应该如何把握?是否在画完模型之后紧跟着就去做评审呢?我个人认为,如果有工具可以帮我们实现静态检查,我们 为什么不先做静态检查呢?先做静态检查的好处是把可以通过工具发现的软件缺陷在评审之前消除掉,这样可以避免在评审的时候在此类问题上浪费时间。
    2建模标准检查
    目前MATLAB通过SimulinkVerification&Validation(以下简称  SLVnV)提供了ModelAdvisor,可以实现建模标 准的静态检查,实现起来也不困难,并且工具还具有可定制功能,可以在SLVnV提供的诸多检查项 里挑选适合自己开发团队的检查集,也有可能有一些检查是ModelAdvisor没有提供的,这种 情况下,也可以通过编写MATLAB程序的方式定制检 查项。
    3形式化验证
    MATLAB提供了SimulinkDesignVerifier(以下简称  SLDV)产品,可以对模型进行形式化验证 。SLDV可以检查模型中是 否有整数溢出,或者是否有死逻辑。这两类错误都是很容易被评审和功能测试错过的错误,其实,软件里一旦发现有这两类错误,复现或者定位这两类错误都非常困难,而SLDV可以通过分析模型 的给出发生或者可能发生错误的环节。另外,需要注意的是,在模型评审或者功能测试过程中,我们都可能发现一些软件缺陷,发现这些缺陷之后,我们需要修改模型,模型经过修改可能会再次引入数据溢出或者死逻辑之类的错 误,所以建议做功能测试之后,再次使用SLDV检查一下模型。

上一篇:沙盘模型制作材料 皮纹纸的分类及特性 下一篇:建筑沙盘模型采用 何种手法与比例建造模型

快速导航
重庆模型公司 重庆模型制作 重庆工业模型 重庆建筑模型 重庆机械模型 重庆城市规划模型 重庆房地产模型 重庆投标方案模型 重庆最好建筑模型 重庆最好的模型公 司
 
  电话:023-88068703 手机:13996104424 地址:重庆大渡口 区金桥路科达电气厂内 版权所有:重庆伟瑞模型有限 公司
网址:HTTP://WWW.
技术支持:『』提 供技术支持!
友情链接:    盛世彩&首页   诚信彩彩票官网入口   诚信彩彩票首页   盛世彩   365彩票