FPGA验证

SOFTWARE TESTING


业务概述

轩宇信息是国内最早开展软件独立评测的单位之一,是航天系统、国防科工局扣除定型项目之外的承担任务量最大的评测机构。先后承担载人工程一期  40%  星上软件、载人工程二期  90%  以上星上关键软件、绕月探测工程  99.9%  星上软件的第三方评测任务。

业务范围包括:(1)单元/组装测试(2)配置项确认测试(3)定型/鉴定测试(4)系统测试(5)验收测试


服务特点

基于测试历史数据,总计近千余项典型案例,特别形成了行之有效的专项测试分析方法。形成国内首个航天型号软件故障模式库。提炼200余项典型软件故障模式,每一项故障模式均提供工程应用典型案例参考。

软件安全性分析技术

数据分析、中断分析、堆栈分析、单粒子效应分析、临界条件分析、可恢复性分析

软件专项测试技术

强度测试、安全性测试、故障注入测试、边界测试、可恢复性测试


技术优势

坚持技术独立性

独立测试需求分析

独立测试用例设计

独立测试环境研制

重视测试充分性

源代码语句和分支“双百”覆盖

目标码语句和分支“双百”覆盖

自主研发覆盖率统计工具

上一篇

下一篇

本网站由阿里云提供云计算及安全服务 Powered by CloudDream