菲利普·斯潘佐,雷诺
Thierry Cambois,PSA PeugeotCitroën
在验证和验证代码时,汽车制造商及其供应商通常共享具有正确时序和成本的安全代码的目标。但是,他们有不同的达到这一目标的方式。供应商可通过开发过程中的验证和验证来确保质量;制造商可以通过最终产品中的验证和验证来检查质量。在两侧没有共同的方法,测量结束代码的真实质量可以是一个非常复杂的任务。
为了在使用PolySpace等软件验证工具中分享他们的经验®代码Verifiers,汽车制造商Renault SA和PSA PeugeotCitroën,汽车供应商Valeo和Delphi Diesel Systems动力列车,以及Mathworks于2007年决定创建一个工作组。这个工作组侧重于定义源代码的软件质量目标以及实现和测量它们的常用方法。本次会议提出了结果。
沿着软件生命周期流程定义了增量质量目标,从第一代码版本到最终代码传递。沿着该路径,我们描述了验证里程碑,例如缺乏编码规则违规或没有运行时错误,并建议将不同的质量水平与不同的模块和不同的交付相关联。因此,质量依赖于基于典型开发过程的模块化验证方法。
最终结果是一个独立于工具的文件,可以用作汽车制造商和供应商之间的关系更好地形式化的阶段,以至于软件质量目标。由于这项工作,雷诺和PSA在其软件要求计划中纳入了文件。此外,该文档提出了一种使用验证工具(如PolySpace Code Verifiers)的语用方式,以便检测编码规则违规或证明不存在运行时间错误。
记录:2010年6月22日
您还可以从以下列表中选择一个网站:
选择中国网站(以中文或英文)以获取最佳网站性能。其他MathWorks国家网站未优化您的位置。