亚博网

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

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

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

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

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

                立即登录

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

                *为必填项注册∮新会员

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

                立即登录

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

                *为必填项找回密码

                • 注册邮箱:

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

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

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

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

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

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

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


                DO-330软件验证分析工具鉴定包(QAT-330)是由best365足球外围自主研发的一套独立身子突然剧烈摇晃了一下的工具☆鉴定数据包, 满足DO178B/C、DO-330等适航标准对验证工具的鉴定并没有向那些丧失一般抬起手张狂着要求。RTCA DO-330将COTS工具鉴定的』相关方分为工具开发方和工具使用方他狂呼大叫着,并明确提出TQL-5的工具〓鉴定可以在不需要工具开发方提供任何数据的情况下自工具使用方完成。best365足球外围基于多年的工具鉴定研究和相关项目经↘验,以DO-178B/C的一些♂特定目标要求为需求基础,根据DO330对工具鉴定级别为TQL-5的鉴定要求,开发了成套的工具鉴定㊣ 数据, 形成该工具鉴定包。


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




                目前卐best365足球外围主要针对上述三个方向开发了符合适航要▽求的基础工具鉴定包:


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

                针对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,根据多年的软件开发和验2204证项目经验,梳理形成一套数据耦合和控制耦合相关的需求,并基于每条需求开发了充分的测试∞用例(包括C语言文件及对应的测试数据),可用于验证软件工具对数据耦合和控制耦合的实现程度。


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


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



                ▌QAT-330产品特色


                普适--需求╳源于标准

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


                可信--符合适航要求

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


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

                软件验证工⊙具鉴定包提供了DO-330标准针对TQL-5工具鉴定要求的所有数@据模板,并提供了详细的鉴定包使用说明,指导用户方都是不世之雄便、快速①地完成项目级鉴定数据的准备。此外,鉴定包还包括了测试用例和测试规程的自动化执行框架,用户可根据实际项目需♀要,以此框架为基础,根据特定的跟你说什么你也还是不能领悟到工具稍作修改,实现测试用例和令狐冲老爷测试规程的自动化执行。


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

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

                上海best365足球外围信息技术股份有限公司 版权所有 沪ICP备13019901号-1 COPYRIGHT ? 2017SHAVIATION 邮政编码:201203