“每个人都知道，如果及早发现错误，修复错误的成本会低得多。使用Sim万博1manbetxulink Design Verifier，我们通过在开发的第一阶段执行正式测试，构建基于模型的设计的优势。”
克里斯托夫·赫尔维格，TRW
TRW汽车公司(现为ZF Friedrichshafen AG)开发的电动驻车制动器(EPB)比传统驻车制动器有许多优点。通过消除对驻车制动杆或踏板的需要，EPB提供了更大的灵活性，在车辆的内部设计。EPB的机载计算机可以与车辆的稳定控制系统集成。例如，可以配置在车辆加速时松开刹车，在驾驶员车门打开时激活刹车，在从停车开始时防止车辆向后滚动。
由于EPB是停车应用的关键部分，天合汽车必须对控制软件的每一个操作和分支进行测试。TRW使用基于模型设计的MathWorks工具对IEC 61508认证的EPB的控制系统进行建模和仿真。通过Sim万博1manbetxulink Design Verifier™，TRW工程师自动生成测试，帮助团队实现了Simulink 100%的覆盖®和状态流®模型。
T万博1manbetxRW团队负责人Christoph Hellwig指出：“Simulink Design Verifier使我们能够将软件的正式测试带到内部，并在开发的第一阶段验证我们的设计，因为缺陷更容易修复，成本更低。”。
在以前的项目中，外部供应商手动编写并执行TRW代码测试。TRW开发人员使用测试结果分析并调试了他们的代码。这一过程成本高昂，而且容易出现沟通失误和延误。此外，手动测试使部分设计未被测试覆盖。“我们决定将这一过程引入内部，不仅是为了降低成本，也是为了在我们的组织内开发这种类型的软件验证专业知识，”Hellwig说。
天合试图改进测试流程，并在开发周期的早期就向开发人员提供有意义和可操作的反馈。
TRW的软件开发小组使用了MATLAB®Simu万博1manbetxlink开发了详细的软件设计规范，使他们能够更改测试过程。
TRW工程师使用Simulink De万博1manbetxsign Verifier生成测试，使他们能够满足客户对EPB控制系统模型100%覆盖率的要求。
TRW的测试工程师Ling Zhu使用Simulink Design Ve万博1manbetxrifier从用于代码开发的相同模型中自动生成测试。
测试工程师然后运行生成的测试用例来审查测试结果。他们还使用了Simulink 万博1manbetxRequirements™和Simulink Coverage™来生成突出显示EPB设计中未测试的元素的模型覆盖率报告，并为开发人员提供了对模型中未被执行的区域的洞察。开发人员使用这些报告来缩短解决缺陷所需的时间。
测试工具完成后，TRW开发小组将规范转换为定点模型并生成C代码。Ling根据C代码重新运行Simulink Design Verifier生成的测试，并比较测试结果，以确定转换过程中引入的任何问题。该技术使查找ti变得容易我转移了设计中的错误以及代码中无法到达的路径。万博1manbetx
TRW正在为一般汽车市场开发一个更具可配置性的EPB版本，并正在扩展其Simulink需求和Simulink覆盖范围的使用，以将需求与其设计、测试和生成的代码联系起来。万博1manbetx
测试用例开发时间从几天减少到几个小时．“使用手工流程编写复杂模型的测试需要几天的努力，”Hellwig说。“有了Sim万博1manbetxulink Design Verifier，我们可以在数小时内自动生成测试，并获得可靠、可重复的测试结果。对于以前需要一整天手工编写测试的简单模型，我们在几分钟内就能得到结果。”
模型覆盖率达到100%Hellwig说：“我们用几个手写测试补充了Simulink Design Verifier自动生成的测试用例，并实现了100万博1manbetx%的代码覆盖率。通过手动过程，我们无法实现这种覆盖率。”
正式的测试在项目开始两个月后开始．Hellwig说:“考虑到第三方测试的费用，我们过去总是等到功能冻结，或者项目启动一年后才开始正式测试。”“万博1manbetxSimulink Design Verifier使我们能够在内部执行测试，因此我们可以从初始构建开始(通常在项目开始后两个月)，为开发提供有意义的反馈。”
加入客户参考计划
你也可以从以下列表中选择一个网站: