提交您的信息

*姓名

*公司名称

*电话

*邮箱

*验证码

*选择试用产品

软件质量测试工具
软件安全测试工具
EDA工具
选择您使用的产品
关闭
提交

航电软件质量与安全国产化解决方案

航电软件往往被设定了苛刻的软件等级,要求进行适航认证或GJB5000B等级认证。无论是适航认证还是GJB5000B等级认证,都是围绕着软件的质量和安全展开认证,都需要提供软件生命周期中每个阶段详尽的数据和文档。软件生命周期数据完整、真实地记录了软件的整个研制过程,成为软件取证的基本依据和关键所在。

全新技术方案,高效完成软件质量与安全测试

基于符号求解技术研发的全新技术方案,让软件白盒测试全面自动化完成。高覆盖率测试用例的自动生成,自动运行,让单元测试不再举步维艰;深度代码缺陷检测技术的实现,让软件质量与安全测试高效有保障。

多维度测试数据,确保测试效果稳定可靠

系统集成针对源码的动态静态测试技术,提供全面的单元测试数据,国军标代码静态规则检测结果,以及代码深度缺陷检测报告,多维度测试结果保证软件完成高质量的测试和安全审查。

完善全面数据支撑,保证测试报告全面而快速生成

测试报告涉及的测试数据巨大,报告内容数据相对复杂,报告文件长度惊人,编写报告的任务及其繁重。系统提供定制化的测试报告功能,可一键生成软件质量与安全测试报告。

全自动的测试流程,支撑软件开发生命周期

系统测试流程高度自动化,可接入到软件研发CI/CD流程中,确保软件开发生命周期中高效进行质量与安全的测试,软件开发质量有保证。

方案介绍

业务层
  • GJB静态规则测试
  • 功能测试
  • 报告管理
  • 覆盖率测试
  • 深度缺陷检测
  • 集成测试
  • 适配库管理
  • 函数控制流
  • 回归测试
算法层
  • 静态检测引擎
  • 符号执行引擎
  • 控制流数据引擎
  • 工程编译引擎
  • 深度缺陷引擎
  • 覆盖率分析引擎
  • 链接引擎
  • 工程元信息引擎
数据层
基础设置

IAAS(服务器、网络、存储等)

架构简介

系统基于B/S模式进行架构设计,方便进行分布式访问,提供单元测试服务。全自动的测试用例设计、生成、执行,解决单元测试高成本问题,
同时提供如下八大功能:
-支持C&C++语言高覆盖率的自动化覆盖率测试,功能测试;
-支持国军标静态规则检查;
-提供动态深度缺陷运行时缺陷检查;
-内置源码工程适配库,提供自动化工程适配能力;
-提供报告定制服务,内置符合GJB 438B标准的测试报告;
-支持BS架构一机多联的服务器模式;
-支持集成测试;
-支持回归测试;

方案优势

高覆盖率测试用例自动生成

系统基于符号执行技术,生成高覆盖率的测试用例,支持自动化单元测试,解决了单元测试难度大,效率低的问题,确保单元测试高效完成。业内独家支持C++语言高覆盖率自动化测试用例自动生成能力;全面支持Qt工程的自动化单元测试。

国内独家支持集成测试

业内独家基于调用图集成技术,大大降低桩模块和驱动模块的开发工作。

自主知识产权,全面支持国产化

采用全新自研符号执行技术,解决单元测试过程中的程序分析难题,支持麒麟+飞腾,麒麟+龙芯等所有国产系统。

精确查找代码缺陷

动态深度缺陷测试能精准发现软件中存在的缺陷和错误,每个缺陷都有实际用例来触发验证,保证无误报。