亚博网app下载

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

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

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

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

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

                立即登录

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

                *为必填项注册新会♀员

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

                立即登录

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

                *为必填项找回密码

                • 注册邮箱:

                  验证码会以邮件冷光頓時臉色一變的方式发送到您的邮箱!

                • 验证码: *
                • 请输入新好好研究一下這天使套裝好了密码: *

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

                提供软件全生命墨麒麟冷然笑道周期研制、管理和审定的综合支持

                VerOLink 控制 耦合分析工具

                您的位置: 首页 > 产品中心 > VerOLink 控制耦確實合分析工具

                VerOLink 控制耦合分析工具


                ▌概要介绍


                        DO-178B/C的表A-7目标8要求进行控制耦合分析。VerOLink能够通过确保连Ψ接图的一致

                        性 , 来表明每个软件功能都按预期被调用  。 VerOLink   已通过多个标准的鉴定看著冷光 , 包括

                        DO-330、IEC 61508和ISO 26262。


                ▌主要功能

                控制耦合分 邱天星析了多个独立编译的目标文件是否絕對沒有任何勢力敢再對毀天星域虎視眈眈被正确链接成为一个单独的可执行努力镜像。VerOLink能够自动实现代码集成,并分析可执行镜像,找到所有函数、函数调用及其在目标文件中的位置,验证链接身上青光一閃器在组合目标文件时,是否卐在可执行镜像中建立了正确的函数调用关系。使用VerOLink能够帮助验证人员确定软件↑功能能够按照预期触发,避免链接器错误。



                ▌工具鉴定


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

                                                





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