-
公开(公告)号：CN114979620A
公开(公告)日：2022-08-30
申请号：CN202210356961.0
申请日：2022-03-31
Applicant: 北京邮电大学
IPC: H04N17/00 , H04N21/475 , H04N21/4788 , G06N3/04 , G06F40/242 , G06F16/78 , G06F16/33
Abstract: 本申请提供一种视频亮点片段检测方法、装置、电子设备及存储介质。其中，视频亮点片段检测方法，包括：获取待检测视频的弹幕评论，并依次对弹幕评论进行预处理以及特征提取，得到文本特征；通过对文本特征进行情感强度计算和内容相似度计算，从而确定与该弹幕对应的视频片段的亮点概率，根据所述亮点概率确定亮点片段。本申请中的检测方法：通过弹幕评论确定原长视频中的亮点片段，有效降低了人工成本，同时通过弹幕评论确定亮点片段的方式避免了通过机器检测亮点片段时因使用图像音频数据造成计算效率慢、结果不准确的问题，可以高效、准确地检测视频中的亮点片段。
-
公开(公告)号：CN114679273A
公开(公告)日：2022-06-28
申请号：CN202210306048.X
申请日：2022-03-25
Applicant: 北京邮电大学
Abstract: 本发明公开了一种基于椭圆曲线的多授权可撤销属性加密方法，具体包括以下步骤：步骤一、系统初始化；步骤二、解密密钥生成；步骤三、数据加密；步骤四、数据解密；步骤五、属性撤销，本发明涉及信息安全技术领域。该基于椭圆曲线的多授权可撤销属性加密方法，支持系统中创建任意多个属性机构分发数据使用者的属性解密密钥，加密者可以根据属性定义访问策略进行数据加密，属性集满足访问策略的数据使用者可以解密被加密的数据，属性机构可以通过更新并发布属性组密钥实现属性撤销，通过向未被撤销属性的数据使用者发送更新密钥进行轻量级的属性密钥更新。
-
公开(公告)号：CN106020913B
公开(公告)日：2019-06-14
申请号：CN201610390646.4
申请日：2016-06-06
Applicant: 北京邮电大学
IPC: G06F8/65
Abstract: 本发明实施例公开了一种缺陷检测工具更新方法及装置，方法包括：根据待测试工程中异常出现的位置和时机，将异常划分为至少一种异常类型；针对每一种异常类型的异常，确定所述异常类型对应的异常解决方案；根据每一种异常解决方案，更新所述缺陷检测工具中的语言分析器，其中所述语言分析器至少包括词法分析器和语法分析器。应用本发明实施例，能规避缺陷检测工具因待检测工程的开发环境及编译器的多样性带来的非预期语法和/或词法的影响而产生的异常，使得后续分析工作顺利进行。
-
公开(公告)号：CN106294156B
公开(公告)日：2018-12-07
申请号：CN201610658272.X
申请日：2016-08-11
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明实施例公开了一种静态代码缺陷检测分析方法及装置，针对现有的对待测源代码文件的代码缺陷检测分析效率低下的问题，其中，检测分析方法包括：获取待测源代码文件，其中，所述待测源代码文件包括：多个待测源代码文件段的测试单元；根据所述待测源代码文件，生成抽象语法树；根据所述抽象语法树，建立每个当前测试单元与其他测试单元的关联，得到关联后的每个当前测试单元与其他测试单元的依赖关系，其中，所述其他测试单元为所述多个测试单元中除所述当前测试单元以外的其他测试单元；根据所述依赖关系，结合串行检测分析与并行检测分析，并对所述待测源代码文件的代码缺陷检测分析，提高待测源代码文件的代码缺陷检测分析效率。
-
公开(公告)号：CN104536883B
公开(公告)日：2017-06-16
申请号：CN201410736842.3
申请日：2014-12-05
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明涉及一种静态缺陷检测方法及其系统，该方法包括：S1、构造被测程序的抽象语法树和控制流图；S2、根据预设的缺陷模式，建立所述缺陷模式的状态机实例，并将所述状态机实例置于待测程序的控制流入口；S3、依路径遍历控制流图，并计算在遍历过程中每个控制流节点的变量的区间信息；S4、根据每个所述控制流节点的变量的区间取值信息，实时地更新所述状态机实例的状态，直到检测到所述状态机实例的缺陷或遍历完成所有路径上的控制流节点。该方法基于符号化的区间分析技术，通过综合采用矛盾的变量取值判断和条件约束验证方法判断程序中的不可达路径，从而提高了缺陷检测的精确性。
-
Patent Agency Ranking
公开(公告)号：CN106294156A
公开(公告)日：2017-01-04
申请号：CN201610658272.X
申请日：2016-08-11
Applicant: 北京邮电大学
IPC: G06F11/36
CPC classification number: G06F11/3608
Abstract: 本发明实施例公开了一种静态代码缺陷检测分析方法及装置，针对现有的对待测源代码文件的代码缺陷检测分析效率低下的问题，其中，检测分析方法包括：获取待测源代码文件，其中，所述待测源代码文件包括：多个待测源代码文件段的测试单元；根据所述待测源代码文件，生成抽象语法树；根据所述抽象语法树，建立每个当前测试单元与其他测试单元的关联，得到关联后的每个当前测试单元与其他测试单元的依赖关系，其中，所述其他测试单元为所述多个测试单元中除所述当前测试单元以外的其他测试单元；根据所述依赖关系，结合串行检测分析与并行检测分析，并对所述待测源代码文件的代码缺陷检测分析，提高待测源代码文件的代码缺陷检测分析效率。
-
公开(公告)号：CN103914379B
公开(公告)日：2016-10-26
申请号：CN201410114863.1
申请日：2014-03-25
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明涉及一种故障自动注入与故障检测的方法及其系统，该方法包括：S1，对被测文件进行故障自动化注入，进行分析并生成多个故障文件；S2，对所述多个故障文件分别进行处理，生成多个可执行文件；S3，根据所述被测文件选择特定的用例库，将所述用例库中的用例逐一在所述每个可执行文件上运行，进行故障检测，并计算故障检测率。本发明使用源代码故障注入的方法，可以加速错误的发生，进而判断出软件中是否存在故障，并且检错能力强，尤其对于一些小概率错误具有较好的测试效果。
-
公开(公告)号：CN103218296B
公开(公告)日：2015-12-02
申请号：CN201310141769.0
申请日：2013-04-22
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种充分检测空指针引用缺陷的方法，包括：基于抽象语法树识别出被测应用的全部可寻址表达式；根据控制流图对被测应用进行保守的区间运算与指针分析并根据区间运算与指针分析的结果，生成函数摘要；根据所述函数摘要以及抽象语法树识别出全部的指针引用以及被引用的指针，并对每个被引用的指针创建空指针引用缺陷状态机实例；基于控制流图运行空指针引用缺陷状态机实例，在控制流图的每个节点上，根据区间运算、指针分析的结果对每个缺陷状态机实例进行状态迁移，进行空指针引用检测。采用本发明，能有效解决空指针引用缺陷的漏报问题，实现空指针引用缺陷检测零漏报及低误报。
-
公开(公告)号：CN102662829B
公开(公告)日：2015-02-18
申请号：CN201210071743.9
申请日：2012-03-16
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种复杂数据结构在代码静态测试中的处理方法，在符号表中记录与复杂数据类型相关的基本数据类型信息；对控制流图的每个节点的复杂数据类型，根据与所述复杂数据类型相关的基本数据类型信息进行基本数据类型拆分，将基本数据类型拆分后得到的每个独立变量进行独立分析，更新相应的控制流图节点信息；输出更新后的控制流图；本发明同时还公开了一种复杂数据结构在代码静态测试中的处理装置，通过本发明的方案，能够解决静态测试中对复杂数据类型整体建模分析不完善所产生的漏报问题，在一定程度上提高静态测试的精度。
-
公开(公告)号：CN104317708A
公开(公告)日：2015-01-28
申请号：CN201410562727.9
申请日：2014-10-21
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于迭代的区间运算的软件测试用例自动生成方法及系统，包括：S1、读取待测程序中的预定路径，通过遍历所述待测程序的控制流图得到所述预定路径的各个变量的变量取值区间；S2、将所述变量取值区间通过迭代的区间运算遍历所述控制流图，得到各个所述变量的初始稳定变量取值区间；S3、对所述初始稳定变量取值区间中的无穷变量取值区间进行初始化处理，通过迭代的区间运算遍历所述控制流图，并将运算结果保存到所述初始稳定变量取值区间；S4、根据预设的机制对变量进行排序，并确定当前变量；S5、对所述当前变量的初始稳定变量取值区间进行回退运算、迭代的区间运算及回溯运算，生成测试用例；S6、对生成的所述测试用例进行验证。
-
-
-
-
-
-
-
-
-
Search Results
74
records
(took 0.028 seconds)
