公开(公告)号：CN103699042A

公开(公告)日：2014-04-02

申请号：CN201310751632.7

申请日：2013-12-31

Applicant: 北京控制工程研究所

Inventor： 杨孟飞 ,  顾斌 ,  綦艳霞 ,  董晓刚 ,  陈尧 ,  王政 ,  陈睿 ,  赵雷 ,  关小川

IPC: G05B19/042

Abstract: 并发中断驱动软件系统的时序确定方法，通过功能分配，为每个具体的功能模块进行处理时间和调用时间间隔的时序确定，并对中断处理程序进行时序和功能模块组成确定。本发明通过将功能进行细化的时序分配，在设计中就考虑了时序约束，易于保证整个软件系统的时序正确性。本发明给出了放在中断处理中的功能模块的设计准则和处理方式。哪些功能模块需要放在中断中处理对系统时序影响很大，需要统筹考虑，如果不合适可能会导致时序错误。本发明中提供的准则指导了中断中模块的时序设计，减少了中断驱动软件系统行为的不确定性。

公开(公告)号：CN103678137A

公开(公告)日：2014-03-26

申请号：CN201310746685.X

申请日：2013-12-30

Applicant: 北京控制工程研究所

Inventor： 万丽景 ,  杨孟飞 ,  党纪红 ,  董晓刚 ,  关小川 ,  陈尧 ,  綦艳霞 ,  顾斌 ,  王政

IPC: G06F11/36

Abstract: 一种基于list文件任务最大堆栈深度的检测方法，首先分析list文件，提取出各函数分配堆栈的大小，生成任务入口函数及中断入口函数的最终函数调用关系树，其次根据各函数分配堆栈的大小及任务入口函数及中断入口函数的最终函数调用关系树，采用递归的方法检测出各任务的最大堆栈深度。本发明能够准确给出任务的最大堆栈深度，解决了动态分析方法往往检测不到最大堆栈深度的问题。

公开(公告)号：CN103218289A

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

申请号：CN201310108439.1

申请日：2013-03-29

Applicant: 北京控制工程研究所

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

IPC: G06F11/36

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