软件实验室经过多年建设,形成软件测试各类通用、专用和管理工具多套,包括静态测试工具、单元测试工具、测试用例专用工具、自动化测试工具、压力和负载测试工具、数据库性能测试工具、软件质量度量工具等。
主要从事军用软件测评:
军用软件第三方、鉴定测评、定型测评以及软件质量检测等形式;
船舶、航天、航空、兵器、核工业等多个行业;
传感器、通信、指控、武器、电抗、导航、平台、保障、动力、损管等各类专业方向;
嵌入式、非嵌入式等不同类型;
系统级、设备级、模块级(含板卡级)等不同规模;
软件单元测试、部件测试、配置项测试、系统测试四个级别;
软件单元测试、部件测试、配置项测试、系统测试四个级别;
功能、性能、接口、逻辑、边界、余量、强度测试等16个软件测试类型。
信息安全检测
信息安全产品、系统测评;
信息安全产品、系统的风险评估;
信息安全测试、部件测试、配置项测试、系统测试四个级别;
商用软件测评
通信运营、企业管理、银行管理、电子商务、商用中间件等不同软件方向;
软件单元测试、部件测试、配置项测试、系统测试四个级别;
功能、性能、接口、逻辑、边界、余量、强度测试等多个软件测试类型。
FPGA软件测评
船舶、航空、航天、兵器等行业;
通信、信号处理、图像处理、自动控制、伺服系统等专业方向;
RTL级、门级、配置项级和系统级等不同测试级别;
静态规则检查、动态仿真验证、静态时序分析、逻辑等效性验证、门级仿真、高级仿真验证、跨时钟域信号检查、逻辑综合测试、半实物仿真验证和实物验证等测试子项。