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

软件测试是分析和检查的特定属性或者软件产品的属性的过程。通常,QA团队识别问题,软件开发工作,以修复和纠正。软件QA过程定义和标准,例如描述DO-178IEC 61508ISO 26262

软件QA工程师检查软件的各种潜在的缺陷和错误的使用诸如验证,该软件执行的规定和鲁棒方式进行操作。在关键的嵌入式软件应用程序,该软件必须以稳健的方式进行,且无运行时错误。如果不进行软件QA,运行时错误可以生产并造成不良行为表现。软件测试过程中使用的工具,如静态代码分析找出其中的软件可能会失败,并证明该软件是强大的。

您可以使用静态代码分析工具来执行以下任务:

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

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


示例以及如何


也可以看看:与Polyspace产品静态分析s manbetx 845验证,确认和测试嵌入式系统抽象解释代码审查圈复杂度形式化方法软件度量软件QA软件质量目标源代码分析静态代码分析