软件质量保证是分析和检查软件产品的特定属性或特性的过程。通常,QA团队会识别软件开发人员要修复和纠正的问题。软件QA过程是由标准定义和描述的,例如做- 178,IEC 61508,ISO 26262.
软件QA工程师使用诸如验证软件是否按照指定的方式运行和以健壮的方式运行等过程来检查软件的各种潜在缺陷和错误。在关键嵌入式软件在应用程序中,软件必须以健壮的方式执行,并且没有运行时错误。如果不执行软件QA,运行时错误可能会在生产中出现,并导致不良行为。软件QA过程使用的工具如下静态代码分析确定软件可能在哪里出现故障,并证明软件是健壮的。
您可以使用静态代码分析工具完成以下任务: