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