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

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

软件质量保证工程师使用过程来检查软件的各种潜在的缺陷和错误,例如确认软件按照指定的方式执行,并以健壮的方式运行。在关键嵌入式软件在应用程序中,软件必须以健壮的方式执行,并且不存在运行时错误。如果不执行软件QA,运行时错误可能会在生产环境中出现,并导致不希望的行为。软件质量保证过程使用工具,例如静态代码分析识别软件可能失败的地方,并证明软件是健壮的。

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

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

有关详细信息,请参见Polyspace®下载188bet金宝搏

参见:Polyspace产品的静态分析下载188bet金宝搏,验证、确认和测试,嵌入式系统,抽象的解释,代码评审,圈复杂度,正式的方法,软件度量,软件质量保证,软件质量目标,源代码分析,静态代码分析