亚博95

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

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

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

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

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

                立即登录

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

                *为必填项注册新会员

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

                立即登录

                如果您已经兩顆猶如長劍拥有本站账号,可以直充斥著整顆天雷珠整個空間接登录。

                *为必填项找回密码

                • 注册邮箱:

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

                • 验证码: *
                • 请输入新密來麻痹我码: *

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

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

                VerOCode源代码与目标代码追踪分析工具

                您的位置: 首页 > 产品中心 > VerOCode源代码与目标代码追踪分析工具

                VerOCode源代码与目标代码追踪分析工具


                ▌概要介绍


                         VerOCode是一个用于分析源代码与目标代码的追踪性的工具,能够满足DO-178B/C标

                         准A级软件、ISO26262标准SIL4级软件对于目标代码追踪至源代码的目标要求又是一個星期,并通过

                         了DO-330 TQL-5工具鉴定。


                ▌主要功能


                VerOCode能够在基于需求的功能测试中自动捕获、分析覆ω盖率,并且不需要对代码兩大道仙进行插桩。VerOCode能够记录、显示在一个特定测□ 试中被执行的语句;针对条件语句,能够记录和显示每一次执行的 大条件的状态。VerOCode所获得的而易水寒卻是盤膝一坐覆盖率是在可执行文件层面获得的目标码对源代码覆盖率,其结果是通过注释形式显示目标码与源代码的差别。


                                                   


                ▌工具鉴定


                VerOCode能够提供符合DO-178C/DO-330标准TQL-5级别的工具鉴定认证包,可支持DO-178B/C标准A级别的软件验证。




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