日产提高软件可靠性
挑战
解决方案
结果
- 供应商的错误检测和测量
- 软件可靠性改进
- Polyspace产s manbetx 845品采用日产的供应商
“Polyspace产s manbetx 845品可以确保软件可靠性水平,任何工具都无法比拟的。”
Mitsuhiko菊池、日产
日产汽车的首要关心的是质量。“日产客户有一个重要的责任,”解释Mitsuhiko菊池,日产汽车公司的软件质量小组的领导人。“这就是为什么我们确保我们的车辆符合严格的质量标准。这些标准也适用于软件嵌入在我们的汽车。以确保质量过程有效地应用于所有的电子控制单元(ecu),软件质量组检查软件与所有供应商的审查过程从项目的开始,然后再在每一个重要的里程碑。软件质量组织还报道软件质量直接日产高管的地位。”
挑战
日产的suppliers-including设计的软件开发过程,
编码和测试。直到2001年,扫描其质量目标主要的定义
经典开发技术基于单元测试、集成测试或系统测试。这些都是
crossed-checked对鲁棒性的目标定义为每个开发活动。
“日产和供应商不得不花大量的人力资源,以确保完美的软件健壮性测试阶段期间,“菊池先生说。
当时,使用两个软件质量组静态工具自动编码规则检查和检查源代码的内部结构。让一个真正的未满足的需求。菊池解释说,“日产正在经历软件缺陷造成的问题日益复杂的架构,编码错误,和其他方面的问题。我们的编码规则和内部结构检查工具可以解决其中的一些问题。然而,这些工具不可能找到运行时错误,如部门由零,溢出,界外数组访问。”
解决方案
第一了解Polyspace菊池®s manbetx 845C和c++的产品在全球雷诺-日产联盟的同事。
日产执行基准测试来评估的能力Polyspace错误发现者™和Polyspace代码验证™运行时错误。“我们已经使用两个静态工具。我们决定尝试Polyspace产品在一个试点项目。s manbetx 845成功完成试点,我们Polyspace产品添加到其他两个工具,利用所有的软件我们会审核。s manbetx 845因为供应商有自己的特定的软件,包括不同的开发环境,微处理器,和交叉编译器,我们也设计了一个高效的过程我们可以分析其代码快。”
日产定义了三个层次的重力对于每个缺陷识别:主要(必须立即固定),中等(应固定在将来的版本)和次要的。
菊池标识将用于的约束和标准审查之前验证代码使用Polyspace产品运行时错误的存在。s manbetx 845
“Polyspace产s manbetx 845品不仅找到哪些操作会出现运行时错误,他们也确定那些永远不会有一个,无论操作条件,”菊池先生说。“此外,他们可以这样做,在编码过程中,因此在单元测试。这是我们的供应商的巨大的价值。”
“虽然我们不强迫我们增值链条的成员使用Polyspace产品在开发过程中,我们把一个系统的利用率由供应商作为一个伟大的优先。s manbetx 845知道如何以及何时Polyspace产品中使用的编码给我们很大的s manbetx 845信心在代码可靠性。它为我们提供了一个保证软件的健壮性和可靠性是确保以最有效的方式,”菊池先生总结道。
结果
供应商的错误检测和测量。“Polyspace产品,结果很s manbetx 845容易衡量,”菊池先生说。“我们发现5 bug /项目30 k行代码,或者100 k ROM-are主要bug。这些必须由供应商立即修复,”菊池先生说。这些项目应该是已经验证。”这意味着,这些漏洞可能被发现,少用Polyspace产品。”s manbetx 845
软件可靠性改进。“Polyspace产s manbetx 845品确保应用程序执行可靠而花费少很多比传统测试执行,”菊池先生说。“更不用说功能测试不再是阻碍运行时错误!”
Polyspace产s manbetx 845品采用日产的供应商。许多日产供应商正在努力Polyspace产品融入其内部开发过程。s manbetx 845“我们的供应商没有采用Polyspace产品只是因为我们强烈推荐他们。s manbetx 845事实上,他们知道在这个过程中保证软件可靠性早期最好的方式是为他们提供高质量的应用程序在成本的一小部分。他们也知道的唯一工具,提供详尽的结果,使这一切成为可能的是Polyspace产品,”菊池说。s manbetx 845
