航电软件往往被设定了苛刻的软件等级，要求进行适航认证或GJB5000B等级认证。无论是适航认证还是GJB5000B等级认证，都是围绕着软件的质量和安全展开认证，都需要提供软件生命周期中每个阶段详尽的数据和文档。软件生命周期数据完整、真实地记录了软件的整个研制过程，成为软件取证的基本依据和关键所在。
航电软件质量与安全国产化解决方案
全新技术方案，高效完成软件质量与安全测试
基于符号求解技术研发的全新技术方案，让软件白盒测试全面自动化完成。高覆盖率测试用例的自动生成，自动运行，让单元测试不再举步维艰；深度代码缺陷检测技术的实现，让软件质量与安全测试高效有保障。
多维度测试数据，确保测试效果稳定可靠
系统集成针对源码的动态静态测试技术，提供全面的单元测试数据，国军标代码静态规则检测结果，以及代码深度缺陷检测报告，多维度测试结果保证软件完成高质量的测试和安全审查。
完善全面数据支撑，保证测试报告全面而快速生成
测试报告涉及的测试数据巨大，报告内容数据相对复杂，报告文件长度惊人，编写报告的任务及其繁重。系统提供定制化的测试报告功能，可一键生成软件质量与安全测试报告。
全自动的测试流程，支撑软件开发生命周期
系统测试流程高度自动化，可接入到软件研发CI/CD流程中，确保软件开发生命周期中高效进行质量与安全的测试，软件开发质量有保证。
方案介绍
架构简介
系统基于B/S模式进行架构设计，方便进行分布式访问，提供单元测试服务。全自动的测试用例设计、生成、执行，解决单元测试高成本问题，同时提供如下八大功能：
支持C&C++语言高覆盖率的自动化覆盖率测试，功能测试；
支持国军标静态规则检查；
提供动态深度缺陷运行时缺陷检查；
内置源码工程适配库，提供自动化工程适配能力；
提供报告定制服务，内置符合GJB 438B标准的测试报告；
支持BS架构一机多联的服务器模式；
支持集成测试；
支持回归测试。
方案优势
高覆盖率测试用例自动生成
系统基于符号执行技术，生成高覆盖率的测试用例，支持自动化单元测试，解决了单元测试难度大，效率低的问题，确保单元测试高效完成。业内独家支持C++语言高覆盖率自动化测试用例自动生成能力；全面支持Qt工程的自动化单元测试。
国内独家支持集成测试
业内独家基于调用图集成技术，大大降低桩模块和驱动模块的开发工作。
自主知识产权，全面支持国产化
采用全新自研符号执行技术，解决单元测试过程中的程序分析难题，支持麒麟+飞腾，麒麟+龙芯等所有国产系统。
精确查找代码缺陷
动态深度缺陷测试能精准发现软件中存在的缺陷和错误，每个缺陷都有实际用例来触发验证，保证无误报。
关于泛联新安
泛联新安，成立于2017年，是国内领先的开发支撑类、验证EDA类基础软件提供商。公司秉承“创造更好代码”的企业使命，深耕智能程序分析、编译器技术、软件逆向分析、软件漏洞挖掘、高性能仿真等底层核心技术，致力于为业界提供先进的国产自主基础软件产品、服务和解决方案。
总部：
长沙（Changsha）
湖南省长沙市开福区月湖街道马栏山信息港5-6层
全国分支机构：
北京 | 西安 | 南京 | 武汉 | 成都
官方热线
0731-85868499
官方邮箱
sale@valiantsec.com
扫一扫了解更多
湘CP备19013285号-2 湘ICP备19013285号-3