54:54视频长度为54:54。
基于模型的DO-178C软件开发设计,使用MathWorks工具,第5部分:证明算法的正确性
在本系列网络研讨会的第5部分中,我们讨论了使用形式化方法进一步验证模型和评估鲁棒性的思想。执行测试用例验证算法对于单个输入用例的功能。形式化方法分析的使用允许开发人员对所有可能的输入验证算法的功能。除了最简单的算法,这种级别的严谨性和鲁棒性通常不可能仅通过测试来实现。这个例子使用Simulink和Sim万博1manbetxulink Design Verifier来应用形式化方法来证明模型中没有设计错误,评估所有可能场景中的功能行为,并自动生成缺失覆盖率的测试用例。
注意:在R2万博1manbetx017b中,Simulink验证和验证转换为Simulink检查、Simulink覆盖和需求工具箱。
记录日期:2013年3月31日
您也可以从以下列表中选择一个网站:
如何获得最佳的网站性能
选择中国站点(中文或英文)以获得最佳站点性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。