软件质量保证

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

软件QA工程师使用一些过程来检查软件的各种潜在的缺陷和错误，比如确认软件按照规定执行并以健壮的方式运行。在关键嵌入式软件应用程序，软件必须以健壮的方式执行并且没有运行时错误。如果没有执行软件QA，运行时错误就会出现在产品中，并导致不良行为。软件QA过程使用的工具如下静态代码分析识别软件可能出现故障的地方，并证明软件是健壮的。

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

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

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