早期的和基于模型的设计验证和确认
验证和确认使用基于模型的设计使检测的设计错误和不正确的需求在开发过程的早期节省你宝贵的时间,提高产品质量。MathWorks咨询服务帮助你建立一个基于模型的设计验证和确认工作流程允许您构建坚实的可执行文件要求和执行早期和持续的测试。
需求和设计之间的可跟踪性
我们向您展示如何确保追溯你的需求在你的设计和最终的应用程序。MathWorks咨询演示了如何最好地使用金宝app仿真软件的需求创建模型之间的双向链接、测试代码,和需求文档,如何生成和使用测试用例,以及如何生成所需的报告。我们集成需求管理系统和建立一个架构,确保可维护性和最大限度地减少人工干预。
符合建模和编码标准
MathWorks顾问教你如何验证符合建模和编码标准特定于您的行业,应用程序和你的公司或安全标准。在我们实现自定义建模检查金宝app仿真软件检查分析和验证模型。我们帮你定制Polyspace错误发现者验证生成的和手写代码编码标准的遵从性。
基于仿真的测试和报告
我们将演示如何运行model-in-the-loop (MIL) software-in-the-loop(银),和processor-in-the-loop(公益诉讼)等价测试确认软件行为模型匹配的行为。我们解释如何应用覆盖率分析与仿真软件覆盖金宝app在模型和代码级评估现有测试用例的质量以及如何生成测试金宝app仿真软件设计验证器再次在你的设计增加信心。我们指导你如何使用金宝app仿真软件测试灵活执行测试和报告,或实现大规模自动化测试和连接第三方工具。
验证通过正式的方法
MathWorks咨询可以帮助你最终应用程序提供的证据表明,您的设计和匹配。我们向您展示如何金宝app仿真软件代码检查器可以检查生成的代码和如何金宝app仿真软件设计验证器可以检测错误像死去的逻辑,整数溢出,分歧的零,等等。我们训练你如何Polyspace代码验证可以演示代码正确性的证明没有溢出的情况下,除和某些其他运行时错误。
MathWorks咨询服务有能力:
- 建立一个早期和持续使用基于模型的设计验证和确认工作流程
- 确保在整个开发过程的可追溯性和质量
- 建立流程提前检测并纠正设计错误
- 确认最终的应用程序符合要求
问题吗?
满足我们的团队
在世界范围内,MathWorks顾问MATLAB和Simulink专业知识和行业经验解决技术和业务金宝app挑战。
大卫Jaffry是MathWorks咨询服务的顾问工程师。他帮助汽车、航空航天、生物科技和工业自动化公司和基于模型的设计实现,验证和确认技术和嵌入式系统的发展。来MathWorks之前,他的工作包括嵌入式系统的软件开发和代码验证Silicomp和Polyspace技术。大卫持有硕士学位计算机系统工程从法国'Ingenieurs·德·布雷斯特。
