如果您已经拥有本站账号,可以直接登录。
如果您已经拥有本站账号,可以直接登录。
如果您没有本站账号,可以注册。
021-61680661
▌概要介绍
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级别的软件验证。