日产提高软件可靠性

软件工程发展计划(SWEEP)负责评估
尼桑供应商的软件开发流程——包括设计、
编码和测试。直到2001年，SWEEP主要从以下方面确定其质量目标：
基于单元、集成或系统测试的经典开发技术。这些都是
与为每个开发活动定义的健壮性目标进行交叉检查。

Kikuchi先生说：“日产和供应商不得不在测试阶段花费大量人力资源来确保软件的健壮性。”。

当时，软件质量小组正在使用两种方法静态工具自动编码规则检查和源代码内部结构检查。这留下了一个真正未被满足的需求。菊池先生解释道:“由于日益复杂的架构、编码错误和其他问题，日产遇到了软件错误的问题。我们的编码规则和内部结构检查工具可以解决其中一些问题。然而，这些工具无法定位运行时错误，如除以零、溢出和超出边界的数组访问。”

菊池先生首先了解了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

菊池先生说：“Polys manbetx 845space产品不仅可以发现哪些操作会出现运行时错误，还可以识别那些永远不会出现运行时错误的操作。”。“此外，他们可以在编码过程中这样做，从而在单元测试之前这样做。这对我们的供应商来说是非常有价值的。”

“虽然我们不强迫增值链的成员在开发过程中使用Polyspace产品，但我们认为供应商系统化地使用Polyspace产品是一大优势。了解编码过程中使s manbetx 845用Polyspace产品的方式和时间让我们对代码的可靠性充满信心。这为我们提供了软件健壮性和可靠性的保证nd的可靠性以最有效的方式得到保证，”菊池先生总结道。