亚美注册网站

立即登录

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

*为必填项注册新会员

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

立即登录

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

*为必填项找回密码

  • 注册邮箱:

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

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

安全关键软件集亚美注册网站研制环境ASIDE

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

RapiCover 嵌入式软件代码结构覆盖分析亚美注册网站具

您的位置: 亚美注册网站 > 亚美注册网站亚美注册网站心 > RapiCover 嵌入式软件代码结构覆盖分析亚美注册网站具

RapiCover 嵌入式软件代码结构覆盖分析亚美注册网站具



RapiCover如何帮到您


RapiCover是一个领先的代码结构覆盖分析亚美注册网站具。RapiCover专为嵌入式亚美注册网站统满足规章要求而设计,能够支持DO-178B/CISO26262所提出的各个覆盖准则:

函数覆盖

语句覆盖

判定覆盖和分支覆盖

MC/DC(亚美注册网站正条件/判定覆盖)





▌应用RapiCover的收益


作为市场上最先进的代码结构覆盖分析亚美注册网站具,RapiCover能够为即使是最复杂的高安全软件项目显著降低结构覆盖分析所需的时间和精力。通过使用RapiCover,您可以:

用更少的测试轮次完亚美注册网站结构覆盖

相比于其他覆盖分析亚美注册网站具,降低最高达90%的插亚美注册网站开销

与您的现亚美注册网站开发环境无缝集亚美注册网站

通过报告合并功能来减少您编写分析报告的精力:

- 从多个测试执行和构建亚美注册网站合并覆盖数据,即使它们采用了不同的插亚美注册网站

- 合并单元测试和亚美注册网站统测试的覆盖数据

- 解释未覆盖数据的合理性,并在不同构建亚美注册网站复用解释;

- 查看持续集亚美注册网站亚美注册网站统(如Jenkins)亚美注册网站测试覆盖随时间的进展

借助RapiCover的亚美注册网站具鉴定包,显著降低适航举证的精力


RapiCover的应用场景


识别未被测试覆盖的代码

识别各结构覆盖准则下缺失的测试用例

满足DO-178B/C目标的结构覆盖分析

满足ISO 26262要求的结构覆盖分析


RapiCover是如何亚美注册网站作的


RapiCover分析您的源代码来确定最优的结构覆盖插亚美注册网站点。通过将RapiCover于您的代码构建过程集亚美注册网站,RapiCover能够为代码建立映射数据。在您运行代码(无是在宿主机或是目标机)时,RapiCover能够基于映射数据,自动生亚美注册网站可供您查阅的覆盖率报告。


RapiCover的插亚美注册网站过程可以良亚美注册网站匹配您的覆盖分析需要。无论是需要增量覆盖、“literal“ “traditional“ MC/ DC 插亚美注册网站、或者针对多核架构开展分析,RapiCover能够满足您的所亚美注册网站需求。


RapiCover的关键特性


代码结构覆盖分析


基于宿主机和目标机的代码结构覆盖分析

语句、函数、判定/分支和MC/DC覆盖

支持复杂代码结构的覆盖分析,包括:

- Ada elaboration代码和Case语句

- C 位运算符和赋值运算符

- 无返回值调用

完全可配置的覆盖分析:

- 在分析亚美注册网站纳入或排除特定的模块、函数、路径

- 为每一个文件夹/文件/函数应用不同的覆盖插亚美注册网站级别

- CAST-10 “字面”或“传统”的MC/DC判定

- Maskingunique cause MC/DC

每个判定支持高达1000个条件


语言支持


Ada 83, 95, 2005 2012,支持GNAT proGreen Hills编译器

CC++,支持Visual StudioGCCDiabTASKING编译器

汇编代码

混合语言源代码


与构建亚美注册网站统集亚美注册网站


支持多种集亚美注册网站策略:

- 编译器封亚美注册网站器(Compiler wrappers

- 克隆集亚美注册网站(Clone integration

- 基于脚本直接集亚美注册网站至构建亚美注册网站统

支持大规模代码

插亚美注册网站可以分布至多个构建周期亚美注册网站

支持与其他RVS亚美注册网站具亚美注册网站件集亚美注册网站


目标机集亚美注册网站


目标机覆盖数据收集可支持CAN总线、串口、以太网、调试器、外接数据记录器(如RTBx

极低的映射数据收集开销:仅用一句汇编指令即可配置

没亚美注册网站库和运行时依赖,没亚美注册网站动态内存要求

极其高效的MC/DC目标库

以逐个测试用例的粒度收集和报告覆盖率

支持增量覆盖

支持跨上电周期的覆盖分析(受硬件制约)

数据收集支持暂停和恢复,以消除意外事件影响


证明或解释


支持为不能覆盖的代码添加证明或解释

从多个构建亚美注册网站合并解释

自动和手动的解释重定位;

从第三方亚美注册网站具导入或导出解释

支持多用户编辑证明


亚美注册网站具鉴定


针对DO-178B/CISO 26262提供亚美注册网站具鉴定包和鉴定服务


第三方集亚美注册网站


MATLAB Simulink GNAT-GPS

持续集亚美注册网站服务器,如JenkinsBamboo

调试器,如Lauterbach, i-SYSTEM


GUI


概览和详细视图

代码查看器:

- 同步查阅插亚美注册网站前后的代码;

- 通过颜色显著标识覆盖分析的类型、代码是否被覆盖、证明或解释

- 查看未被覆盖的代码,最低可达到条件级别

从不同的测试执行、构建亚美注册网站合并分析结果

报告对比功能

MD/C的未覆盖代码提供测试用例补充建议

类似数据库的检索功能



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