来自系列:使用MathWorks工具的DO-178C软件开发模型设计
Mike Anthony,Mathworks
在本网络研讨会系列的第4部分中,我们讨论了对文本要求的模型的验证。在基于需求的开发过程中,该想法是为每个要求具有至少一个测试用例。可执行的Simulink模型允金宝app许开发人员在生成嵌入式软件之前验证模型在功能上是否正确。这种形式的早期验证利用Simulink和Simulink报告生成器来对模型执行基于需求的测金宝app试用例,将模型的行为与预期行为进行比较,以确保正确的功能行为,并生成记录该测试的测试工件。此示例还利用Simulink验证和验证的模型覆盖分析功能,作为完成此要求的基于要求的测试。金宝app
注意:Sim金宝appulink验证和验证转换为R2017B中的Simulink Check,Simulink Coverage和Simulink要求。
记录:2013年3月31日
您还可以从以下列表中选择一个网站:
选择中国网站(以中文或英文)以获取最佳网站性能。其他MathWorks国家网站未优化您的位置。