北京京航计算通讯研究所飞航软件与信息安全测评中心

检测项目：文档审查、代码审查、代码走查、静态分析、功能测试、性能测试、接口测试、人机交互界面测试 等 30 项，点击展开全部

检测项目：设计检查、功能仿真、门级仿真、时序仿真、静态时序分析、逻辑等效性分析、实物测试、文档审查 等 18 项，点击展开全部

检测项目：设计检查、功能仿真、门级仿真、时序仿真、静态时序分析、逻辑等效性分析、实物测试、文档审查 等 18 项，点击展开全部

检测项目：文档审查、代码审查、代码走查、静态分析、功能测试、性能测试、接口测试、人机交互界面测试 等 17 项，点击展开全部

检测项目：单元测试-接口、单元测试-局部数据结构、单元测试-独立路径、单元测试-边界条件、单元测试-错误处理、单元测试-功能、单元测试-性能、单元测试-内存使用 等 15 项，点击展开全部

检测项目：用户身份鉴别、抗抵赖、自主访问控制、标记、强制访问控制、安全审计、用户数据完整性保护、用户数据保密性保护 等 10 项，点击展开全部

检测项目：功能性、性能效率、兼容性、易用性、可靠性、信息安全性、维护性、可移植性 等 9 项，点击展开全部