[Simulink] 基于模型的测试与验证学习笔记_Step 3: Detecting Desig Errors_simulink design verifier-程序员宅基地

技术标签： V&V  Simulink  Simulinkl Design Verifier  

文章目录


【注】 本文为2018 Mathworks 年会上机教程学习笔记， 讲师：周玲， 如有侵权，立即删除

本文所有模型均为上机练习模型，百度云链接

Simulink Design Verifier

在Simulink中有多种方法对模型进行测试，传统上来讲，验证涉及到用于根据特定的需求创建对应的一系列测试，同事用户还需要根据这些测试用例，给出其预期的结果。测试的创建需要能够覆盖到功能的同事，还需要兼顾系统的稳健性要求。

本例将借助Simulink Design Verifier对模型进行仿真分析，以检查是否存在潜在的始终无法激活的状态或转移，以及除以零这样的设计错误。

Simulink Design Verifier的三大功能：

  • Design Error Detection —— 查找死逻辑、除以零、溢出等问题
  • Test Generation —— 基于模型和覆盖度来生成测试用例，这部分在Step 5中学习
  • Property Proving —— 确定模型的输出和行为是满足预期要求的，这部分在Step 7中学习

对模型做死逻辑检测

使用Simulink Design Verifier对模型进行分析，本节的目标是查找模型中的死逻辑（即无可能被执行到的逻辑），这里仅查找死逻辑，但实际上这种方法还可以用来查找溢出等问题。

Analysis > Design Verfier > Options
在这里插入图片描述
在Design Verifier的Design Error Detection中勾选Dead logic和Identify active logic
在这里插入图片描述
Analysis> Design Verifier > Detect Design Errors > Model
在这里插入图片描述
之后会出现下图，
在这里插入图片描述
显示有两个死逻辑，打开模型可以看到死逻辑的位置

在这里插入图片描述

问题分析

Simulink给出的问题是after(incdec/holdrate10,tick) 不可能为false，为什么？进入断点调试
在这里插入图片描述
运行模型，并在Command Window中做调试
在这里插入图片描述
这里我们可以看到问题了，当用整型数据替换掉浮点型数据后，上面的两个转移条件永远都是0，解决方法，将 **after(incdec/holdrate10,tick)** 改为after(10*incdec/holdrate,tick)

模型除以零的检测

打开示例模型，
Analysis, Design Verifier, and Options
在这里插入图片描述
在Design Error Detection ** 勾选check Division by zero**，点击OK
在这里插入图片描述
Analysis > Design Verifier > Detect Design Errors > Model
查看报告，可以看到，当测试用例为holdrate = 0，incdec = 1的时候，出现了不满足的情况

在这里插入图片描述

在这里插入图片描述
在结果中点击Create harness model，会生成对应的测试用例，运行Tets Case1后报错
在这里插入图片描述
在这里插入图片描述

这个原因是因为holdrate的最小值为0，我们在Command Window中将这个参数的最小值设置为1，然后重新在Design Verifier中对Paramters进行设置，先勾选参数Clear后重新Find in Model。
在这里插入图片描述
在这里插入图片描述
再次进行Analysis > Design Verifier > Detect Design Errors > Model，结果如下在这里插入图片描述

自动设计错误检测

在Model Advisor的By Product中就包含了Simulink Design Verifier栏，下设Design Error Detection，可以用来进行检测死逻辑、除以零等设计问题。
在这里插入图片描述

总结

在Simulink Design Verifer中进行设计错误的检查，可以针对设计错误自动生成test harness以测试用例，用于帮助用户快速查找问题的根源。
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_26915769/article/details/88402684

智能推荐

JWT(Json Web Token)实现无状态登录_无状态token登录-程序员宅基地

文章浏览阅读685次。1.1.什么是有状态？有状态服务，即服务端需要记录每次会话的客户端信息，从而识别客户端身份，根据用户身份进行请求的处理，典型的设计如tomcat中的session。例如登录：用户登录后，我们把登录者的信息保存在服务端session中，并且给用户一个cookie值，记录对应的session。然后下次请求，用户携带cookie值来，我们就能识别到对应session，从而找到用户的信息。缺点是什么？服务端保存大量数据，增加服务端压力 服务端保存用户状态，无法进行水平扩展 客户端请求依赖服务.._无状态token登录

SDUT OJ逆置正整数-程序员宅基地

文章浏览阅读293次。SDUT OnlineJudge#include<iostream>using namespace std;int main(){int a,b,c,d;cin>>a;b=a%10;c=a/10%10;d=a/100%10;int key[3];key[0]=b;key[1]=c;key[2]=d;for(int i = 0;i<3;i++){ if(key[i]!=0) { cout<<key[i.

