基于模型的设计与MathWorks - 178 c软件开发工具,第4部分:验证模型的高级需求

在这个网络研讨会系列的第4部分中,我们讨论对文本验证模型的要求。在一个基于需求的开发过程,这样做是为了对每个要求至少有一个测试用例。可执行模型模型允许开发人员来验万博1manbetx证模型生成嵌入式软件之前功能是正确的。这种形式的早期验证利用仿真软件和仿真软件报告生成器来执行基于需求的测试用例对模型,比较模型万博1manbetx的行为预期的行为,以确保适当的功能行为,并生成一个测试工件记录这个测试。这个示例还使用模型的仿真软件验证和确认的覆盖率分析特性,作为完成指标基于需求的测试。万博1manbetx

注意:仿真软万博1manbetx件验证和确认转换到仿真软件检查,仿真软件的覆盖率和需求在R2017b工具箱。