从系列:使用MathWorks工具进行DO-178C软件开发的基于模型的设计
迈克·安东尼MathWorks
在本系列网络研讨会的第5部分中,我们讨论了使用正式方法进一步验证模型和评估鲁棒性的想法。执行测试用例验证算法对单个输入用例的功能。通过使用形式化方法分析,开发人员可以对所有可能的输入验证算法的功能。除了最简单的算法之外,这种级别的严格性和健壮性通常不可能单独通过测试来执行。这个例子使用Simulink和Sim金宝appulink设计验证器来应用形式化的方法来证明模型中没有设计错误,评估所有可能场景中的功能行为,并自动生成测试用例,以弥补缺少的覆盖率。
注意:在R2金宝app017b中,Simulink验证和确认过渡到Simulink检查、Simulink覆盖和Simulink要求。
记录:2013年3月31日
我们不会出售或出租您的个人联系信息。详情请参阅我们的隐私政策。
您已经登录到MathWorks帐户。请按“提交”键完成提交程序。
你也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站表现。其他MathWorks国家站点不适合来自您所在位置的访问。