软件工程演进计划（扫描）负责评估
日产汽车公司的供应商，包括设计的软件开发过程，
编码和测试。2001年之前，SWEEP的质量目标主要是
基于单元，集成，或系统测试经典的开发技术。这些曾经是
交叉核对每个开发活动所定义的鲁棒性的目标。

“在测试阶段，日产和供应商必须花费大量人力资源来确保软件的健壮性，”菊池先生说。

当时，软件质量小组使用了两个静电工具该自动编码规则检查和源代码的内部结构的检查。这留下了一个真正的未满足的需要。由于菊池先生解释说，“日产正在经历与受日益复杂的架构，编码错误等问题造成的软件缺陷问题。我们的编码规则和内部结构检测工具可以解决其中的一些问题。但是，这些工具无法找到运行时错误，如被零，溢出，出界外数组访问告“。

Kikuchi先生首先了解了Polyspace^®s manbetx 845产品C和C ++从全球雷诺 - 日产联盟中的同事。

日产汽车进行基准测试，以评估Polyspace Bug的搜索™和Polyspace代码证明器找到运行时错误的能力™。“我们已经使用了两个静态工具。我们决定一个试点项目中尝试Polyspace产品。s manbetx 845在试点的成功完成，我们增加Polyspace产品两个其他工具和扩展的利用，所有的软件，我们会检讨。s manbetx 845由于供应商都有自己特定的软件，包括不同的开发环境，微处理器和交叉编译器，我们还设计了一个高效的过程，所以我们可以快速地分析他们的代码“。

日产为每一个确定的缺陷定义了三个级别的重力：主要（必须立即修复）、中等（应该在将来的版本中修复）和次要。

Kikuchi先生确定了使用Polyspace产品检查先前验证的代码是否存在运行时错误的约束和标准。s manbetx 845

Kikuchi先生说：s manbetx 845“Polyspace产品不仅可以发现哪些操作可能会遇到运行时错误，还可以识别那些永远不会出现错误的操作，无论操作条件如何。”。“此外，他们可以在编码期间这样做，因此在单元测试之前。这对我们的供应商具有巨大的价值。”

“虽然我们不强迫我们的增值链成员在其开发过程中使用Polyspace产品，但我们认为供应商的系统利用是一个很大的好处。知道在编码过程中如何以及何时s manbetx 845使用Polyspace产品，我们对代码的可靠性有很大的信心。它为我们提供了一个保证，即以最有效的方式确保软件的健壮性和可靠性。