日产提高软件可靠性

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

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

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

菊池最初了解到Polyspace^®下载188bet金宝搏从全球雷诺-日产联盟的同事为C和c++的产品。

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

日产为每个识别出的bug定义了三种级别的严重性:严重(必须立即修复)、中等(应该在未来的版本中修复)和轻微。

菊池先生确定了约束条件和标准，这些限制条件和标准将用于审查以前验证过的代码，以确定Polyspace产品是否存在运行时错误。下载188bet金宝搏

“Polyspace产下载188bet金宝搏品不仅能发现哪些操作会出现运行时错误，还能识别出那些永远不会出现错误的操作，无论操作条件如何，”菊池说。此外，他们可以在编码期间这样做，也就是在单元测试之前。这对我们的供应商具有巨大的价值。”

“虽然我们不会强迫我们的增值链成员在开发过程中使用Polyspace产品，但我们认为供应商系统地使用Polyspace产品是一个很大的优势。下载188bet金宝搏了解Polyspace产品在编码过程中如何以及何时使用，让我们下载188bet金宝搏对代码的可靠性充满信心。它为我们提供了保证，以最有效的方式确保软件的健壮性和可靠性，”菊池先生总结道。