SOFTWARE TESTING
业务概述
轩宇信息是国内最早开展软件独立评测的单位之一,是航天系统、国防科工局扣除定型项目之外的承担任务量最大的评测机构。先后承担载人工程一期 40% 星上软件、载人工程二期 90% 以上星上关键软件、绕月探测工程 99.9% 星上软件的第三方评测任务。年均发现问题能力(1.09个/千行左右),问题遗漏率(0.22%),团队技术能力突出,重视测试充分性和质量。软件测试包含 控制、载荷、导航、数管 四个方向,人员专业覆盖全面。业务范围包括:(1)单元/组装测试(2)配置项确认测试(3)定型/鉴定测试(4)系统测试(5)验收测试
全流程工具化
软件测试活动的全生命周期,拥有自主研发的管理工具、测试工具进行支撑。目前公司具有国内最齐全的自主可控工业软件产品,Aunit,SpecChecker,VTEST等工具产品已经在航天军工领域广泛应用,并在电子、航空、核电等领域拓展应用。SpecChecker更是国内首个通过国际功能安全认证(IS026262)的软件工具。
服务特点
基于测试历史数据,总计近千余项典型案例,特别形成了行之有效的专项测试分析方法。形成国内首个航天型号软件故障模式库。提炼200余项典型软件故障模式,每一项故障模式均提供工程应用典型案例参考。
软件安全性分析技术
数据分析、中断分析、堆栈分析、单粒子效应分析、临界条件分析、可恢复性分析
软件专项测试技术
强度测试、安全性测试、故障注入测试、边界测试、可恢复性测试
技术优势
坚持技术独立性
独立测试需求分析
独立测试用例设计
独立测试环境研制
重视测试充分性
源代码语句和分支“双百”覆盖
目标码语句和分支“双百”覆盖
自主研发覆盖率统计工具