从系列中:基于模型的DO-178C软件开发设计
迈克·安东尼,马修
在本系列网络研讨会的第5部分中,我们讨论了使用形式化方法进一步验证模型和评估稳健性的想法。执行测试用例验证该算法对于单个输入用例的功能。通过使用形式化方法分析,开发人员可以针对所有可能的输入验证算法的功能。除了最简单的算法外,这种严格程度和鲁棒性通常不可能通过单独的测试来实现。此示例使用Simulink和Simulink Design Verifier应用正式方法来证明模型中没有设计错误,评估所有可能场景中的功能行为,并自动生成缺失覆盖率的测试用例。金宝app
注:Simu金宝applink验证和确认转换为R2017b中的Simulink检查、Simulink覆盖范围和Simulink要求。
记录日期:2013年3月31日
您还可以从以下列表中选择网站:
选择中国站点(中文或英文)以获得最佳站点性能。其他MathWorks国家/地区网站未针对您所在地的访问进行优化。