从系列:利用MathWorks工具开发DO-178C软件的基于模型的设计
迈克·安东尼MathWorks
在本网络研讨会系列的第4部分中,我们将讨论根据文本需求对模型进行验证。在基于需求的开发过程中,每个需求至少要有一个测试用例。可执行的Simulink模型允金宝app许开发人员在生成嵌入式软件之前验证模型的功能正确性。这种形式的早期验证利用Simulink和Simulink报告生成器来针对模型执行基于需求的金宝app测试用例,将模型的行为与期望的行为进行比较,以确保正确的功能行为,并生成记录该测试的测试工件。这个例子还利用了Simulink验证和验证的模型覆盖分析特性,作为完成这个基于需求的测试的度量标准。金宝app
注:Simu金宝applink验证和验证过渡到Simulink检查,Simulink覆盖范围和R2017b中的Simulink要求。
记录日期:2013年3月31日
您也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳的网站性能。其他MathWorks国家网站没有针对您所在位置的访问进行优化。