FPGA验证

SOFTWARE TESTING


业务概述

轩宇信息是国内最早开展软件独立评测的单位之一,是航天系统、国防科工局扣除定型项目之外的承担任务量最大的评测机构。先后承担载人工程一期  40%  星上软件、载人工程二期  90%  以上星上关键软件、绕月探测工程  99.9%  星上软件的第三方评测任务。年均发现问题能力(1.09个/千行左右),问题遗漏率(0.22%),团队技术能力突出,重视测试充分性和质量。软件测试包含 控制、载荷、导航、数管 四个方向,人员专业覆盖全面。业务范围包括:(1)单元/组装测试(2)配置项确认测试(3)定型/鉴定测试(4)系统测试(5)验收测试




全流程工具化

软件测试活动的全生命周期,拥有自主研发的管理工具、测试工具进行支撑。目前公司具有国内最齐全的自主可控工业软件产品,Aunit,SpecChecker,VTEST等工具产品已经在航天军工领域广泛应用,并在电子、航空、核电等领域拓展应用。SpecChecker更是国内首个通过国际功能安全认证(IS026262)的软件工具。



服务特点

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


软件安全性分析技术

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

软件专项测试技术

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


技术优势

坚持技术独立性

独立测试需求分析

独立测试用例设计

独立测试环境研制

重视测试充分性

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

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

自主研发覆盖率统计工具


上一篇

下一篇

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