日产汽车最关心的是质量。“日产对其客户负有重要责任,”日产汽车公司软件质量小组负责人菊池光彦解释道。“这就是为什么我们确保我们的车辆符合严格的质量标准。这些标准也适用于我们车辆上嵌入的软件。以确保质量过程在所有电子控制单元(ECU)中得到有效使用。”,软件质量小组从项目开始就与所有供应商一起检查软件审查流程,然后在每个重要里程碑再次检查。软件质量小组还直接向日产高管报告软件质量状态。”
“Polyspace产下载188bet金宝搏品可确保软件可靠性达到业界任何工具无法比拟的水平。”
日产菊池光彦
日产汽车最关心的是质量。“日产对其客户负有重要责任,”日产汽车公司软件质量小组负责人菊池光彦解释道。“这就是为什么我们确保我们的车辆符合严格的质量标准。这些标准也适用于我们车辆上嵌入的软件。以确保质量过程在所有电子控制单元(ECU)中得到有效使用。”,软件质量小组从项目开始就与所有供应商一起检查软件审查流程,然后在每个重要里程碑再次检查。软件质量小组还直接向日产高管报告软件质量状态。”
菊池先生首先了解了Polyspace®下载188bet金宝搏C和C++的产品来自全球雷诺日产联盟的同事。
日产进行了基准测试,以评估Polyspace Bug Finder的能力™ 和多空间码验证器™ 查找运行时错误。“我们已经在使用两个静态工具。我们决定在一个试点项目中尝试Polyspace产品。试点成功完成后,我们将Polyspace产品添加到其他两个工具中,并扩展到我们将审查的所有软件。因为供应商有自己的特定软件,包括不同的开发环境在nts、微处理器和交叉编译器中,我们还设计了一个高效的流程,以便能够快速下载188bet金宝搏分析它们的代码。”
日产为发现的每个缺陷定义了三个严重级别:重大(必须立即修复)、中等(应在未来版本中修复)和轻微。
Kikuchi先生确定了将用于使用Polyspace产品检查先前验证的代码是否存在运行时错误的约束和标准。下载188bet金宝搏
菊池先生说:“Poly下载188bet金宝搏space产品不仅可以发现哪些操作会出现运行时错误,还可以识别那些永远不会出现运行时错误的操作。”。“此外,他们可以在编码过程中这样做,从而在单元测试之前这样做。这对我们的供应商来说是非常有价值的。”
“虽然我们不强迫增值链的成员在开发过程中使用Polyspace产品,但我们认为供应商系统化地使用Polyspace产品是一大优势。了解编码过程中使下载188bet金宝搏用Polyspace产品的方式和时间让我们对代码的可靠性充满信心。这为我们提供了软件健壮性和可靠性的保证nd的可靠性以最有效的方式得到保证,”菊池先生总结道。
检测和测量供应商的缺陷Kikuchi先生说:“对于Poly下载188bet金宝搏space产品,结果很容易衡量。我们发现每个项目大约有5个bug,大约3万行代码,或者10万个ROM是主要bug。这些bug必须由供应商立即修复。”Kikuchi先生说。这些项目应该已经过验证。“这意味着,通过使用Polyspace产品,这些漏洞可以更早发现,而且花费更少。”
软件可靠性提高Kikuchi先生说:“P下载188bet金宝搏olyspace产品确保了应用程序的可靠运行,同时比传统测试的成本要低得多。更不用说功能测试不再受到运行时错误的阻碍了!”
日产供应商采用的Po下载188bet金宝搏lyspace产品. 许多日产供应商正在努力将Polyspace产品整合到其内部开发流程中。“我们的供应商之所以采用Polyspace产下载188bet金宝搏品,并不仅仅是因为我们极力推荐它们。事实上,他们知道,确保软件在开发过程中的早期可靠性是他们以很低的成本交付高质量应用程序的最佳方式。他们还知道,只有能够提供详尽结果的工具才能实现这一目标sible是多空间产品,”菊池先生说。
加入客户参考计划