公开(公告)号：CN104063321B

公开(公告)日：2017-06-13

申请号：CN201410302903.5

申请日：2014-06-27

Applicant: 北京控制工程研究所

Inventor： 于志杰 ,  田甜 ,  赵雷 ,  朱倩 ,  赵欢 ,  陈睿

IPC: G06F11/36

Abstract: 一种针对MicroBlaze软核程序的测试验证系统，其特征在于包括：MicroBlaze仿真平台模块、软核执行流监视记录模块、目标码分析模块和覆盖率统计分析模块。本发明实现了FPGA逻辑代码、MicroBlaze软核以及软核程序的集成运行，并且可以获得软核程序运行的覆盖率信息，满足了软核程序测试验证充分性的要求。

公开(公告)号：CN104063321A

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

申请号：CN201410302903.5

申请日：2014-06-27

Applicant: 北京控制工程研究所

Inventor： 于志杰 ,  田甜 ,  赵雷 ,  朱倩 ,  赵欢 ,  陈睿

IPC: G06F11/36

Abstract: 一种针对MicroBlaze软核程序的测试验证系统，其特征在于包括：MicroBlaze仿真平台模块、软核执行流监视记录模块、目标码分析模块和覆盖率统计分析模块。本发明实现了FPGA逻辑代码、MicroBlaze软核以及软核程序的集成运行，并且可以获得软核程序运行的覆盖率信息，满足了软核程序测试验证充分性的要求。

公开(公告)号：CN102063370A

公开(公告)日：2011-05-18

申请号：CN201010611254.9

申请日：2010-12-17

Applicant: 北京控制工程研究所

Inventor： 吴瑾 ,  段永顥 ,  于志杰 ,  郭向英 ,  董燕 ,  武占峰 ,  张西超 ,  张金巍 ,  魏鹏 ,  曾霞 ,  左万娟 ,  尚智

IPC: G06F11/36

Abstract: 一种从总线指令流中提取实际执行指令和预取指令的方法，本发明根据8086/186/386处理器的片上缓存行为，仅在8086/186/386处理器总线指令流断裂时进行预取指令分析，且仅对当前缓存内指令流遍历一遍，能够准确而有效地过滤总线上出现的预取指令，分析得到处理器实际执行指令，从而提高了测试效率。由于8086、80186、80386处理器指令集的一致性、处理器缓存操作的相似性(仅缓存大小略有不同)，本发明完全可以通用于这3款处理器的目标码覆盖率测试。

公开(公告)号：CN1358993A

公开(公告)日：2002-07-17

申请号：CN01144945.4

申请日：2001-12-24

Applicant: 北京控制工程研究所

Inventor： 李智斌 ,  吴宏鑫 ,  王晓磊 ,  李季苏 ,  容伊 ,  郝永波 ,  张洪华 ,  李通生 ,  肖今雄 ,  于志杰 ,  解永春 ,  杨天安 ,  邢琰

IPC: G01M19/00 ,  G09B23/10

Abstract: 一种变参数动力学与控制实验系统,包括:气源及由气浮台和气浮轴承组成的气浮装置;刚性主体;主体喷气力矩执行装置;性附件装置;主体角运动测量装置;信号调理及数显装置;通讯测控装置;挠性附件装置与所述刚性主体固连在一起,所述刚性主体、主体喷气力矩执行装置、挠性附件装置、主体角运动测量装置及信号调理数显装置安装在由气浮轴承浮起的与地面隔离的气浮台上。这种系统可以达到对象模型的纯粹性、测控功能的独立性和模型参数的可调性与时变性的目标。同时本发明提供的利用上述变参数动力学与控制实验系统进行实验的方法简单,控制精度较高,延时时间较短。

公开(公告)号：CN102063328B

公开(公告)日：2012-12-26

申请号：CN201010611695.9

申请日：2010-12-17

Applicant: 北京控制工程研究所

Inventor： 陈睿 ,  郭向英 ,  段永顥 ,  张西超 ,  侯成杰 ,  董燕 ,  于志杰 ,  魏鹏 ,  吴瑾 ,  武占峰 ,  张金巍 ,  曾霞 ,  左万娟

IPC: G06F9/46

Abstract: 本发明公开了一种用于检测中断驱动型程序数据竞争的系统，该系统由前端处理器和数据竞争分析引擎组成；其中前端处理器包括：反汇编器、词法/语法分析器、控制流图构造器、函数调用关系图构造器；数据竞争分析引擎包括：中断优先级分析模块、中断状态分析模块、内存访问分析模块和竞争条件识别器。本发明采用静态检测方法，以源代码或汇编代码为输入，无需运行被测程序，能够在软件开发的早期阶段应用，自动化程度较高；对中断使能状态进行了迭代的过程间分析，其中，“迭代”能够最大限度地收集所有可能的中断切换情况，减少数据竞争检测的漏报；“过程间”考虑了函数调用以及中断进入对程序状态的影响，提高了检测的精确度和检测效率。

公开(公告)号：CN102063328A

公开(公告)日：2011-05-18

申请号：CN201010611695.9

申请日：2010-12-17

Applicant: 北京控制工程研究所

Inventor： 陈睿 ,  郭向英 ,  段永顥 ,  张西超 ,  侯成杰 ,  董燕 ,  于志杰 ,  魏鹏 ,  吴瑾 ,  武占峰 ,  张金巍 ,  曾霞 ,  左万娟

IPC: G06F9/46

Abstract: 本发明公开了一种用于检测中断驱动型程序数据竞争的系统，该系统由前端处理器和数据竞争分析引擎组成；其中前端处理器包括：反汇编器、词法/语法分析器、控制流图构造器、函数调用关系图构造器；数据竞争分析引擎包括：中断优先级分析模块、中断状态分析模块、内存访问分析模块和竞争条件识别器。本发明采用静态检测方法，以源代码或汇编代码为输入，无需运行被测程序，能够在软件开发的早期阶段应用，自动化程度较高；对中断使能状态进行了迭代的过程间分析，其中，“迭代”能够最大限度地收集所有可能的中断切换情况，减少数据竞争检测的漏报；“过程间”考虑了函数调用以及中断进入对程序状态的影响，提高了检测的精确度和检测效率。

公开(公告)号：CN102063370B

公开(公告)日：2013-10-16

申请号：CN201010611254.9

申请日：2010-12-17

Applicant: 北京控制工程研究所

Inventor： 吴瑾 ,  段永顥 ,  于志杰 ,  郭向英 ,  董燕 ,  武占峰 ,  张西超 ,  张金巍 ,  魏鹏 ,  曾霞 ,  左万娟 ,  尚智

IPC: G06F11/36

Abstract: 一种从总线指令流中提取实际执行指令和预取指令的方法，本发明根据8086/186/386处理器的片上缓存行为，仅在8086/186/386处理器总线指令流断裂时进行预取指令分析，且仅对当前缓存内指令流遍历一遍，能够准确而有效地过滤总线上出现的预取指令，分析得到处理器实际执行指令，从而提高了测试效率。由于8086、80186、80386处理器指令集的一致性、处理器缓存操作的相似性(仅缓存大小略有不同)，本发明完全可以通用于这3款处理器的目标码覆盖率测试。