-
公开(公告)号：CN102063328B
公开(公告)日：2012-12-26
申请号：CN201010611695.9
申请日：2010-12-17
Applicant: 北京控制工程研究所
IPC: G06F9/46
Abstract: 本发明公开了一种用于检测中断驱动型程序数据竞争的系统，该系统由前端处理器和数据竞争分析引擎组成；其中前端处理器包括：反汇编器、词法/语法分析器、控制流图构造器、函数调用关系图构造器；数据竞争分析引擎包括：中断优先级分析模块、中断状态分析模块、内存访问分析模块和竞争条件识别器。本发明采用静态检测方法，以源代码或汇编代码为输入，无需运行被测程序，能够在软件开发的早期阶段应用，自动化程度较高；对中断使能状态进行了迭代的过程间分析，其中，“迭代”能够最大限度地收集所有可能的中断切换情况，减少数据竞争检测的漏报；“过程间”考虑了函数调用以及中断进入对程序状态的影响，提高了检测的精确度和检测效率。
-
公开(公告)号：CN102063370B
公开(公告)日：2013-10-16
申请号：CN201010611254.9
申请日：2010-12-17
Applicant: 北京控制工程研究所
IPC: G06F11/36
Abstract: 一种从总线指令流中提取实际执行指令和预取指令的方法，本发明根据8086/186/386处理器的片上缓存行为，仅在8086/186/386处理器总线指令流断裂时进行预取指令分析，且仅对当前缓存内指令流遍历一遍，能够准确而有效地过滤总线上出现的预取指令，分析得到处理器实际执行指令，从而提高了测试效率。由于8086、80186、80386处理器指令集的一致性、处理器缓存操作的相似性(仅缓存大小略有不同)，本发明完全可以通用于这3款处理器的目标码覆盖率测试。
-
Patent Agency Ranking
公开(公告)号：CN102419730A
公开(公告)日：2012-04-18
申请号：CN201110412461.6
申请日：2011-12-08
Applicant: 北京控制工程研究所
IPC: G06F11/36
Abstract: 一种51汇编语言软件安全性编码规则自动检查方法，首先确定针对51汇编语言的安全编码规则。然后将源代码按照统一格式重新排版，进行分离代码和注释、提取独立的单词助记符。随后在重新排版的源代码上增加子程序开始和结束标识，然后从得到的单词助记符中提取伪指令、指令、操作数、行号、标号并与51汇编语言语法规则进行匹配，识别出变量、相关指令、操作数、中断向量区、子程序、中断服务程序，由此提取各个子程序、中断服务程序的名称及起始行号和结束行号。最后根据提取结果以及结构分析结果，将制定的安全性编码规则作为标准，判断程序代码中是否存在错误并将判断结果输出。本方法具有分析准确率高、直接对应源程序、规则可扩展等特点。
-
公开(公告)号：CN102510298A
公开(公告)日：2012-06-20
申请号：CN201110409582.5
申请日：2011-12-08
Applicant: 北京控制工程研究所
IPC: H04B1/7075 , H04B1/7085 , H04L25/02 , H04L27/26
Abstract: 本发明公开了一种基于快速傅立叶变换的软扩频通信系统，包括：训练序列模块、码相位映射模块、组帧发射模块、捕获模块、跟踪模块、数据截取、快速逆傅立叶变换模块、点乘模块、快速傅立叶变换模块、数据伪码变换结果提取模块和数据解调模块。采用本发明克服了相关器数目对扩频码码长的限制，提高了抗干扰和保密的能力。
-
公开(公告)号：CN102063370A
公开(公告)日：2011-05-18
申请号：CN201010611254.9
申请日：2010-12-17
Applicant: 北京控制工程研究所
IPC: G06F11/36
Abstract: 一种从总线指令流中提取实际执行指令和预取指令的方法，本发明根据8086/186/386处理器的片上缓存行为，仅在8086/186/386处理器总线指令流断裂时进行预取指令分析，且仅对当前缓存内指令流遍历一遍，能够准确而有效地过滤总线上出现的预取指令，分析得到处理器实际执行指令，从而提高了测试效率。由于8086、80186、80386处理器指令集的一致性、处理器缓存操作的相似性(仅缓存大小略有不同)，本发明完全可以通用于这3款处理器的目标码覆盖率测试。
-
公开(公告)号：CN102510298B
公开(公告)日：2014-11-19
申请号：CN201110409582.5
申请日：2011-12-08
Applicant: 北京控制工程研究所
IPC: H04B1/7075 , H04B1/7085 , H04L25/02 , H04L27/26
Abstract: 本发明公开了一种基于快速傅立叶变换的软扩频通信系统，包括：训练序列模块、码相位映射模块、组帧发射模块、捕获模块、跟踪模块、数据截取、快速逆傅立叶变换模块、点乘模块、快速傅立叶变换模块、数据伪码变换结果提取模块和数据解调模块。采用本发明克服了相关器数目对扩频码码长的限制，提高了抗干扰和保密的能力。
-
公开(公告)号：CN102063328A
公开(公告)日：2011-05-18
申请号：CN201010611695.9
申请日：2010-12-17
Applicant: 北京控制工程研究所
IPC: G06F9/46
Abstract: 本发明公开了一种用于检测中断驱动型程序数据竞争的系统，该系统由前端处理器和数据竞争分析引擎组成；其中前端处理器包括：反汇编器、词法/语法分析器、控制流图构造器、函数调用关系图构造器；数据竞争分析引擎包括：中断优先级分析模块、中断状态分析模块、内存访问分析模块和竞争条件识别器。本发明采用静态检测方法，以源代码或汇编代码为输入，无需运行被测程序，能够在软件开发的早期阶段应用，自动化程度较高；对中断使能状态进行了迭代的过程间分析，其中，“迭代”能够最大限度地收集所有可能的中断切换情况，减少数据竞争检测的漏报；“过程间”考虑了函数调用以及中断进入对程序状态的影响，提高了检测的精确度和检测效率。
-
-
-
-
-
-
Search Results
7
records
(took 0.02 seconds)
