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

需求和设计之间的可追溯性

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

遵从建模和编码标准

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

基于模拟的测试和报告

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

形式化方法验证

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

MathWorks咨询服务具备以下能力:

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