广州模型厂家
产地: 广东省 广州市
联系信息
联系人:
钟先生 先生
电话:
020-28101118
传真:
020-28101119
手机:
18818860668
  1 2 3 4 5 6 7 8 9 10 ... 74  
  • 详细描述
  • 评论

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

    我认为,*少,正确的模型应该是经过充分验证的。除了充分验证,还应该满足什么条件呢?我能想到的就是可验证可验证也是充分验证的前提。

    模型的可验证以后会专门介绍,本文先说说模型中代码生成之前可以做哪些验证?

    按照模型是否运行来划分,可以把验证分为静态验证和动态验证两大类。

    静态验证

    静态验证有评审、建模标准检查、形式化验证等方式。

    1模型评审

    评审是质量体系要求的,通常我们模型画完之后,需要通过评审的方式去评审模型是否实现了相应的需求。那么,评审发生的时刻应该如何把握?是否在画完模型之后紧跟着就去做评审呢?我个人认为,如果有工具可以帮我们实现静态检查,我们为什么不先做静态检查呢?先做静态检查的好处是把可以通过工具发现的软件缺陷在评审之前消除掉,这样可以避免在评审的时候在此类问题上浪费时间。

    2建模标准检查

    目前MATLAB通过SimulinkVerification&Validation(以下简称SLVnV)提供了ModelAdvisor,可以实现建模标准的静态检查,实现起来也不困难,并且工具还具有可定制功能,可以在SLVnV提供的诸多检查项里挑选适合自己开发团队的检查集,也有可能有一些检查是ModelAdvisor没有提供的,这种情况下,也可以通过编写MATLAB程序的方式定制检查项。

    3形式化验证

    MATLAB提供了SimulinkDesignVerifier(以下简称SLDV)产品,可以对模型进行形式化验证。SLDV可以检查模型中是否有整数溢出,或者是否有死逻辑。这两类错误都是很容易被评审和功能测试错过的错误,其实,软件里一旦发现有这两类错误,复现或者定位这两类错误都非常困难,而SLDV可以通过分析模型的给出发生或者可能发生错误的环节。另外,需要注意的是,在模型评审或者功能测试过程中,我们都可能发现一些软件缺陷,发现这些缺陷之后,我们需要修改模型,模型经过修改可能会再次引入数据溢出或者死逻辑之类的错误,所以建议做功能测试之后,再次使用SLDV检查一下模型。

 

广州淏景建筑模型有限公司
照片
钟先生 先生
电话: 020-28101118
传真: 020-28101119
手机: 18818860668
地址: 广东省广州市番禺区广州市番禺区石基南荔东路7号(天勤工业园二楼)


发送邮件给他/她
[长度请控制在20-3000个字符之间]
找不到您需要的供应/求购信息,免费发布求购信息让机会主动找上门!  

您在搜索卖家/买家信息过程中,有任何问题和建议?点此反馈
打印此页
收藏此页

x

立即登陆,赞它一下
暂不登录