北京轩宇信息技术有限公司 
研究主题：嵌入式软件 驱动型 航天 软件测试 代码
研究学科：自动化类 电子信息类 经济学类 航空航天类 电气类
- 基于变量访问序模式的中断数据竞争检测方法 ( EI收录)
- 1
- 《软件学报》北京控制工程研究所;北京轩宇信息技术有限公司;中国空间技术研究院 陈睿 杨孟飞 郭向英 出版年：2016
- 关键词：中断驱动型程序 数据竞争 抽象解释
- 新生儿先天性心脏病筛查技术的现状及智能化发展趋势
- 2
- 《复旦学报（医学版）》国家儿童医学中心/复旦大学附属儿科医院;北京轩宇信息技术有限公司;北京控制工程研究所;复旦大学附属妇产科医院;上海市出生缺陷防治重点实验室;中国儿科医师分会;中华儿科学会 胡晓静 王春宇(综述) 张成强 贾品 黄国英(审校) 出版年：2022
- 关键词：先心病 双指标 血氧饱和度 心脏杂音 智能筛查
- 国企财务管理中的业财融合问题及其对策探析
- 3
- 《企业改革与管理》北京轩宇信息技术有限公司 熊媛芳 出版年：2021
- 关键词：国有企业 财务管理 业财融合 问题 对策
- FPGA仿真验证工具及前沿技术综述
- 4
- 《电子测试》北京轩宇信息技术有限公司 赵欢 李东伟 朱倩 于志杰 出版年：2020
- 关键词：FPGA 仿真验证工具 仿真技术
- 航天嵌入式软件测试用例典型设计缺陷研究
- 5
- 《计算机测量与控制》北京控制工程研究所;北京轩宇信息技术有限公司 左万娟 虞砺琨 王小丽 黄晨 出版年：2019
- 关键词：测试用例 典型 设计缺陷 覆盖率
- 基于编码规则的中断数据访问冲突检测方法
- 6
- 《空间控制技术与应用》北京控制工程研究所;北京轩宇信息技术有限公司;中国空间技术研究院 陈睿 杨孟飞 出版年：2017
- 关键词：数据访问冲突 编码规则 静态分析 航天嵌入式软件
- 基于共性需求的软件通用自动化测试设计研究
- 7
- 《计算机技术与发展》北京控制工程研究所;北京轩宇信息技术有限公司 左万娟 虞砺琨 王小丽 董燕 出版年：2020
- 关键词：软件 共性需求 通用 自动化 测试设计
- 一种“白黑白”盒混合型航天器软件单元测试技术
- 8
- 《空间控制技术与应用》北京控制工程研究所;北京轩宇信息技术有限公司 郑小萌 高猛 滕俊元 出版年：2018
- 关键词：航天器软件 单元测试 白盒测试 黑盒测试 测试用例
- 基于变量操作特征分析的软件缺陷模式研究
- 9
- 《航天控制》北京控制工程研究所;北京轩宇信息技术有限公司 左万娟 虞砺琨 黄晨 董燕 出版年：2018
- 关键词：航天器软件 变量 操作特征 软件缺陷 缺陷模式
- 航天嵌入式软件数据访问冲突基准测试集研究 ( EI收录)
- 10
- 《中国空间科学技术》北京控制工程研究所;北京轩宇信息技术有限公司;中国空间技术研究院 陈睿 杨孟飞 出版年：2017
- 关键词：数据访问冲突 基准测试集 航天嵌入式软件 数据竞争 软件测试
