“每个人都知道，当你早期发现它们时，错误的错误要昂贵得多。通过Sim金宝appulink设计验证程序，我们通过在开发的第一阶段进行正式测试来构建基于模型的设计的优势。“
Christoph Hellwig，TRW
TRW Automotive开发的电动停车制动器（EPB）现在ZF Friedrichshafen AG提供了许多优于传统停车制动器的优势。通过消除停车制动杆或踏板的需要，EPB在车辆的室内设计方面提供了更大的灵活性。EPB的板载计算机可以与车辆的稳定性控制系统集成。例如，可以配置成当车辆加速时释放制动器，当驾驶员的门打开时激活制动器，并且在从止动件开始时防止车辆向后滚动。
由于EPB是停车应用的关键部分，因此TRW必须测试控制软件的每个操作和分支。TRW使用Mathworks工具进行模型的设计，以模拟和模拟IEC 61508认证的EPB的控制系统。使用Sim金宝appulink Design Verifier™TRW工程师自动生成测试，这是一种帮助该集团实现其Simulink的100％的方法®和州流®楷模。
“金宝appSimulink Design Verifier使我们能够在内部的内部软件进行正式测试，并在开发的第一阶段验证我们的设计，当缺陷更容易，更昂贵来修复，”Christoph Hellwig，Trow Team Lead Notes Christoph Hellwig。
在以前的项目中，外部供应商手动写入并对TRW代码进行了测试。使用测试结果，TRW开发人员分析并调试其代码。该过程昂贵且易于误解和延误。此外，手动测试留下了测试揭示的设计的一些部分。“我们决定在内部携带这个过程，不仅可以降低成本，还要在我们组织内开发这种类型的软件验证专业知识，”Hellwig说。
TRW试图改善其测试过程，并在开发周期早些时候为开发人员提供有意义和可操作的反馈。
TRW的软件开发集团使用MATLAB®并Sim金宝appulink开发详细的软件设计规范，使其能够更改其测试过程。
TRW工程师使用Simulink De金宝appsign Verifier来生成测试，使其能够满足其客户要求在EPB控制系统模型上100％覆盖范围。
TRW测试工程师凌朱使用Simulink设计验证程序自动生成用于开发代码的金宝app相同模型的测试。
测试工程师然后运行生成的测试用例来查看测试结果。它们还使用Simulink R金宝appequirement™和Simulink Coverage™来生成模型覆盖报告，该报告突出显示了EPB设计的未测试元素，并为开发人员提供了洞察的洞察，该产品介绍未锻炼的模型的区域。开发人员使用这些报告缩短解决缺陷所需的时间。
一旦测试线束完成，TRW开发组将规范转换为固定点模型并生成C代码。Ling RERAN通过SIMULINK设计验证者对C代码生成的测试金宝app，并比较了测试结果以确定转换过程引入的任何问题。该技术使得在设计中可以在设计中找到时移误差以及无法访问的途径。
TRW正在开发一种更可配置的EPB版本，用于一般汽车市场，正在扩展其使用Simulink要求和Simulink覆盖，以将要求链接到其设计，测试和生成的代码。金宝app
测试案例开发时间从天到几小时减少。“使用手动工艺写入复杂模型的写入测试，”Hellwig说。“通过Sim金宝appulink设计验证程序，我们会自动生成测试并在几个小时内获得可靠的可重复测试结果。对于先前需要全天的手动测试写作的更简单的模型，我们会在几分钟内完成结果。“
100％模型覆盖覆盖。“我们补充了Simulink Design Verifier的自动生成的测试用例，只需几个手写测试并达到了100％的代码覆金宝app盖率，”Hellwig说。“通过手动过程，我们无法达到这种覆盖率。”
正式测试在项目中开始两个月。“鉴于第三方测试的费用，我们曾经等到函数冻结，或大约一年进入项目，开始正式测试，”Hellwig说。“金宝appSimulink Design Verifier使我们能够在内部执行此测试，因此我们可以在项目开始后的两个月内为开发提供有意义的反馈。
您还可以从以下列表中选择一个网站：