从系列:用MathWorks工具进行DO-178C软件开发的基于模型设计
迈克·安东尼MathWorks
在本系列网络研讨会的第4部分中,我们将讨论根据文本需求验证模型。在基于需求的开发过程中,想法是为每个需求至少有一个测试用例。可执行的Simulink模型允金宝app许开发人员在生成嵌入式软件之前验证模型的功能是否正确。这种形式的早期验证使用了Simulink和Simulink Report Generato金宝appr来针对模型执行基于需求的测试用例,比较模型的行为和预期的行为以确保正确的功能行为,并生成一个测试工件来记录这个测试。这个例子还使用了Simulink Verification and Validation的模型覆盖率分析特性,作为完成这个基于需求的测试的度金宝app量。
注:在R20金宝app17b中,Simulink Verification和Validation已过渡到Simulink Check、Simulink Coverage和Simulink Requirements。
记录时间:2013年3月31日
你也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。