具有静态代码分析的软件QA(质量保证)

软件QA是分析和检查软件产品的特定属性或属性的过程。通常,QA团队确定软件开发人员致力于修复和纠正的问题。软件QA过程由以下标准定义和描述:DO-178,IEC 61508,及ISO 26262.

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

您可以将静态代码分析工具用于以下任务:

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

有关详细信息,请参阅多空间®s manbetx 845


示例和如何


软件参考

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