来自系列:使用MathWorks工具的DO-178C软件开发模型设计
Mike Anthony,Mathworks
在本网络研讨会系列的第5部分中,我们讨论使用正式方法进一步验证模型并评估鲁棒性的想法。执行测试用例验证算法的单个输入案例的功能。使用正式方法分析允许开发人员验证算法的所有可能输入的功能。除了最简单的算法之外,这种严格和鲁棒性通常是不可能单独测试的。此示例使用Simulink和Simu金宝applink设计验证程序应用正式方法,以证明模型中的设计错误,评估所有可能场景中的功能行为,并自动生成缺失覆盖的测试用例。
注意:Sim金宝appulink验证和验证转换为R2017B中的Simulink Check,Simulink Coverage和Simulink要求。
记录:2013年3月31日
您还可以从以下列表中选择一个网站:
选择中国网站(以中文或英文)以获取最佳网站性能。其他MathWorks国家网站未优化您的位置。