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