从系列:用MathWorks工具进行DO-178C软件开发的基于模型设计
迈克·安东尼MathWorks
在本系列网络研讨会的第5部分中,我们将讨论使用形式化方法进一步验证模型并评估鲁棒性的想法。执行测试用例验证算法对单个输入用例的功能。使用形式化方法分析允许开发人员验证算法对所有可能输入的功能。除了最简单的算法,这种级别的严格和健壮性通常不可能仅通过测试来执行。这个例子使用Simulink和Sim金宝appulink Design Verifier来应用形式化的方法来证明模型中没有设计错误,评估所有可能场景中的功能行为,并自动生成缺失覆盖率的测试用例。
注:在R20金宝app17b中,Simulink Verification和Validation已过渡到Simulink Check、Simulink Coverage和Simulink Requirements。
记录时间:2013年3月31日
你也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。