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

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

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

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

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

日产定义了三个层次的重心已确定每一个错误：主要的（必须立即修复），中（应固定在将来的版本），以及未成年人。

菊池先生标识将用于审查使用Polyspace产品运行时错误的存在先前验证码的约束和标准。s manbetx 845

“Polyspace产s manbetx 845品不仅可以找到哪些操作可以体验到运行时错误，他们还确定那些将永远不会有一个，不管工作条件，”菊池先生说。“。此外，它们可以在编码期间这样做，从而前部的测试。这是巨大的价值，我们的供应商“。

“虽然我们不强迫我们使用Polyspace产品在其发展过程中的增值链的成员，我们认为一个系统的利用率由供应商作为一个伟大的加分。s manbetx 845了解如何以及何时Polyspace产品编码过程中使用使我们在代s manbetx 845码的可靠性充满信心。它为我们提供了保证软件的稳定性和可靠性的最有效的方式是保证，”总结菊池先生。