软件质量保证

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

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

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

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

详细信息请参见Polyspace^®2022世界杯八强谁会赢？