日产提高软件可靠性

软件工程发展计划（SWEEP）负责评估
日产供应商的软件开发过程，包括设计，
编码和测试。直到2001年，SWEEP主要以以下方式定义其质量目标
基于单元、集成或系统测试的经典开发技术。这些是
对照为每个开发活动定义的稳健性目标进行交叉检查。

菊池说:“日产和供应商不得不投入大量人力资源，以确保测试阶段软件的完美健壮性。”

那时，软件质量组使用两个静态工具自动编码规则检查和检查源代码的内部结构。这留下了一个真正未满足的需求。正如菊池先生所解释的，“日产遇到了由日益复杂的体系结构、编码错误和其他问题导致的软件错误问题。我们的编码规则和内部结构检查工具可以解决其中一些问题。但是，这些工具无法定位运行时错误，例如零除、溢出和越界阵列访问。”

菊池是第一个了解Polyspace的人^®下载188bet金宝搏C和C++的产品来自全球雷诺日产联盟的同事。

日产进行了基准测试，以评估Polyspace Bug Finder的能力™ 和多空间码验证器™ 查找运行时错误。“我们已经在使用两个静态工具。我们决定在一个试点项目中尝试Polyspace产品。试点成功完成后，我们将Polyspace产品添加到其他两个工具中，并扩展到我们将审查的所有软件。因为供应商有自己的特定软件，包括不同的开发环境在nts、微处理器和交叉编译器中，我们还设计了一个高效的流程，以便能够快速下载188bet金宝搏分析它们的代码。”

日产为每一个识别出的漏洞定义了三个级别的重力:主要(必须立即修复)、中等(应该在未来的版本中修复)和次要。

Kikuchi先生确定了使用Polyspace产品检查之前验证过的代码是否存在运行时错误的约束条件和标准。下载188bet金宝搏

“Polyspace产下载188bet金宝搏品不仅能发现哪些操作可能出现运行时错误，还能识别出那些永远不会出现运行时错误的操作，不管操作条件如何，”菊池先生说。此外，他们可以在编码期间这样做，因此在单元测试之前。这对我们的供应商来说具有巨大的价值。”

“虽然我们不会强迫我们的增值链成员在开发过程中使用Polyspace产品，但我们认为供应商系统地使用Polyspace产品是一个很大的优势。下载188bet金宝搏知道在编码期间如何以及何时使用Polyspace产品使我们对代下载188bet金宝搏码的可靠性有了很大的信心。它为我们提供了一个保证，以最有效的方式确保软件的健壮性和可靠性，”菊池先生总结道。