亚博里面的ag真人

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

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

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

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

              <i id='EiXuE6'><div id='EiXuE6'><ins id='EiXuE6'></ins></div></i>
              <i id='EiXuE6'></i>
            1. <dl id='EiXuE6'></dl>
              1. <blockquote id='EiXuE6'><q id='EiXuE6'><noscript id='EiXuE6'></noscript><dt id='EiXuE6'></dt></q></blockquote><noframes id='EiXuE6'><i id='EiXuE6'></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级别的软件验死神证。




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