日产会增加软件可靠性

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

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

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

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

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

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

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

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

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