软件质量保证

软件QA(质量保证)与静态代码分析

软件质量保证是分析和检查软件产品的特定属性或属性的过程。通常情况下,QA团队会识别软件开发人员需要修复和纠正的问题。软件质量保证过程由以下标准定义和描述做- 178IEC 61508,ISO 26262

软件质量保证工程师使用过程检查软件的各种潜在缺陷和错误,例如验证软件是否按照指定的方式执行并以健壮的方式运行。在关键嵌入式软件应用程序,软件必须以健壮的方式执行,并且没有运行时错误。如果软件QA没有执行,运行时错误就会在产品中出现,并导致不良行为。软件质量保证过程使用诸如静态代码分析识别软件可能失败的地方,并证明软件是健壮的。

你可以使用静态代码分析工具来完成以下任务:

  • 自动化和精简QA过程
  • 检测并证明源代码中没有运行时错误
  • 生成软件QA报告,以识别代码的哪些部分是可靠的,哪些方面有失败的风险

有关详细信息,请参见Polyspace®s manbetx 845

参见:用Polyspace产品进行静态分析s manbetx 845验证、确认和测试嵌入式系统抽象的解释代码评审圈复杂度正式的方法软件度量软件质量保证软件质量目标源代码分析静态代码分析