日产会增加软件可靠性

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

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

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

Kikuchi先生首先了解了Polyspace^®下载188bet金宝搏雷诺-尼桑全球联盟的同事为C和c++的产品。

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

日产为发现的每个错误定义了三个重力：主要（必须立即固定），中等（应在未来发布中修复），并进行次要。

Kikuchi先生识别将用于审查以前使用PolySpace产品的运行时误差的验证代码的约束和标准。下载188bet金宝搏

“多层产品不仅可以找到下载188bet金宝搏哪些操作可以体验运行时间错误，他们还识别那些永远不会拥有一个的操作，无论操作条件都是如此，kikuchi先生说。“此外，它们可以在编码期间这样做，因此在单元测试之前。这对供应商来说是巨大的价值。“

“虽然我们不强制于其增值链的成员在其开发过程中使用PolySpace产品，但我们将供应商提供系统的系统利用。下载188bet金宝搏知道如何以及当编码期间使用的多观空间产品提供了对代码可靠性的极下载188bet金宝搏大信心。它为我们提供了一种以最有效的方式确保软件稳健性和可靠性，“基金先生先生。