幸运飞艇微信群

产品展示

产品一类    /    产品二类    /    产品三类    /    产品四类    /   

幸运飞艇微信群

关于模型设计开发过程中的正确模型的选择指导
发表时间:2018-09-12 03:36     阅读次数:

  模型的“可验证”以后会专门介绍,本文就说说模型中代码生成之前可以做哪些验证。按照模型是否需要运行来划分,可以把验证分为静态验证和动态验证两大类。

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

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

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

  动态验证主要有功能测试。功能测试可以分为单元级功能测试和集成级功能测试两个阶☆△◆▪•★▲■段。如果系统比较大,集成级功能测试还会继续划分为组件级集成测试和系统级集成测试。

  也就是我们经常提到的单元测试,单元测试的测试用例需要用户根据需求编写,写完测试用例就是执行测试过程,测试过程的执行要尽量自动化。这个阶段的测试工作量非常大,通常花在单元测试上的时间会明显大于建模的时间,这往往是很多开发者难以接受的,很多人从心理上没有这个准备,一般认为模型画完就接近大功告成,所以不会计划很多时间在模型测试上,这个想法是非常危险的。当然,这个阶段的测试是否完善可以通过“测试覆盖率”这个数据来把握。覆盖率没有达到预定的目标就要继续增加测试用例。

  对于工具,Simulink只能从结构上度量哪些分支测过哪些分支没测过,需求覆盖率通常需要测试者自己去把握。对于结构覆盖率,我们有条件覆盖(Condition Coverage)、判定覆盖(Decision Coverage)、MC/DC覆盖等。

  集成测试的目的和单元测试是不同的,集成测试要求做单元测试结束之后才可以进行。集成测试主要测试不同单元模块之间从接口上、调度上是否有问题,有时候集成测试也可以发现不同单元模块之间需求上的冲突。集成测试不会有结构覆盖率要求。

  集成测试的实现方式有模型上的集成测试,也可能会结合硬件进行测试,比如我们经常提到的快速原型,是否要结合硬件要取决于是否有条件和是否有必要这样做,这里不做展开。

  到此,如果模型经过了各种静态验证,再经过足够的动态验证,我们可以认为模型已经正确了吧?

  当然,上述验证活动都是建立在□◁“模型可验证”的基础上的,模型的“可验证”如何去•□▼◁▼把握,这我们后面再专门讨论。

  海信智能商用系统公司副总经理邵建成:“我们与英特尔合作推出过很多产品。目前智◇…=▲能化的大趋势也席卷了每一....

  管理你关心的数据。代码生成▼▼▽●▽●阶段的主要工作是数据管理工作,配置Simulink模型中需要关注的数据,这....

  数据管理基本上就是管理事先定义好的各种属性,其中,最为重要就是数据类型(Data Type)和存储类....

  Data Bridge将自己定位为一个非常规和近代的市场研究和咨询公司,具有无与伦比的弹性和综合方法....

  物联网数据管理可以帮助企业了解客户的使用模式,而这些使用模式可以被纳入到设计和开发阶段。通过这种方式....

  在数据项层级上,一些不正确的数据通过适当的验证被拒绝。在诸如文件和数据库的○▲-•■□同构数据集合中,不一致程度....

  阿里云PolarDB发布重大更新,提供传统数据库一键迁移上云能力,可以帮助企业将线下的MySQL、P....

  在快递批量查询高手中导入的单号查询后,默认是保存在自己电脑上的,如果经常需要换电脑或者需要多个员工共....

  国标GB T 36073-2018《数据管理能力成熟度评估模型》定义如下:指标数据是组织在经营分析过....

  光存储在深圳第七届中国电子信息博览会(CITE2019)上展出了一款面向企业级市场的固态硬盘P826....

  同时,欧盟制定《准则》的行为本身也说明人工智能技术◆▼对于国际关系的影响已经不容忽视了。国内早就有学者指....

  目前,我国大数据标准工作组正在制定数据管理能力▪▲□◁成熟度系列标准。2018年4月,发布《数据管理能力成熟....

  致力于驱动在华企业释放数据潜能并加速数字化转型的领先智能数据管理解决方案和服务供应商联★▽…◇想凌拓科技有限....

  全球网络解决方案、嵌入式软件和世界级服务的供应商Enea,于2019年2月25日-2月28日在巴塞罗....

  据美国权威市场研究和分析机构IDC预测,到2020年,超过60%的全球GDP将被数字化,每个行业的增....

  85921B CATV Data Management Software for use with the 8591C.Part Number 85921-90014...

  全球领先的信息技术研究和顾问公司Gartner指出,增强型分析、持续型智能与可解释型人工智能是数据与....

  DMP中的关键内容是关于数据的存储,收集和分享。只有21%的科研人员将数据分享纳入其中。但多数科研人....

  目前国内主数据最大的挑战来自四方面:第一,我们企业里面的高管领导或者我们的信息化部门不太重视主数据的....

  MES软件即制造企业生产过程执行管理软件,是一套面向制造企业车间执行层的生产信息化管理系统。MES....

  “无纸化”业务作为商业银行的新一代应用业务,对于数据管理带来了新的挑战

  “无纸化”业务作为商业银行的新一代应用业务,对于数据管理带来了新的挑战。针对银行在新一代柜面无纸化业....

  IDC数据集成与完整性研究部门主管Stewart Bond表示:“企业正在稳步转向云优先战略。对于在....

  2018年被称为工业互联网的风口之年。随着国家针对工业互联网行业未来发展的相应指南和一系列规划的出炉,越来越多

  许多设施部署了单独▪…□▷▷•的系统来提供除WIP跟踪之外的功能。为此,我们花费了很多精力用于减少生产系统的频繁....

  英方所取得成就有目共睹,是国内数据保护领域的佼佼者,英方给人的印象是备份,但是英方CEO胡军擎表示:....

  基于事件的社交网络逐渐成为人们线上获取信息、分享信息,线下进行面对面交流互动的平台,深刻影响并改变....

  爱数总裁★△◁◁▽▼贺鸿富表示:“SAP 在企业管理应用领域有广泛的经验与领先的技术,爱数与 SAP 的合作开始....

  局部放电所产生电磁波的频谱特性与放电源的几何形状及放电间隙的绝缘强度有关。SF6气体或绝缘油所产生的....

  管理客户数据还意味着确保数据的安全。通过提供信息存储和保护的透明度,您可以赢得客户的信任并保留业务。....

  Pelion 物联网平台与Arm的物联网设备IP、Kigen、Mbed OS和PSA一起,为业界提供....

  在“块直存”的系统中,“块”存储可以理解成自定义的一种文件系统,在裸盘上进行数据读写;时间作为每个数....

  数据治理是专注于将数据作为企业的商业资产进行应用和管理的一套管理机制,能够消除数据的不一致性,建立规....

  NI自动化测试市场副总裁LukeSchreier表示:“PXI的优势在于可定制化,我们把测试主动权交....

  尽管批量数据处理从大型机(mainframe)时代就已经存在了,但是在处理大量数据的大数据时代面前,....

  5月对于安防行业而言,可谓不太安静。先谈“•☆■▲最严数据法”。经过两年的酝酿,GDPR(《通用数据保护条例....

  数据质量决定了数据对业务的内在价值。信息技术只是这个内在价值的放大镜。因此,高质量的数据与有效的技术....

  GDPR将于2018年5月25日正式生效 — 现在已经进入了最后的倒计时时刻。该条例面向所有收集、存....

  向先进制造发展可能会让人望而生畏,因为需要处理的事情多种多样,尤其是数据管理。减少这种复杂性的一种方....

  联通在线下有很多营业厅,但是随着线下业务向线上转移,其线下营业厅资源没有得到充分利用。联通如果想把用....

  Medicomp Systems执行长表示,机器学习的进展在很大程度上取决于算法处理数据的精确度,...◆◁•.

  在大数据和人工智能的推动下,云计算崛起的速度加快,云计算将面临巨大的数据,新技术迅猛发展,必然依托数....

  摘要: 阿里云数据管理DMS企业版,作为数据管理产品大家族里的新成员,于2017年11月开启公测,今年1月底正式发布商业化版本。...

  根据权威机构预测,未来消费电子领域将迎来五大趋势,其中传感器的重要性将会与日俱增,安全和数据管理需要....

  为适应底层存储架构的变化,上层数据库系统已经经历了多轮的演化与变革.在大数据环境下,以非易失、大容量....

  近年来,众包为传统数据管理提供了一种通过汇聚群体智慧求解问题的新模式,并成为当前数据库领域的研究热点....

  为了提高星载存储器的数据管理水平,应对Flash应用复杂、国内半导体工业水平较低、航天任务性能可靠性....

  我国首颗微重力科学试验卫星实践十号卫星将搭载19个科学实验项目载荷设备进行空间科学实验,这些载荷设备....

  Connecting to the Grid, to the Net, and to You

  工程师们设计了智能电网以提高能源效率、电网管理和高质量的电力输送。增加智能电网的复杂性是微电网的一个....

  企业可以收集有效的信息来简化操作流程、预测重•●大变化、和确保满足客户实时需求。用户可以具有更加智能化的....

  高性能模拟混合信号器件和数据管理解决方案领导厂商Exar公司(Nasdaq: EXAR)近日宣布收购....

  随着网络信息容量的膨胀,如何高效地存储和管理◆■海量图片数据,传统的数据管理技术难以满足这些应用所提出的....

上一篇:为美好而来孔雀城大湖用古典思潮创造美好生活。
下一篇:6色彩搭配教程素描几何体图片_古典油画手绘油画