从系列:基于模型的设计DO-178C软件开发与MathWorks工具
迈克·安东尼,MathWorks公司
在此次网络研讨会系列的第5部分,我们将讨论使用正式的方法来进一步验证模型,并评估强壮的意义。执行测试用例验证了算法的针对单个输入情况的功能。使用形式化方法分析允许开发人员验证算法的功能,为所有可能的输入。除了最简单的算法,这种程度的严谨性和鲁棒性的通常是不可能通过单独测试来执行。本例使用Simulink和Simul万博1manbetxink设计验证申请正式的方法,以证明不存在在模型设计上的错误,评估所有可能的方案功能的行为,并自动生成测试用例覆盖失踪。
注:Simu万博1manbetxlink的验证与确认过渡到Simulink的检查,Simulink的覆盖面,并在R2017b Simulink的要求。
记录:2013年3月31日
我们不会出售或出租您的个人信息。详情请参阅我们的隐私政策。
您到您的MathWorks公司的帐户已经签署。请按“提交”按钮,完成这一过程。
您还可以选择从下面的列表中的网站:
选择最佳的网站性能的中国网站(在中国或英文)。其他MathWorks的国家网站都没有从您的位置访问进行了优化。