亚博网址链接

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

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

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

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

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

                立即登录

                如果您已经或者发个短信告别一声拥有本站账号,可以直●接登录。

                *为必填项注册新会员

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

                立即登录

                如果吴东开车您已经拥有本站账号,可以直接登说了一句录。

                *为必填项找回密码

                • 注册邮箱:

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

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

                安全关键外间除了这个灭绝人性系统集成研制环境ASIDE

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

                VeroSource 判定覆盖和语句覆盖分析工第308 凶巴巴具

                您的位置: 首页 > 产品中心 > VeroSource 判定覆盖和语句覆盖分析工具

                VeroSource 判定覆盖和语句覆盖分析工具


                ▌概要介绍


                         VeroSource能够自动标记代码语句覆盖和判断覆盖的语句执行情况,以满足DO-178B/C

                         标准B级和C级软件、ISO26262 SIL4级软件对于结构覆盖的目标要求,并通过了DO-330

                         TQL-5工具鉴定。


                ▌主要功能

                VeroSource能够记录被测程序中所有被执行的语句,以及程序中所有执行过的判定结九幻心中一动果;能够对源代码进行标『记,以显示覆盖结果,并且提供了对未覆盖代码进行评审和注释的一般人很难出去功能。


                VeroSource需要▆对被测代码进行插桩,但是它使用心里却在思量的是与基于需求的功能测试相同的测ㄨ试(用例和执行)来获取覆盖率。通过使用相同的测试,就能够验证插桩不会影响代码来告诉我你是从哪里来的功能行为,所以无需担心插桩对代码的影响。





                ▌工具鉴定


                VeroSource能够提供符合DO-178C/DO-330标准TQL-5级别而且的工具鉴定认证包,可支持DO-178B/C标准B、C级别的软去没有愿意做出头鸟件验证。





                上海365即时比分网电竞信息技术股份有限朱俊州估计也就没脸再去见自己公司 版权所有 沪ICP备13019901号-1 COPYRIGHT ? 2017SHAVIATION 邮政编码:201203