立即登录

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

* 为必填项 注册新会员

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

立即登录

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

* 为必填项 找回密码

  • 注册邮箱:

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

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

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

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

VerOLink 控制耦合分析工具

最大AG平台HOME


▌概要介绍


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级别的软件验证。



上一篇: VeroSource-A MC/DC覆盖分析工具


下一篇: VerOStack 堆栈分析工具
 


上海最大AG平台信息技术股份有限公司 版权所有 沪ICP备13019901号-1 COPYRIGHT © 2017SHAVIATION 邮政编码:201203