日产会增加软件可靠性

软件工程演化计划（扫描）负责评估
日产供应商的软件开发过程 - 包括设计，
编码和测试。直到2001年，扫描主要是主要的目标目标
基于单位，集成或系统测试的古典开发技术。这些曾经是
交叉检查针对每个开发活动定义的鲁棒性目标。

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

那时，软件质量组使用了两个静态工具自动编码规则检查和检测源代码的内部结构。留下了真正的未满足的需求。正如基金先生解释所说，“日产遇到了由越来越复杂的架构，编码错误和其他问题引起的软件错误的问题。我们的编码规则和内部结构检测工具可以解决一些问题。但是，这些工具无法找到运行时错误，例如零，溢出和缺少界限数组访问。“

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

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

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

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

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

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