使用基于模型的设计进行早期验证和确认

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

我们可以为您展示如何确保需求在整个设计过程的可追溯性，以及需求到最终应用的可追溯性。MathWorks 咨询服务人员会为您演示使用 Requirements Toolbox 执行以下操作的最佳方法：创建模型、测试、代码和需求文档之间的双向链接，生成和使用测试用例，以及生成所需的报告。我们可集成您的需求管理系统，并建立可确保可维护性并最小化人工干预的架构。

符合建模和编码标准

MathWorks 顾问将教您如何验证特定于您的行业、应用和公司的建模和编码标准或安全标准的合规性。我们可以在 Simulink Check 中实现自定义建模检查以分析和验证您的模型。我们会帮助您自定义 Polyspace Bug Finder 以验证生成代码和手写代码的编码标准合规性。

基于仿真的测试和报告

我们会为您演示如何运行模型在环 (MIL)、软件在环 (SIL) 和处理器在环 (PIL) 等效性测试，以确认软件行为与模型行为匹配。我们可向您解释如何在模型和代码级别应用 Simulink Coverage 覆盖率分析以评估现有测试用例的质量，以及如何使用 Simulink Design Verifier 生成测试框架以进一步增强您对设计的信心。我们将指导您使用 Simulink Test 灵活地执行测试并报告测试结果，或实现大规模自动化测试并将其与第三方工具连接起来的最佳方法。

使用形式化方法进行验证

MathWorks 咨询服务可以帮助您提供能够证明您的设计和您的最终应用匹配的证据。我们可向您展示 Simulink Code Inspector 如何检查生成的代码，以及 Simulink Design Verifier 如何检测死逻辑、整数溢出、除以零等错误。我们可为您提供培训，让您了解 Polyspace Code Prover 如何通过证明不存在溢出、除以零以及某些其他运行时错误来证明代码的正确性。

MathWorks Consulting Services 在以下方面久经考验：

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