立即登录

如果您已经拥有本站账号,可以直接登录。

*为必填项注册新会员

  • 登录名: *  
  • 登录密码: *
  • 重复密码: *  
  • 姓名: *  
  • 公司名称: *  
  • 职务:
  • 联系电话: *  
  • 电子邮件: *  
  • 验证码: *  

立即登录

如果您已经拥有本站账号,可以直接登录。

*为必填项找回密码

  • 注册邮箱:

    验证码会以邮件的方式发送到您的邮箱!

  • 验证码: *
  • 请输入新密码: *

安全关键系统集成研制环境ASIDE

提供软件全生命周期研制、管理和审定的综合支持

QAT-330 适航验证分析工具鉴定包

您的位置: 首页 > pk10官方 > QAT-330 适航验证分析工具鉴定包

DO-330软件验证分析工具鉴定包(QAT-330)


DO-330软件验证分析工具鉴定包(QAT-330)是由爱韦讯自主研发的一套独立的工具鉴定数据包, 满足DO178B/C、DO-330等适航标准对验证工具的鉴定要求。RTCA DO-330将COTS工具鉴定的相关方分为工具开发方和工具使用方,并明确提出TQL-5的工具鉴定可以在不需要工具开发方提供任何数据的情况下自工具使用方完成。爱韦讯基于多年的工具鉴定研究和相关项目经验,以DO-178B/C的一些特定目标要求为需求基础,根据DO330对工具鉴定级别为TQL-5的鉴定要求,开发了成套的工具鉴定数据, 形成该工具鉴定包。


RTCA DO-178B/C中表A-5目标  #4明确了软件源代码应符合编码标准,表A-7目标#5~8规定了基于软件需求的测试应达到结构覆盖要求 ( 包括语句覆盖、 判定覆盖、MC/DC及数据耦合和控制耦合 ) 。 机载软件研制生命周期中 , 通常使用软件工具支持自动化验证这些目标 。根据DO-178B/C 、DO-330的要求,如果信任软件工具的输出而不再进行验证,则需要对其进行工具鉴定。




目前爱韦讯主要针对上述三个方向开发了符合适航要求的基础工具鉴定包:


源代码静态分析基础鉴定包

针对DO-178B/C中表 A-5目标#4,以 MISRA-C、GJB 5369等软件编码标准为基础,基于每条编码规则开发了充分的测试用例,可用于验证软件工具是否正确地实现了对应的编码规则。


★  结构覆盖分析基础鉴定包

针对DO-178B/C中表A-7目标#5~7,以DO-178B/C的语句覆盖、判定覆盖、MC/DC标准定义为基础,基于每个覆盖准则开发了充分的测试用例,可用于验证软件工具是否满足DO-178B/C的相关目标要求。


数据耦合和控制耦合基础鉴定包

针对DO-178B/C中表A-7目标#8,根据多年的软件开发和验证项目经验,梳理形成一套数据耦合和控制耦合相关的需求,并基于每条需求开发了充分的测试用例(包括C语言文件及对应的测试数据),可用于验证软件工具对数据耦合和控制耦合的实现程度。


上述每个基础鉴定包都包括一套符合DO-330要求的完整的工具鉴定数据:


★ 工具鉴定计划(模板)
★ 工具安装报告(模板)
★ 工具操作需求
★ 工具配置索引(模板)
★ 基于工具操作需求的测试用例和测试规程
★ 工具完成总结(模板)
★ 工具操作需求与测试用例以及测试用例和测试规程之间的追踪数据
★ 详细使用说明(为用户准备项目级鉴定数据提供实用的指导意见)



▌QAT-330产品特色


普适--需求源于标准

针对某一特定工具的鉴定包,其工具操作需求通常源于该工具本身的需求,因此鉴定包仅适用于该工具鉴定。而本产品提供的工具操作需求源于DO-178B/C标准的目标要求和定义,以及业界较为通用的软件编码标准,而不是源自于特定工具,因此,该鉴定包可适用于对软件验证过程中为满足这些特定目标而使用的所有软件工具的鉴定。


可信--符合适航要求

爱韦讯在工具鉴定领域有多年的课题研究和型号项目实践经验,在工具鉴定适航要求、工具鉴定实践方法等方面进行了深入的研究,为中国商飞、中航集团和中电集团多家研究院所提供了工具鉴定培训,并承接了多家单位的工具鉴定项目。软件验证工具鉴定包完全符合DO-178B/C、DO-330的相关目标要求,提供完整的数据及模板以支持局方的审查。


易用--详细的用户指南+自动化框架

软件验证工具鉴定包提供了DO-330标准针对TQL-5工具鉴定要求的所有数据模板,并提供了详细的鉴定包使用说明,指导用户方便、快速地完成项目级鉴定数据的准备。此外,鉴定包还包括了测试用例和测试规程的自动化执行框架,用户可根据实际项目需要,以此框架为基础,根据特定的工具稍作修改,实现测试用例和测试规程的自动化执行。


重用--基于高重用性的设计

软件验证工具鉴定包具有高度可重用性,当实际项目采用的工具功能升级、操作变更时,用户不需要变更工具操作需求、及基于需求的测试用例和规程、追踪等数据,仅需使用新版工具或在新的工具操作环境下重新执行测试,提高了先前鉴定工具的可重用性。

上海爱韦讯信息技术股份有限公司 版权所有 沪ICP备13019901号-1 COPYRIGHT 2017SHAVIATION 邮政编码:201203