基于模型设计的早期验证和验证

需求和设计之间的可跟踪性

我们向您展示如何确保您的需求在整个设计和最终应用程序的可追溯性。MathWorks Consulting演示了如何最好地使用金宝app仿真软件的需求创建模型、测试、代码和需求文档之间的双向链接，以及如何生成和使用测试用例，以及如何生成所需的报告。我们集成了您的需求管理系统，并建立了一个确保可维护性和最小化手工干预的体系结构。

符合建模和编码标准

MathWorks Consultants教你如何验证特定于您的行业、应用程序和公司的建模和编码标准或安全标准的遵从性。我们实现了自定义建模签入金宝app仿真软件检查分析和验证您的模型。我们帮助您定制Polyspace错误发现者验证生成的和手写的代码是否符合编码标准。

基于模拟的测试和报告

我们演示了如何运行模型在环(MIL)、软件在环(SIL)和处理器在环(PIL)等价测试，以确认软件行为与模型行为匹配。我们解释如何应用Simulink coverage覆盖分析金宝app在模型和代码级别评估现有测试用例的质量，以及如何生成测试工具金宝app仿真软件设计验证器再次增加你设计的信心。我们指导你如何最好地使用金宝app仿真软件测试灵活地执行测试并报告它们，或者实现大规模的自动化测试并将它们与第三方工具连接。

形式方法验证

MathWorks Consulting可以帮助您提供设计与最终应用程序匹配的证据。我们会告诉你金宝app仿真软件代码检查器可以检查生成的代码吗金宝app仿真软件设计验证器可以检测死逻辑、整数溢出、被零除等错误。我们训练你怎么做Polyspace代码验证可以通过证明没有溢出、被零除和某些其他运行时错误来证明代码的正确性。

MathWorks咨询服务有能力:

• 使用基于模型的设计建立早期和持续的验证和确认工作流
• 确保整个开发过程的可追溯性和质量
• 建立早期发现和纠正设计错误的过程
• 验证最终的应用程序满足要求