基于未覆盖边的有状态协议模糊测试方法及系统

    公开(公告)号:CN119621527B

    公开(公告)日:2025-05-09

    申请号:CN202510154118.8

    申请日:2025-02-12

    Inventor: 徐向华 洪宇 王然

    Abstract: 本发明涉及基于未覆盖边的有状态协议模糊测试方法,其方法包括如下步骤:S1:程序预处理;S2:对种子进行模糊测试;S3:状态选择;S4:种子调度。其系统包括测试准备模块、模糊测试模块、状态选择模块、种子调度模块。本发明通过对待测协议实体程序的源代码进行静态分析捕获其中的枚举类型变量的分配和使用。本发明通过分析程序控制流程图上未被模糊器探索到的代码块信息,来评估一个种子在模糊不同状态时的潜在收益,并分析种子触发的状态信息,让模糊器在选择更容易覆盖新程序分支的状态和种子,使得模糊测试系统的整体漏洞检测效率最大化。

    基于大模型的代码生成与自动程序修复的模糊测试方法及系统

    公开(公告)号:CN119537254B

    公开(公告)日:2025-04-08

    申请号:CN202510107188.8

    申请日:2025-01-23

    Abstract: 一种基于大模型的代码生成与自动程序修复的模糊测试方法与系统,用于解决现有的大模型模糊器在运行过程中生成代码错误率和测试成本高的问题。本发明包括提示词筛选、模糊循环、程序修复和漏洞检测四个阶段。采用大语言模型作为主要生成器,并将模糊循环阶段中的算子选择问题建模为多臂老虎机问题,使用汤普森采样算法以提高程序生成的多样性和有效性。通过对生成的程序进行循环修复,减少因缺乏API组合约束而导致的程序错误。本发明使得基于大模型的模糊测试生成的程序有效性明显提升,解决了现有基于大模型的模糊器生成程序错误率高的问题,并且也具有更高的代码覆盖率。

    基于大语言模型的动态语言测试用例自动生成方法

    公开(公告)号:CN119576799A

    公开(公告)日:2025-03-07

    申请号:CN202510132772.9

    申请日:2025-02-06

    Abstract: 本发明公开了基于大语言模型的动态语言测试用例自动生成方法,首先,在预处理阶段,将待测程序的相关信息整理为提示,大语言模型根据这些提示分析待测程序的参数类型,并通过抽象语法树生成测试所需的代码信息;在测试用例生成阶段,采用动态多目标优化算法,通过分支覆盖反馈不断对测试用例进行交叉和变异,在部分进化过程中,利用大语言模型生成常规变异无法产生的测试数据,最后将筛选出的优秀测试用例组织成完整的测试套件;在程序修复阶段,运行测试套件以检测潜在错误,使用大语言模型分析并迭代修复错误,生成可执行且无错误的测试套件。本发明显著提升了动态语言的测试覆盖率,并加速了覆盖目标的达成。

    基于路径和响应码转换的有状态协议模糊测试方法与系统

    公开(公告)号:CN119561878A

    公开(公告)日:2025-03-04

    申请号:CN202510088636.4

    申请日:2025-01-21

    Abstract: 本发明涉及基于路径和响应码转换的有状态协议模糊测试方法与系统,其方法包括如下步骤:S1:进入测试准备阶段,在本地部署待测协议实体程序,并定义待测协议的状态模型集合,作为模糊测试阶段的输入;S2:进入模糊测试阶段,在模糊测试阶段中包括报文分析阶段,报文分析阶段对报文进行探测分析;S3:进入结果信息反馈阶段,在结果信息反馈阶段中包括修复反馈阶段,修复反馈阶段负责处理对于被测报文的变异,并对其进行修复;其系统包括插桩编译模块、字节探测模块、修复反馈模块和网络IO执行模块。本发明在可接受的开销下对于被测报文的结构进行探测与迭代学习,优化对种子变异字节的动态能量调整,从而使得整体模糊测试效率的提高。

    基于簇的自适应充电路径优化方法

    公开(公告)号:CN115190560A

    公开(公告)日:2022-10-14

    申请号:CN202210587166.2

    申请日:2022-05-26

    Abstract: 本发明公开了基于簇的自适应充电路径优化方法。本发明采用的无线传感网络包括在一个二维平面区域中随机部署多个可充电传感器,一个服务基站,一个移动充电器和一个仓库,充电器可以为多个传感器同时充电。首先获取传感器节点的剩余电量信息,结合空间位置和剩余电量信息将网络分簇;然后将该簇的停止位置选择问题视为函数最优化问题;通过梯度下降方法来进行优化停止位置,确定最终选出的充电车停止点;最后根据停止位置和相应的停止时间求解充电路径,同时计算相应的簇平均充电延迟。本发明采用聚类方法和自适应优化方法减少了充电等待时间来缩短充电延迟,并使用贪心策略来规划充电路径减少了充电车的移动距离,进一步降低了充电延迟。

    一种能量收集移动传感网络中K-栅栏寿命的优化方法

    公开(公告)号:CN113179520B

    公开(公告)日:2022-05-03

    申请号:CN202110272030.8

    申请日:2021-03-12

    Inventor: 王然 薛亮 徐向华

    Abstract: 本发明公开了一种能量收集移动传感网络中K‑栅栏寿命的优化方法。本发明首先根据监测区域内太阳辐射强度将区域划分为相等的小矩形区域,并根据传感器的能耗率和能量收集率划分时隙;然后用边长为两倍传感半径的小网格离散化区域,网格中心为传感器的候选部署位置。根据太阳辐射强度选择最佳的K+1条栅栏的候选部署位置,并根据贪心思想选择传感器移动至栅栏的候选部署位置处;最后在每个时隙开始前根据贪心思想调度传感器修补栅栏上能量不足的节点,选择最佳的K条栅栏工作。本发明在构建与调度栅栏的同时,考虑了传感器移动的距离,将传感器移动的距离降低到最低。本发明结合了栅栏覆盖与能量收集技术,相对传统的栅栏覆盖延长了网络的寿命。

    基于可调感知半径概率传感器模型的连通目标覆盖方法

    公开(公告)号:CN110248377B

    公开(公告)日:2022-05-03

    申请号:CN201910421433.7

    申请日:2019-05-21

    Abstract: 本发明公开了一种基于可调感知半径模型的连通目标K覆盖方法。本发明步骤如下:1:根据网络中传感器的位置信息构建网络图;2:找出任意传感器到Sink的最短路径并计算通信代价;3:计算每个传感器在每个监测半径下所能监测到的不满足覆盖阈值的目标点集合;4:计算每个目标点的候选传感器集合;5:选择一个具有最少的候选传感器的目标点;6:为该目标选择覆盖集合;7:重复步骤5‑6,直到选择出一个连通覆盖集合为止,算法结束,给出传感器的状态调度策略。本发明通过概率覆盖的形式,更好的模拟了传感器在实际场景下对目标的监测形式;基于可调感知半径模型的覆盖方法,减少了网络工作在单位时间内的能量成本,提升网络运行效率。

    一种基于情感倾向分析的社交用户生成方法

    公开(公告)号:CN112084333B

    公开(公告)日:2022-04-22

    申请号:CN202010895038.5

    申请日:2020-08-31

    Abstract: 本发明公开了一种基于情感倾向分析的社交用户生成方法。现有用户标签生成方法没有考虑用户对主题的情感倾向。本发明方法首先以微博内容为基础,采用聚类算法构建语义本体,获取用户的微博内容进行情感分类,将带有情感倾向标记的微博信息处理,得到词袋模型,提取词袋模型的词,利用语义本体获取类别信息,统计带有情感标记的类别信息,添加二级标签,得到最终标签,将人口统计信息映射到相应的标签中,构造网络图,根据网络图节点间的边权值大小半监督地生成用户。本发明方法解决了目前社交网络用户不能自动生成用户以及生成的用户标签不准确的问题,能够生成符合某一主题的社交用户,为后续的社会工程研究打下基础。

    无线可充电传感网的k-弱栅栏构建与移动充电调度方法

    公开(公告)号:CN110263228B

    公开(公告)日:2021-08-03

    申请号:CN201910421432.2

    申请日:2019-05-21

    Abstract: 本发明公开了一种无线可充电传感网的k‑弱栅栏构建与移动充电调度方法。具体步骤如下:一个二维矩形窄带区域,随机部署有N个全向传感器节点,一个可移动充电车,相关参数根据网络规模可以设置。具体步骤如下:步骤1:根据监控区域信息构建栅栏图;从区域中获取传感器节点的覆盖半径、覆盖能耗以及位置信息,构建栅栏图,设置边权、流量等。步骤2:利用最小费用最大流算法求解栅栏网络构造。步骤3:根据最小费用最大流算法的信息,找到构成每条栅栏的传感器节点。步骤4:根据求出的栅栏节点计算充电车的各项参数。步骤5:计算每条栅栏的标号,确定充电顺序。本发明结合栅栏覆盖与充电的需求,提升充电车充电效率并保证栅栏覆盖的要求。

Patent Agency Ranking