31:55视频长度为31:55。
使用MathWorks工具进行DO-178C软件开发的基于模型的设计,第4部分:针对高级需求的模型验证
在本系列网络研讨会的第4部分中,我们将根据文本需求讨论模型的验证。在基于需求的开发过程中,每个需求至少有一个测试用例。可执行的Simulink模型允金宝app许开发人员在生成嵌入式软件之前验证模型在功能上是正确的。这种形式的早期验证使用Simulink和Simulink Report Generator金宝app对模型执行基于需求的测试用例,将模型的行为与预期的行为进行比较,以确保正确的功能行为,并生成一个记录此测试的测试工件。这个例子还使用了Simulink Verification and Validation的模型覆盖分析特性,作为完成这个基于需求的测试的度量金宝app。
注意:在R2金宝app017b中,Simulink验证和验证转换为Simulink检查、Simulink覆盖和需求工具箱。
记录日期:2013年3月31日
相关产品下载188bet金宝搏
您也可以从以下列表中选择一个网站:
如何获得最佳的网站性能
选择中国站点(中文或英文)以获得最佳站点性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。