高猛
- 作品数：16 被引量：29H指数：4
- 供职机构：北京控制工程研究所更多>>
- 发文基金：中国人民解放军总装备部预研基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 一种“白黑白”盒混合型航天器软件单元测试技术被引量：4
- 2018年
- 软件测试是软件质量保障的基础,而单元测试是软件测试中不可或缺的重要环节.充分的单元测试对发现和排除软件中的缺陷非常有效,并且花费成本较小.基于航天器软件其较高的软件可靠性、健壮度等设计要求特点,归纳总结航天器软件单元测试的常见典型问题.结合航天器软件单元测试的具体实践,提出了"白-黑-白"盒混合的单元测试方法,旨在提高单元测试的质量与效率,从而保证航天器软件可靠性.
- 郑小萌高猛滕俊元
- 关键词：白盒测试黑盒测试测试用例
- 航天器软件缺陷预测数据集构建方法研究被引量：2
- 2021年
- 软件缺陷预测数据集作为预测模型构建及实施缺陷预测的基础设施,面临着两方面问题,一方面因数据源头上采集困难导致可用评测数据集较少;另一方面,已公开的数据集因领域数据不同导致了差异性大、度量标准不适用等问题,鲜有工程应用。结合国内航天领域的真实软件评测数据,对航天器软件度量指标设计方法与航天器软件缺陷预测数据集的构建过程进行了系统阐述。依据航天器软件的特点,提出了软件的代码度量与质量度量相结合的混合度量方法,确保能够从不同的角度全面刻画、度量航天器软件的相关特性;同时针对面向大规模数据收集、处理、分析等环节耗费高昂人力与存储成本的问题,提出了版本划分下的数据清洗与模块层级预处理相结合的标准化数据集构建方法。通过对基于该方法构建的SPACE数据集进行应用示范,验证了此方法能够有效应用于构建具有领域针对性的高质量软件缺陷预测数据集,并可取得模型AutoWeka良好的预测效果。
- 郑小萌高猛高猛
- 关键词：软件缺陷预测数据集数据质量
- 航天嵌入式软件整数溢出的形式化验证方法被引量：2
- 2021年
- 整数溢出引起的软件系统安全性问题屡见不鲜,已有的模型检测技术由于存在状态空间爆炸、不能有效支持中断驱动型程序检测等缺点而少有工程应用.结合真实案例,对航天嵌入式软件整数溢出问题的分布和特征进行了系统性的分析.在有界模型检测技术的基础上,结合整数溢出特征,提出了基于整数溢出变量依赖的程序模型约简技术;同时,针对中断驱动型程序,结合中断函数特征抽象,提出了基于干扰变量的中断驱动程序顺序化方法.经过基准测试程序和真实航天嵌入式软件实验,结果表明:该方法在保证整数溢出问题检出率的前提下,不仅能够提高分析效率,还使得已有的模型检测技术能够适用于中断驱动型程序整数溢出检测.
- 高猛滕俊元王政
- 关键词：整数溢出有界模型检测
- 新型航天软件研制模式下的保障技术
- 2022年
- 航天器软件技术的发展,对以瀑布模型为流程,以文档及手写代码为载体的传统软件研制模式提出了挑战。面对复杂多变的航天任务需求,提出了以系统设计牵引、技术要素保证、模型驱动开发为代表的方法论体系,形成了新型航天软件研制模式SAMPA。结合航天器软件工程发展现状,从组织管理、标准体系、可信技术等方面介绍了与新型软件研制模式相适应的保障技术,并重点说明了全面支撑各种保障技术的数字化工具体系的成功实践,以期为航天器软件从业人员提供参考和指导。
- 高猛滕俊元王政
- 执行机构驱动单元软件的设计与分析
- 2015年
- 介绍执行机构驱动单元软件(ADU)的功能设计和时序设计.从总线消息时序冲突、临界资源访问冲突等方面分析软件外部接口时序设计约束、内部接口时序设计约束的满足性,对时序设计有效性进行验证.软件可靠性设计方面,采用软件失效模式及影响分析(SFMEA)方法识别软件中的关键变量/器件,对其采取单粒子效应防护措施,并验证了措施的有效性.
- 赵性颂董晓刚杨晓龙牛和明高猛
- 关键词：单粒子
- 一种基于自适应摩擦力矩模型的动量轮模拟器
- 一种基于自适应摩擦力矩模型的动量轮模拟器，包括摩擦力矩参数修正模块、开关指令采集模块、方向定义采集模块、控制力矩采集模块、转速信号生成模块、指示灯控制模块、功率电源遥测生成模块、电机电流遥测生成模块、轴承温度遥测生成模块...
- 彭洲孙小松史晓霞王浩石郑伟陶景桥张宇刘新彦高猛
- 航天器软件典型缺陷模式的自动检测技术被引量：4
- 2019年
- 通过系统分析和总结航天器软件在轨、在研质量问题,开展软件缺陷模式研究,建立航天器软件缺陷模式集;研究缺陷模式的形式化规约和自动检测技术,开发缺陷模式自动检测工具,提高缺陷自动检出率,从而有效规避航天器软件中的典型多发问题,提高航天器软件研制质量、缩短研制周期.
- 高猛滕俊元陈睿陈睿
- 一种基于数据块传输的1553B总线协议仿真方法
- 一种基于数据块传输的1553B总线协议仿真方法，首先获取通讯帧，得到通讯帧中各个数据块的数据特征模型，然后修改当前通讯帧中数据块的数据特征模型中的启动标记置、数据块计数，送至数据接收端，最后控制数据接收端根据数据特征模型...
- 何世民傅秀涛李晶心陈朝晖姚宁綦艳霞董晓刚党纪红高猛
- 实时嵌入式软件系统测试需求建模研究被引量：6
- 2010年
- 使用形式化语言构建测试需求模型,有助于提高系统测试的自动化程度。UML状态图具有形式化特征,适合复杂系统详细行为的描述。本文基于面向对象思想,以状态图为核心技术,结合类图,提出了一种适合实时嵌入式软件的系统测试需求建模方法。该方法对被测软件系统的静态结构和动态行为进行建模,能清晰、完整地描述测试输入信息,包括前置条件、接口数据、激励事件、过程描述、后置状态等。并通过相关的建模机制实现了对实时性、并发性、时序性及数据反馈等约束特征的描述。基于该方法生成的需求模型,结合一定的测试用例生成策略,可以自动生成测试用例。作为示例,本文结合该方法对某飞行器控制功能进行建模,模型具有简洁、直观、易用的特点。
- 高猛
- 关键词：状态图
- 软件产品化在航天领域的应用与管理被引量：4
- 2018年
- 软件产品化是提高软件研制效率和产品成熟度的重要途径。通过推动航天型号软件产品化研制,形成软件产品资源库,实现建立"一次研制,重复应用"的航天型号软件研制模式。重点阐述了航天型号软件产品化的研制思路及其在型号应用过程中的管理要求,并介绍了北京控制工程研究所在型号软件产品化研制方面的探索和实践。
- 滕俊元徐忠宾高猛
- 关键词：软件产品化
