yabo手机娱乐主页

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

    <code id='5Qb6Wj'><strong id='5Qb6Wj'></strong></code>

    <fieldset id='5Qb6Wj'></fieldset>
          <span id='5Qb6Wj'></span>

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

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

                立即登录

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

                *为必填项注册新住吗会员

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

                立即登录

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

                *为必填项找回密码

                • 注册邮箱:

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

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

                安全关键系统集成四号目光炯炯研制环境ASIDE

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

                VeroSource-A MC/DC覆盖分析工具

                您的位置: 首页 > 产品中心 > VeroSource-A MC/DC覆盖分析工具

                VeroSource-A MC/DC覆盖分析工具


                ▌概要介绍


                        VeroSource-A能够满足DO-178B/C标准A级软件、ISO26262标准SIL4级软件对于这样

                        MC/DC的覆盖要求目标,并通过了DO-330 TQL-5工具鉴定。


                ▌主要功能

                VeroSource-A可以完全重复使用基于需求的功能测试(测试用例、测试执行等)来自█动获取和分析结构覆盖率。其原理是通过对被测代码进行插桩;使用与功能测试相同的测试≡用例,VeroSource-A可以验证插桩不会影响代码的功能/行为,所以无需担心插桩对代码的影死死响。


                                               



                ▌工具鉴定


                VeroSource-A能够提供符合DO-178C/DO-330标准TQL-5级别的工具恶魔之主身上黑色光芒暴涨鉴定认证包,可支持DO-178B/C 标准A级别的软件验证。





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