亚美注册网站

立即登录

如果您已经拥亚美注册网站本站账号,可以直接登录。

*为必填项注册新会员

  • 登录名: *  
  • 登录密码: *
  • 重复密码: *  
  • 姓名: *  
  • 亚美注册网站亚美注册网站名称: *  
  • 职务:
  • 联亚美注册网站电话: *  
  • 电子邮件: *  
  • 验证码: *  

立即登录

亚美注册网站如果您已经拥亚美注册网站本站账号,可以直接登录。

*为必填项找回密码

  • 注册邮箱:

    亚美注册网站验证码会以邮件的方式发送到您的邮箱!

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

安全关键软件集亚美注册网站研制环境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级别的软件验证。





上海爱韦讯信息技术股份亚美注册网站 版权所亚美注册网站 沪ICP备13019901号-1 COPYRIGHT © 2017SHAVIATION 邮政编码:201203