公开(公告)号：CN103218290B

公开(公告)日：2015-08-19

申请号：CN201310108563.8

申请日：2013-03-29

Applicant: 北京控制工程研究所

Inventor： 王振华 ,  张国峰 ,  陈朝晖 ,  党纪红 ,  杨孟飞 ,  张维瑾 ,  周中泽 ,  郭尚升 ,  王冀山 ,  刘彤

IPC: G06F11/36

Abstract: 本发明公开了一种航天星载软件可执行脚本自动转化方法，能够将航天星载软件测试用例自动转化为可执行脚本，对自然语言描述的测试用例进行字符读取，通过分号对测试用例进行切割获得每个测试序列块；通过逗号对每个测试序列块进行分割获得操作块，并获得每个测试序列块中每个操作块的具体描述字符串；对每个测试序列块中每个操作块的具体描述字符串进行比对处理获得处理后的字符串；对处理后的字符串经脚本信息提取、映射处理后得到可执行脚步，利用所述可执行脚本实现对星载软件的测试。

公开(公告)号：CN104636219A

公开(公告)日：2015-05-20

申请号：CN201410771377.7

申请日：2014-12-12

Applicant: 北京控制工程研究所

Inventor： 张维瑾 ,  王婧 ,  王勇 ,  魏高乐 ,  张国峰 ,  黎藜 ,  乔德治 ,  董文强 ,  杨俊春 ,  张高

IPC: G06F11/16

Abstract: 本发明提供一种三机热备份实时系统同步事件响应的方法，三机热备份实时系统包括三台独立运行的单机，相互之间在每个控制周期定时通讯、交换数据，每一控制周期每个单机运行以下步骤：S1、查询是否有需要处理的事件；S2、当需要处理的事件到来时，记录本机的事件状态；S3、记录事件状态后与其他单机相互交换信息，查询其他单机是否有事件状态；S4、选择执行：S41、若步骤S3中查询到三台单机均有事件状态，则开始响应；或S42、若步骤S3中查询到有单机未有事件状态则等待一个控制周期。本发明通过单机之间的信息交换，根据收到事件的状态，决定是否使用数据信息，在信息不同步时等待一拍，提高热备份系统的可靠性和完备性。

公开(公告)号：CN104061926A

公开(公告)日：2014-09-24

申请号：CN201410286240.2

申请日：2014-06-24

Applicant: 北京控制工程研究所

Inventor： 张国峰 ,  蔡雨辰 ,  王振华 ,  陈朝晖 ,  奚坤 ,  党纪红 ,  张维瑾 ,  张韩笑 ,  杨俊春 ,  黎藜 ,  魏高乐

IPC: G01C21/00

CPC classification number: G01C25/00

Abstract: 基于在轨数据进行相对导航敏感器状态辅助判断的方法，包括步骤：1、根据在轨注入的飞船和目标的相对位置和相对姿态信息初始化相对导航敏感器的相对位置和相对姿态估值；2、根据飞船陀螺、加速度计测量的脉冲数计算飞船当前周期的三轴姿态角速度和三轴线速度；3、获取当前相对导航敏感器的相对位置和相对姿态的测量值并对测量值进行滤波；4、对当前周期的相对导航敏感器的状态进行判读得到导航敏感器状态的判读信息；5、遥测下传相对导航敏感器状态的判读信息，并根据判读信息对相对导航敏感器的工作状态进行判断。本发明提高了航天器交会对接过程的可靠性和安全性，便于飞控人员及时发现运行异常状况，及时排查问题。

公开(公告)号：CN103218289A

公开(公告)日：2013-07-24

申请号：CN201310108439.1

申请日：2013-03-29

Applicant: 北京控制工程研究所

Inventor： 王振华 ,  张国峰 ,  蔡雨辰 ,  陈朝晖 ,  杨孟飞 ,  董晓刚 ,  党纪红 ,  索旭华 ,  张维瑾 ,  牛和明

IPC: G06F11/36

Abstract: 本发明公开了一种星载软件测试自动执行方法，根据可执行测试脚本序列动态创建顺序执行线程和实时监控线程，将可执行测试脚本序列导入到顺序执行线程，将可执行测试脚本序列中的实时监控任务导入到实时监控线程中形成实时比对序列；所述可执行测试脚本序列包括多个脚本序列块，每个脚本序列块包括多个操作块。本发明不但可以基于测试事件的时间先后顺序，还可以通过比对变量的变化来触发测试事件的执行，提高了自动测试序列执行的灵活性和对各种状态更改的测试覆盖率。