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