-
公开(公告)号：CN108763092A
公开(公告)日：2018-11-06
申请号：CN201810553230.9
申请日：2018-05-31
Applicant: 北京理工大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于交叉验证的代码缺陷检测方法及装置，选择多个代码缺陷检测工具，对被检测代码进行检测，生成第一检测结果；获取每个代码缺陷检测工具对与所述被检测代码相似的N个测试用例的准确率；根据所述准确率，对所述第一检测结果进行加权求和，生成第二检测结果；当所述第二检测结果大于预设阈值时，确定所述被检测代码存在缺陷。本发明提供的方法与现有的使用单个工具进行缺陷检测的方法相比，本发明基于被测代码与测试用例之间的相似性，并根据各个工具在已知测试用例上的准确率，对各个工具检测被测代码的测试结果进行综合计算和评判，具有较高的准确率，可以减少误报，提高代码缺陷检测和代码审核的工作效率。
-
公开(公告)号：CN101038571A
公开(公告)日：2007-09-19
申请号：CN200710098503.7
申请日：2007-04-19
Applicant: 北京理工大学
IPC: G06F13/18
Abstract: 本发明公开了一种基于块传输的多端口存储控制器。所述多端口存储控制器由检测地址选择单元、冲突检测单元、多个端口对应的冲突处理单元、多个端口对应的选择器和多个模块选择器组成。所述多端口存储控制器接收来自多个独立端口的块传输请求，并对请求进行冲突检测和冲突处理，之后控制多路请求以同步并行方式无冲突访问存储器。利用所述多端口存储控制器和多个现有单端口存储芯片构成的多端口存储器，支持来自多个端口同步并行的块传输，与其他现有多端口存储器相比该多端口存储器具有成本低、可扩充性好、维护性能好及共享率高的特点。该多端口存储器可以用作多机系统中各结点间的数据通道，提供高速、低延迟的通信。
-
公开(公告)号：CN113221384B
公开(公告)日：2024-05-28
申请号：CN202110625050.9
申请日：2021-06-04
IPC: G06F30/20 , G06F111/20
Abstract: 本发明公开了一种可回溯仿真模型形式化描述方法及系统，该方法包括：将整个仿真系统的状态空间进行自定义；状态空间包括各个模型组件状态；根据仿真系统中的组成元素，采用仿真进程演化算子和状态采集函数，对仿真状态进行形式化描述；组成元素包括：模型实例、仿真引擎和事件。该方法可实现对状态空间所包括的各个模型组件状态的形式化描述，便于建立对模型实例、仿真引擎和事件的形式表达；将仿真回溯从抽象的时间表述转变为更具有针对性的事件表述；为后续构建基于仿真事件设置检查点提供了有力的保证。进一步地，而使用本发明的方法后在回溯时可根据需要选择特定的事件进行回溯操作；更加适合仿真场景，具有更强的实用性。
-
-
公开(公告)号：CN111125697B
公开(公告)日：2022-03-04
申请号：CN201911113284.4
申请日：2019-11-14
Applicant: 北京理工大学 , 工业和信息化部计算机与微电子发展研究中心(中国软件评测中心)
Abstract: 本发明公开了基于缺陷摘要的智能合约缺陷可触发性检测方法及系统，该方法包括：对待检测的智能合约进行缺陷检测，提取出一个或多个缺陷摘要；智能合约被调用时，获取实时合约状态数据集合及合约调用数据集合；使用实时状态数据和调用数据，对智能合约的各个缺陷摘要中预设初始符号值进行替换；对符号被替换后的缺陷摘要进行求解，若缺陷摘要的路径约束和缺陷触发条件约束同时有解，检测出所述智能合约在被调用时会触发缺陷。该方法通过将缺陷摘要和智能合约的实时状态数据与合约调用数据相结合来快速判断智能合约中缺陷的可触发性，能够解决现在智能合约缺陷检测中由于没有考虑真实数据而产生的高误报的问题，提高智能合约缺陷检测的准确率。
-
Patent Agency Ranking
公开(公告)号：CN113221384A
公开(公告)日：2021-08-06
申请号：CN202110625050.9
申请日：2021-06-04
IPC: G06F30/20 , G06F111/20
Abstract: 本发明公开了一种可回溯仿真模型形式化描述方法及系统，该方法包括：将整个仿真系统的状态空间进行自定义；状态空间包括各个模型组件状态；根据仿真系统中的组成元素，采用仿真进程演化算子和状态采集函数，对仿真状态进行形式化描述；组成元素包括：模型实例、仿真引擎和事件。该方法可实现对状态空间所包括的各个模型组件状态的形式化描述，便于建立对模型实例、仿真引擎和事件的形式表达；将仿真回溯从抽象的时间表述转变为更具有针对性的事件表述；为后续构建基于仿真事件设置检查点提供了有力的保证。进一步地，而使用本发明的方法后在回溯时可根据需要选择特定的事件进行回溯操作；更加适合仿真场景，具有更强的实用性。
-
公开(公告)号：CN109408389B
公开(公告)日：2020-10-16
申请号：CN201811278355.1
申请日：2018-10-30
Applicant: 北京理工大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于深度学习的代码缺陷检测方法及装置，选取多个代码缺陷检测工具，分别对被检测代码进行检测，相应生成多个检测结果；将所述被检测代码通过预设的转换方法，转换为所述被检测代码的特征向量；所述特征向量包括所述被检测代码的结构特征和语义特征；将所述特征向量分别输入多个所述代码缺陷检测工具各自相对应的评估模型，输出多个所述代码缺陷检测工具分别对所述被检测代码检测缺陷结果的置信度；并结合检测工具对被检测代码的检测结果，可以有效判定代码是否真实存在某种缺陷，能够解决现有代码缺陷检测中误报较高的问题，有效提升代码审查的工作效率。
-
公开(公告)号：CN111125697A
公开(公告)日：2020-05-08
申请号：CN201911113284.4
申请日：2019-11-14
Applicant: 北京理工大学 , 工业和信息化部计算机与微电子发展研究中心(中国软件评测中心)
Abstract: 本发明公开了基于缺陷摘要的智能合约缺陷可触发性检测方法及系统，该方法包括：对待检测的智能合约进行缺陷检测，提取出一个或多个缺陷摘要；智能合约被调用时，获取实时合约状态数据集合及合约调用数据集合；使用实时状态数据和调用数据，对智能合约的各个缺陷摘要中预设初始符号值进行替换；对符号被替换后的缺陷摘要进行求解，若缺陷摘要的路径约束和缺陷触发条件约束同时有解，检测出所述智能合约在被调用时会触发缺陷。该方法通过将缺陷摘要和智能合约的实时状态数据与合约调用数据相结合来快速判断智能合约中缺陷的可触发性，能够解决现在智能合约缺陷检测中由于没有考虑真实数据而产生的高误报的问题，提高智能合约缺陷检测的准确率。
-
公开(公告)号：CN104881285B
公开(公告)日：2018-04-20
申请号：CN201510272310.3
申请日：2015-05-25
Applicant: 北京理工大学
Abstract: 本发明涉及一种基于本体的代码片段标注与重用系统，适用于高效软件集成开发环境的构建。该系统包括代码片段本体标注模型，代码片段本体标注模块，本体标注模型学习模块，服务器端管理模块，客户端管理模块。其中，代码片段标注模型用于对新提交的代码片段进行自动标注；本体标注模型学习模块学习并生成代码片段本体标注模型；客户端管理模块完成代码片段的采集、提交、查询功能；服务器端管理模块负责用户管理，接收客户端提交的代码片段并存入数据库中；代码片段本体标注模块负责对代码进行标注和重用。本发明实现了代码片段在不同的程序设计人员之间，以及不同的代码片段管理系统之间的相互理解、相互操作和相互共享。
-
公开(公告)号：CN104636085A
公开(公告)日：2015-05-20
申请号：CN201510040741.7
申请日：2015-01-27
Applicant: 北京理工大学
IPC: G06F3/06
Abstract: 本发明涉及一种片上网络消息缓冲区的存储管理模块，属于计算机体系结构及芯片设计领域，该模块负责片上网络计算节点各个端口接收和转发消息时缓冲区存储单元的分配与回收，本发明的存储管理模块采用多端口同步访问模式，多个端口可同时申请或释放消息缓冲区中的存储单元；申请存储单元过程采用预先分配策略，不是申请时才分配，而是在初始化时预先为每个端口分配存储单元，之后每次有端口申请存储单元时再预先为下一次申请提前分配好存储单元。对比现有技术，本发明通过多端口并发访问和预先分配策略缩短了存储单元分配和回收的时间，从而减小了消息存储转发的延迟，提高了存储效率，采用环形队列保存缓冲区空闲存储单元地址，简化了电路设计。
-
-
-
-
-
-
-
-
-
Search Results
46
records
(took 0.023 seconds)