年终奖盲区_年终奖盲区表-程序员宅基地

文章浏览阅读2.2k次。年终奖采用的平均每月的收入来评定缴税级数的，速算扣除数也按照月份计算出来，但是最终减去的也是一个月的速算扣除数。为什么这么做呢，这样的收的税更多啊，年终也是一个月的收入，凭什么减去12*速算扣除数了？这个霸道（不要脸）的说法，我们只能合理避免的这些跨级的区域了，那具体是那些区域呢？可以参考下面的表格：年终奖一列标红的一对便是盲区的上下线，发放年终奖的数额一定一定要避免这个区域，不然公司多花了钱..._年终奖盲区表

matlab 提取struct结构体中某个字段所有变量的值_matlab读取struct类型数据中的值-程序员宅基地

文章浏览阅读7.5k次，点赞5次，收藏19次。matlab结构体struct字段变量值提取_matlab读取struct类型数据中的值

Android fragment的用法_android reader fragment-程序员宅基地

文章浏览阅读4.8k次。1，什么情况下使用fragment通常用来作为一个activity的用户界面的一部分例如, 一个新闻应用可以在屏幕左侧使用一个fragment来展示一个文章的列表,然后在屏幕右侧使用另一个fragment来展示一篇文章 – 2个fragment并排显示在相同的一个activity中,并且每一个fragment拥有它自己的一套生命周期回调方法,并且处理它们自己的用户输_android reader fragment

FFT of waveIn audio signals-程序员宅基地

文章浏览阅读2.8k次。FFT of waveIn audio signalsBy Aqiruse An article on using the Fast Fourier Transform on audio signals. IntroductionThe Fast Fourier Transform (FFT) allows users to view the spectrum content of _fft of wavein audio signals

随便推点

Awesome Mac：收集的非常全面好用的Mac应用程序、软件以及工具_awesomemac-程序员宅基地

文章浏览阅读5.9k次。https://jaywcjlove.github.io/awesome-mac/ 这个仓库主要是收集非常好用的Mac应用程序、软件以及工具，主要面向开发者和设计师。有这个想法是因为我最近发了一篇较为火爆的涨粉儿微信公众号文章《工具武装的前端开发工程师》，于是建了这么一个仓库，持续更新作为补充，搜集更多好用的软件工具。请Star、Pull Request或者使劲搓它 issu_awesomemac

java前端技术---jquery基础详解_简介java中jquery技术-程序员宅基地

文章浏览阅读616次。一.jquery简介 jQuery是一个快速的，简洁的javaScript库，使用户能更方便地处理HTML documents、events、实现动画效果，并且方便地为网站提供AJAX交互 jQuery 的功能概括1、html 的元素选取2、html的元素操作3、html dom遍历和修改4、js特效和动画效果5、css操作6、html事件操作7、ajax_简介java中jquery技术

Ant Design Table换滚动条的样式_ant design ::-webkit-scrollbar-corner-程序员宅基地

文章浏览阅读1.6w次，点赞5次，收藏19次。我修改的是表格的固定列滚动而产生的滚动条引用Table的组件的css文件中加入下面的样式：.ant-table-body{ &amp;amp;::-webkit-scrollbar { height: 5px; } &amp;amp;::-webkit-scrollbar-thumb { border-radius: 5px; -webkit-box..._ant design ::-webkit-scrollbar-corner

javaWeb毕设分享 健身俱乐部会员管理系统【源码+论文】-程序员宅基地

文章浏览阅读269次。基于JSP的健身俱乐部会员管理系统项目分享:见文末!

论文开题报告怎么写？_开题报告研究难点-程序员宅基地

文章浏览阅读1.8k次，点赞2次，收藏15次。同学们，是不是又到了一年一度写开题报告的时候呀？是不是还在为不知道论文的开题报告怎么写而苦恼?Take it easy!我带着倾尽我所有开题报告写作经验总结出来的最强保姆级开题报告解说来啦，一定让你脱胎换骨，顺利拿下开题报告这个高塔，你确定还不赶快点赞收藏学起来吗？_开题报告研究难点

原生JS 与 VUE获取父级、子级、兄弟节点的方法 及一些DOM对象的获取_获取子节点的路径 vue-程序员宅基地

文章浏览阅读6k次，点赞4次，收藏17次。原生先获取对象var a = document.getElementById("dom");vue先添加ref <div class="" ref="divBox">获取对象let a = this.$refs.divBox获取父、子、兄弟节点方法var b = a.childNodes; 获取a的全部子节点 var c = a.parentNode; 获取a的父节点var d = a.nextSbiling; 获取a的下一个兄弟节点 var e = a.previ_获取子节点的路径 vue

推荐文章

热门文章

相关标签