日产提高软件可靠性
挑战
解决方案
结果
- 供应商的缺陷被检测和测量
- 软件可靠性提升
- 日产供应商采用的Pos manbetx 845lyspace产品
“Polyspace产s manbetx 845品可以确保软件的可靠性，这是业内任何工具都无法比拟的。”
菊池光彦，日产
日产汽车最关心的是质量。“日产汽车对其客户负有重要责任，”日产汽车公司软件质量组负责人菊池光彦解释说。“这就是为什么我们确保我们的车辆符合严格的质量标准。这些标准也适用于我们车辆上的嵌入式软件。为了确保质量过程在所有电子控制单元(ecu)中有效地使用，软件质量小组从项目开始就与所有供应商一起检查软件评审过程，然后在每个主要里程碑处再次检查。软件质量小组还直接向日产高管报告软件质量状况。”
挑战
尼桑供应商的软件开发流程——包括设计、
编码和测试。直到2001年，SWEEP将其质量目标主要定义为
基于单元、集成或系统测试的经典开发技术。这些都是
对照为每个开发活动定义的健壮性目标进行交叉检查。
菊池先生说:“日产和供应商不得不花费大量人力资源，以确保在测试阶段软件的完美健壮性。”
在那个时候，软件质量小组使用了两个静态工具即自动检查编码规则和检查源代码的内部结构。这留下了一个真正未满足的需求。菊池先生解释说:“日产公司经历了由日益复杂的架构、编码错误和其他问题引起的软件漏洞问题。我们的编码规则和内部结构检查工具可以解决其中一些问题。然而，这些工具无法定位运行时错误，例如除零、溢出和越界数组访问。”
解决方案
菊池刚开始了解Polyspace公司®s manbetx 845来自全球雷诺-日产联盟的C和c++产品。
Nissan进行了基准测试，以评估Polyspace Bug Finder™和Polyspace Code Prover™发现运行时错误的能力。“我们已经使用了两个静态工具。我们决定在一个试点项目中试用Polyspace产品。s manbetx 845在成功完成试验之后，我们将Polyspace产品添加到其他两个工具中，并将其扩展到我们将审查的所有软件中。s manbetx 845由于供应商有他们自己的特定软件，包括不同的开发环境、微处理器和交叉编译器，我们也设计了一个高效的流程，这样我们就可以快速分析他们的代码。”
Nissan为每个发现的错误定义了三个严重级别:严重(必须立即修复)、中等(应该在未来的版本中修复)和轻微。
Kikuchi先生确定了约束和标准，这些约束和标准将用于检查使用Polyspace产品时是否存在运行时错误的先前验证过的代码。s manbetx 845
菊池先生说:“Polys manbetx 845space产品不仅能发现哪些操作会出现运行时错误，还能识别出那些无论在何种操作条件下都不会出现错误的操作。”此外，他们可以在编码期间这样做，因此在单元测试之前。这对我们的供应商来说价值巨大。”
“虽然我们不会强迫增值链中的成员在开发过程中使用Polyspace产品，但我们认为供应商系统地使用Polyspace产品是一个很大的加分项。s manbetx 845了解Polyspace产品在编码过程中的使用方式和时间，使我们s manbetx 845对代码的可靠性充满信心。它为我们以最有效的方式确保软件的健壮性和可靠性提供了保证，”菊池先生总结道。
结果
供应商的缺陷被检测和测量．菊池说:“使用Polyspaces manbetx 845的产品，效果很容易衡量。”“我们发现每个项目大约有5个bug——大约30K行代码，或100K rom——是主要的bug。这些问题必须由供应商立即解决。”菊池先生说。这些项目应该已经被验证过了。“这意味着，如果使用Polyspace的产品，就可以更早、更少地发现这些漏洞。”s manbetx 845
软件可靠性提升．菊池先生说:“Polys manbetx 845space产品确保应用程序可靠地运行，同时比传统测试的成本低得多。”“更不用说功能测试不再受到运行时错误的阻碍了!”
日产供应商采用的Pos manbetx 845lyspace产品．许多日产供应商正在努力将Polyspace产品整合到他们的内部开发流程中。s manbetx 845“我们的供应商并没有因为我们的强烈推荐而采用Polyspace的产品。s manbetx 845事实上，他们知道在过程的早期确保软件可靠性是他们以较低的成本交付高质量应用程序的最佳方法。他们也知道，唯一能提供这种详尽结果的工具是Polyspace的产品，”菊池先生说。s manbetx 845
s manbetx 845产品使用
比较tu éxito
Únete al客户参考计划
您也可以从以下列表中选择一个网站: