万博1manbetx执行基于需求测试时,可使用Simlink覆盖度测量模型测试覆盖度,以确定模拟期间测试多少设计量
简单点算,让我们调用设计元素 测试案例关联 相同的要求siblings
模型覆盖结果应分析需求万一部分设计元素从不由sibling测试实现呢这可能是不完全测试、不正确可追踪性或缺失需求的迹象
万博1manbetxsimlink覆盖MATLAB发布2020a时,你可集中覆盖结果显示sibling测试仅接收覆盖我们称它为覆盖需求
举个例子示范
模型设计简单游轮控制模型计算引擎控制器的节流需求以及目标速度模型使用方向盘游轮控制开关、布尔制动输入和车辆速度等数项布尔输入
数项需求设计使用需求工具箱管理
万博1manbetx并有六例测试案例与需求相关联 并使用仿真链路测试管理
万博1manbetx测试套房模拟测试
取取结果
六大测试都通过, 并实现100%覆盖决策、条件执行棒极了说完了吗
不完全
确定测试案例实现的覆盖 与sibling需求相关
测试管理器中点击“范围覆盖结果实现链接需求”可实现此目的
万博1manbetx模拟链路覆盖使用需求、设计与测试案例之间的可追踪性数据来相应滤波覆盖
貌似我们失去了一些覆盖打开模型学习更多
模型元素缺失覆盖红色高亮
似乎常量和总和块增量减逻辑缺失覆盖点击中之和块学习更多
块缺失执行覆盖这是因为此块没有执行链路开通需求透视确认
这两块应连接到 Incriment要求通过选择需求浏览器中的 Incriment要求,并右键并添加链接,我们可以实现这一点。保存模型后,让我们回测试管理器重运行测试套件 看它如何提高覆盖度
轻而易举
现在让我们看看PI控制器,它现在似乎只有83%决策覆盖
似乎PI控制子系统可追踪到一个需求和一个测试案例标签T6
离散时集成块缺一分判定目标
整合结果从不等于或高于上限,这意味着我们从不测试整合器全局输出
等待-它看起来像测试例T4达到上限点击T4学习更多
测试例T4即加注测试,它与加注需求相关
我们可以用几种不同方式解决差异
i)我们可以连接加注测试案例与Throttle需求在这种假设中,这没有意义,因为加注测试案例的预期结果与Throttle的要求无关。
2)我们可以创建需求定义集成器极限时预期行为这可能设计细节太多了
3)最后,我们可以修改Throttle测试输入以更主动地操作控制器在此例中,我们可以简单地扩展现有的Trottle测试案例并增量测试尾端定速最佳选择,因为预期结果不应改变我们仍然验证行为 由Trottle需求定义
当我们重试时测试失败 因节流变化速率超过需求这是因为设计有缺陷
例子显示如何使用覆盖结果覆盖需求显示不完全需求可追踪性并测试案例不完全
万博1manbetx点击下方链路亲手运行此实例或访问Simlink覆盖产品页面mathworks.com请求测试
测试与需求相关
如何思考缺失cov有点不同, 所以当我们相遇时,让我们来整理一下
