-
公开(公告)号：CN102063370A
公开(公告)日：2011-05-18
申请号：CN201010611254.9
申请日：2010-12-17
Applicant: 北京控制工程研究所
IPC: G06F11/36
Abstract: 一种从总线指令流中提取实际执行指令和预取指令的方法，本发明根据8086/186/386处理器的片上缓存行为，仅在8086/186/386处理器总线指令流断裂时进行预取指令分析，且仅对当前缓存内指令流遍历一遍，能够准确而有效地过滤总线上出现的预取指令，分析得到处理器实际执行指令，从而提高了测试效率。由于8086、80186、80386处理器指令集的一致性、处理器缓存操作的相似性(仅缓存大小略有不同)，本发明完全可以通用于这3款处理器的目标码覆盖率测试。
-
公开(公告)号：CN102063328B
公开(公告)日：2012-12-26
申请号：CN201010611695.9
申请日：2010-12-17
Applicant: 北京控制工程研究所
IPC: G06F9/46
Abstract: 本发明公开了一种用于检测中断驱动型程序数据竞争的系统，该系统由前端处理器和数据竞争分析引擎组成；其中前端处理器包括：反汇编器、词法/语法分析器、控制流图构造器、函数调用关系图构造器；数据竞争分析引擎包括：中断优先级分析模块、中断状态分析模块、内存访问分析模块和竞争条件识别器。本发明采用静态检测方法，以源代码或汇编代码为输入，无需运行被测程序，能够在软件开发的早期阶段应用，自动化程度较高；对中断使能状态进行了迭代的过程间分析，其中，“迭代”能够最大限度地收集所有可能的中断切换情况，减少数据竞争检测的漏报；“过程间”考虑了函数调用以及中断进入对程序状态的影响，提高了检测的精确度和检测效率。
-
Patent Agency Ranking
公开(公告)号：CN102419731A
公开(公告)日：2012-04-18
申请号：CN201110412481.3
申请日：2011-12-08
Applicant: 北京控制工程研究所
IPC: G06F11/36
Abstract: C语言嵌入式软件插桩及动态测试覆盖率信息提取方法，把C语言程序看做一个由各分支点组成的数组，每一个分支点对应数组中的一个元素，每个元素定义为两种状态，“1”表示执行过，“0”表示未执行过。然后将数组定义在专用存储区。随后在C语言程序各分支点处，增加向定义在专用存储区的分支点信息数组输出该分支点是否被执行信息的操作代码。执行增加操作代码以后的C语言程序，执行完毕后从专用存储区提取分支点信息数组，根据分支点信息数组中各元素的状态即可确定C语言程序中各分支点的执行情况，由此得到C语言程序的动态测试覆盖率。本发明方法具有代码膨胀率小，分支点信息所占存储空间小，覆盖率信息提取方便的特点。
-
公开(公告)号：CN102063370B
公开(公告)日：2013-10-16
申请号：CN201010611254.9
申请日：2010-12-17
Applicant: 北京控制工程研究所
IPC: G06F11/36
Abstract: 一种从总线指令流中提取实际执行指令和预取指令的方法，本发明根据8086/186/386处理器的片上缓存行为，仅在8086/186/386处理器总线指令流断裂时进行预取指令分析，且仅对当前缓存内指令流遍历一遍，能够准确而有效地过滤总线上出现的预取指令，分析得到处理器实际执行指令，从而提高了测试效率。由于8086、80186、80386处理器指令集的一致性、处理器缓存操作的相似性(仅缓存大小略有不同)，本发明完全可以通用于这3款处理器的目标码覆盖率测试。
-
公开(公告)号：CN103257606B
公开(公告)日：2015-08-19
申请号：CN201310142187.4
申请日：2013-04-22
Applicant: 北京控制工程研究所
IPC: G05B19/042
Abstract: 一种USB接口高速实时采样逻辑分析仪，包括单片机系统和FPGA系统，其中，单片机系统包括USB接口模块、GPIF模块、SPI总线模块、FPGA引导配置模块和RAM程序执行模块；FPGA系统包括FPGA程序执行模块、FIFO控制器模块、指示灯模块和通道采样率选择/采样模块。本发明采用单片机系统+FPGA系统架构，具有高速实时采样的优点。单片机系统实现GPIF状态机的同步时钟采用100MHz工作，实现了USB总线实时传输600Mbps采样原始数据。
-
公开(公告)号：CN103257606A
公开(公告)日：2013-08-21
申请号：CN201310142187.4
申请日：2013-04-22
Applicant: 北京控制工程研究所
IPC: G05B19/042
Abstract: 一种USB接口高速实时采样逻辑分析仪，包括单片机系统和FPGA系统，其中，单片机系统包括USB接口模块、GPIF模块、SPI总线模块、FPGA引导配置模块和RAM程序执行模块；FPGA系统包括FPGA程序执行模块、FIFO控制器模块、指示灯模块和通道采样率选择/采样模块。本发明采用单片机系统+FPGA系统架构，具有高速实时采样的优点。单片机系统实现GPIF状态机的同步时钟采用100MHz工作，实现了USB总线实时传输600Mbps采样原始数据。
-
公开(公告)号：CN102063328A
公开(公告)日：2011-05-18
申请号：CN201010611695.9
申请日：2010-12-17
Applicant: 北京控制工程研究所
IPC: G06F9/46
Abstract: 本发明公开了一种用于检测中断驱动型程序数据竞争的系统，该系统由前端处理器和数据竞争分析引擎组成；其中前端处理器包括：反汇编器、词法/语法分析器、控制流图构造器、函数调用关系图构造器；数据竞争分析引擎包括：中断优先级分析模块、中断状态分析模块、内存访问分析模块和竞争条件识别器。本发明采用静态检测方法，以源代码或汇编代码为输入，无需运行被测程序，能够在软件开发的早期阶段应用，自动化程度较高；对中断使能状态进行了迭代的过程间分析，其中，“迭代”能够最大限度地收集所有可能的中断切换情况，减少数据竞争检测的漏报；“过程间”考虑了函数调用以及中断进入对程序状态的影响，提高了检测的精确度和检测效率。
-
-
-
-
-
-
Search Results
7
records
(took 0.164 seconds)
