航电软件质量与安全国产化解决方案
航电软件往往被设定了苛刻的软件等级，要求进行适航认证或GJB5000B等级认证。无论是适航认证还是GJB5000B等级认证，都是围绕着软件的质量和安全展开认证，都需要提供软件生命周期中每个阶段详尽的数据和文档。软件生命周期数据完整、真实地记录了软件的整个研制过程，成为软件取证的基本依据和关键所在。
全新技术方案，高效完成软件质量与安全测试
基于符号求解技术研发的全新技术方案，让软件白盒测试全面自动化完成。高覆盖率测试用例的自动生成，自动运行，让单元测试不再举步维艰；深度代码缺陷检测技术的实现，让软件质量与安全测试高效有保障。
多维度测试数据，确保测试效果稳定可靠
系统集成针对源码的动态静态测试技术，提供全面的单元测试数据，国军标代码静态规则检测结果，以及代码深度缺陷检测报告，多维度测试结果保证软件完成高质量的测试和安全审查。
完善全面数据支撑，保证测试报告全面而快速生成
测试报告涉及的测试数据巨大，报告内容数据相对复杂，报告文件长度惊人，编写报告的任务及其繁重。系统提供定制化的测试报告功能，可一键生成软件质量与安全测试报告。
全自动的测试流程，支撑软件开发生命周期
系统测试流程高度自动化，可接入到软件研发CI/CD流程中，确保软件开发生命周期中高效进行质量与安全的测试，软件开发质量有保证。
方案介绍
业务层
- GJB静态规则测试
- 功能测试
- 报告管理
- 覆盖率测试
- 深度缺陷检测
- 集成测试
- 适配库管理
- 函数控制流
- 回归测试
算法层
- 静态检测引擎
- 符号执行引擎
- 控制流数据引擎
- 工程编译引擎
- 深度缺陷引擎
- 覆盖率分析引擎
- 链接引擎
- 工程元信息引擎
数据层
基础设置
IAAS（服务器、网络、存储等）
架构简介
方案优势
高覆盖率测试用例自动生成
系统基于符号执行技术，生成高覆盖率的测试用例，支持自动化单元测试，解决了单元测试难度大，效率低的问题，确保单元测试高效完成。业内独家支持C++语言高覆盖率自动化测试用例自动生成能力；全面支持Qt工程的自动化单元测试。
国内独家支持集成测试
业内独家基于调用图集成技术，大大降低桩模块和驱动模块的开发工作。
自主知识产权，全面支持国产化
采用全新自研符号执行技术，解决单元测试过程中的程序分析难题，支持麒麟+飞腾，麒麟+龙芯等所有国产系统。
精确查找代码缺陷
动态深度缺陷测试能精准发现软件中存在的缺陷和错误，每个缺陷都有实际用例来触发验证，保证无误报。