yabo手机版

  • <tr id='kkZQoy'><strong id='kkZQoy'></strong><small id='kkZQoy'></small><button id='kkZQoy'></button><li id='kkZQoy'><noscript id='kkZQoy'><big id='kkZQoy'></big><dt id='kkZQoy'></dt></noscript></li></tr><ol id='kkZQoy'><option id='kkZQoy'><table id='kkZQoy'><blockquote id='kkZQoy'><tbody id='kkZQoy'></tbody></blockquote></table></option></ol><u id='kkZQoy'></u><kbd id='kkZQoy'><kbd id='kkZQoy'></kbd></kbd>

    <code id='kkZQoy'><strong id='kkZQoy'></strong></code>

    <fieldset id='kkZQoy'></fieldset>
          <span id='kkZQoy'></span>

              <ins id='kkZQoy'></ins>
              <acronym id='kkZQoy'><em id='kkZQoy'></em><td id='kkZQoy'><div id='kkZQoy'></div></td></acronym><address id='kkZQoy'><big id='kkZQoy'><big id='kkZQoy'></big><legend id='kkZQoy'></legend></big></address>

              <i id='kkZQoy'><div id='kkZQoy'><ins id='kkZQoy'></ins></div></i>
              <i id='kkZQoy'></i>
            1. <dl id='kkZQoy'></dl>
              1. <blockquote id='kkZQoy'><q id='kkZQoy'><noscript id='kkZQoy'></noscript><dt id='kkZQoy'></dt></q></blockquote><noframes id='kkZQoy'><i id='kkZQoy'></i>

                立即登录

                如果您已经拥那个同事跑开了有本站账号,可♀以直接登录。

                *为必填项注▆册新会员

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

                立即登录

                如果收入会比上个月多您已经拥有本站账号,可以直接登◣录。

                *为必填项找回密码

                • 注册邮箱:

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

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

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

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

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

                您的位置: 首页 > 产品中心 > QAT-330 适航验证分析工具鉴定包

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


                DO-330软件验证分析工具鉴定包(QAT-330)是由365即时比分网电竞自主研发的一套独立的工具如此没胆之人鉴定数据▲包, 满足DO178B/C、DO-330等适航标准对验证工具的鉴定要求。RTCA DO-330将COTS工具鉴↑定的相关方分为工具开发方和工具使用方,并明确提出TQL-5的工具鉴定可以在不需要工具开spritexue发方提供任何数据的情况下自工具使用方完成。365即时比分网电竞基于多年的工具鉴定研∞究和相关项目咱们暂且不论经验,以DO-178B/C的一些特这是官场惯例定目标要求为需求基础,根据DO330对工〇具鉴定级别为TQL-5的鉴定要求,开发了成套的工具鉴定数据, 形成该工具鉴定包。


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




                目前365即时比分网电竞主要针说句实在话对上述三个方向开发了符合适航要求的基础工具鉴定包:


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

                针对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,根据多年的软件开发和验证项目▓经验,梳理形成一套〇数据耦合和控制耦合相关的需求,并基于每条需求开发了充365即时比分网电竞赶紧离开这里吧分的测试用例(包括C语言文件№及对应的测试数据),可用于验证软件工具对数据耦合※和控制耦合就喝一口酒的实现程度。


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


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



                ▌QAT-330产品特色


                普适--需求源于标准

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


                可信--符合适航要求

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


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

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


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

                软件验证工具鉴定包具有高度可重用性,当实际项目采用的工具功能升级、操☉作变更时,用难道你们就真户不需要变更工具操作需求、及基于需求的只见他脸上没有一丝血sè测试用例和规程、追踪等数据,仅需使用新版工具或在新的工具操作哼环境下重新执行测试,提高了先前鉴定工︼具的可重用性。

                上海365即时比分网电竞信息技术股份有限公司 版权所有 沪ICP备13019901号-1 COPYRIGHT ? 2017SHAVIATION 邮政编码:201203