辉煌彩票下载二维码

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

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

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

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

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

                立即登录

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

                *为必填项注册新金剛斧頓時金光萬張会员

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

                立即登录

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

                *为必填项找回密码

                • 注册邮箱:

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

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

                安全关键 損失慘重系统集成研制环境ASIDE

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

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

                您的位置: 首页 > 产品中心 > 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级别的软件验证。





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