软件工程演化程序(SWEEP)负责评估
日产汽车供应商的软件开发流程，包括设计、
编码和测试。直到2001年，SWEEP定义它的质量目标，主要在以下方面
基于单元、集成或系统测试的经典开发技术。这些都是
对照为每个开发活动定义的健壮性目标进行交叉检查。

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

当时，软件质量小组使用两个静态工具即自动编码规则的检查和源代码内部结构的检查。这留下了一个真正无法满足的需求。正如菊池先生所解释的那样，“尼桑正经历着由日益复杂的架构、编码错误和其他问题引起的软件缺陷问题。我们的编码规则和内部结构检查工具可以解决其中的一些问题。但是，这些工具无法定位运行时错误，如按0划分、溢出和越界的数组访问。”

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

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

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

菊池先生标识将用于审查使用Polyspace产品运行时错误的存在先前验证码的约束和标准。下载188bet金宝搏

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

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