从系列中:基于模型的DO-178C软件开发设计
迈克·安东尼,马修
在本系列网络研讨会的第4部分中,我们将讨论根据文本需求验证模型。在基于需求的开发过程中,想法是为每个需求至少有一个测试用例。可执行Simulink模型允许开发人员在生成嵌入式软件之前验证模型功能是否正确。这种形式的早期验证利用Simulink和Simulink Report Generator针对模型执行基于需求的测试用例,将模型行为与预期行为进行比较,以确保功能行为正确,并生成记录此测试的测试工件。本例还使用Simulink验证和确认的模型覆盖率分析功能万博1manbetx,作为完成此基于需求的测试的度量。
注:Simu万博1manbetxlink验证和确认转换为R2017b中的Simulink检查、Simulink覆盖范围和Simulink要求。
记录日期:2013年3月31日
您还可以从以下列表中选择网站:
选择中国站点(中文或英文)以获得最佳站点性能。其他MathWorks国家/地区网站未针对您所在地的访问进行优化。