一种用户界面测试导航系统、方法与产品

    公开(公告)号:CN119166516A

    公开(公告)日:2024-12-20

    申请号:CN202411242103.9

    申请日:2024-09-05

    Applicant: 北京大学

    Inventor: 冉德智 谢涛 张颖

    Abstract: 本申请提供了一种用户界面测试导航系统、方法与产品,涉及用户界面测试技术领域,系统包括:内存模块,用于维护屏蔽操作空间;屏蔽操作表示在对应的UI状态下执行后未达到预期效果的UI操作;领域知识加载器,用于根据屏蔽操作空间,以及,当前UI状态,删除动作空间中的屏蔽操作,得到优化后动作空间;执行引擎,用于根据优化后动作空间,生成操作提示,使第一大语言模型LLM根据操作提示,确定本轮UI测试动作;获取在测试应用程序AUT上执行本轮UI测试动作,得到的测试后UI状态;领域知识加载器根据测试后UI状态,验证本轮UI测试是否达到预期效果,在未达到预期效果的情况下,恢复UI状态至当前UI状态,重新进行UI测试。

    一种用于数据API执行过程验证的程序插桩方法及装置

    公开(公告)号:CN115221051B

    公开(公告)日:2023-06-09

    申请号:CN202210813432.9

    申请日:2022-07-12

    Applicant: 北京大学

    Abstract: 本发明实施例提供了一种用于数据API执行过程验证的程序插桩方法及装置,该方法中,从所述用于数据供给的整体可执行程序中,定位目标数据API所对应的程序片段;复制该程序片段中的函数,并基于所述原始可执行程序中的函数调用关系,重构复制后函数之间的调用关系,以形成具有相同执行效果但执行过程独立的待插桩程序片段;在所述待插桩程序片段中插入插桩代码,得到目标可执行程序。相较于现有技术针对可执行程序进行整体插桩的方式,精确定位目标数据API所对应程序片段并对所构造的待插桩程序片段进行插桩,能够实现同样的插桩效果,同时通过缩小插桩范围降低代码膨胀率,并通过对待插桩程序片段插桩避免对其它无关业务功能的性能造成影响。

    一种基于内容分割的Web数字对象提取方法及系统

    公开(公告)号:CN114218515B

    公开(公告)日:2022-09-06

    申请号:CN202111571191.3

    申请日:2021-12-21

    Applicant: 北京大学

    Inventor: 张颖 刘譞哲 马郓

    Abstract: 本申请提供一种基于内容分割的Web数字对象提取方法及系统,方法包括:根据用户在前端界面的选择操作,控制Web页面在浏览模式和数字对象生成模式之间进行切换;在Web页面处于数字对象生成模式的情况下,将Web页面分割为多个内容块;提取多个内容块中的关键信息;根据用户从展示的多个内容块中选择的目标内容块,创建与目标内容块对应的数字对象配置界面;根据用户从数字对象配置界面中选择的目标关键信息,将目标内容块和目标关键信息发送至数字对象引擎,以构建与目标内容块对应的目标数字对象,目标关键信息将作为目标数字对象的自定义属性。旨在自动从Web页面中获取数据,并解析数据的元信息,进而转换成数字对象。

    一种Web请求关联的分析方法和装置

    公开(公告)号:CN110633431B

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

    申请号:CN201910731410.6

    申请日:2019-08-08

    Applicant: 北京大学

    Abstract: 本发明涉及一种Web请求关联的分析方法和装置。该方法包括:记录浏览Web页面过程中产生的Web请求序列,从中选取一项作为待生成API的头部请求;根据头部请求在Web请求序列中进行第一次后继搜索;如搜索到后继请求则将头部请求与后继请求整合为一个API;如未搜索到后继请求则在Web请求序列中进行前驱搜索;如未搜索到前驱请求则将头部请求生成API;如搜索到前驱请求则在Web请求序列中进行第二次后继搜索;如搜索到后继请求则将头部请求与后继请求整合为一个API;如未搜索到后继请求则将头部请求生成API。本发明采用计算机程序实现Web请求关联分析的自动化,能够解决人工操作低效和准确率不稳定的问题。

    一种针对智能合约的自适应同步方法和系统

    公开(公告)号:CN112118289B

    公开(公告)日:2021-10-01

    申请号:CN202010808928.8

    申请日:2020-08-12

    Applicant: 北京大学

    Inventor: 黄罡 张颖 蔡华谦

    Abstract: 本发明实施例提供了一种针对智能合约的自适应同步方法和系统,涉及区块链技术领域,通过请求节点在P2P网络中随机选择预设数量个节点,以使所述预设数量个节点同步调用智能合约,可以大大提高可信计算的执行效率;同时提出了一种合约状态同步机制,通过在多节点同步调用的过程中对合约的执行进行记录,当需要同步时,就从最新状态的节点中获取所需的合约调用的执行记录并在本地进行回放,以此可在随机多节点状态不同步时将其快速恢复,实现高可用,能满足低响应时间的数据分析场景。

    一种前端网页输入约束提取方法和装置

    公开(公告)号:CN110618809B

    公开(公告)日:2020-11-03

    申请号:CN201910731804.1

    申请日:2019-08-08

    Applicant: 北京大学

    Abstract: 本发明涉及一种前端网页输入约束提取方法和装置。该方法包括:标记前端网页的所有Javascript代码中包含出错信息的函数,作为目标函数;对标记的目标函数进行数据流分析,并根据数据流分析结果进行代码切片;将获得的切片代码与前端网页输入相匹配,提取出前端网页输入约束相关的Javascript验证代码。本发明能够从前端网页中提取Javascript验证代码,辅助Web应用服务化开发,从而保障Web应用后端数据安全;与现有静态分析方案相比,本发明通过以函数为单位缩小了分析范围,从而使本发明能够分析大型网站;与现有动态分析相比,本发明无需开发人员提供输入测试样例。

    一种前端网页输入约束提取方法和装置

    公开(公告)号:CN110618809A

    公开(公告)日:2019-12-27

    申请号:CN201910731804.1

    申请日:2019-08-08

    Applicant: 北京大学

    Abstract: 本发明涉及一种前端网页输入约束提取方法和装置。该方法包括:标记前端网页的所有Javascript代码中包含出错信息的函数,作为目标函数;对标记的目标函数进行数据流分析,并根据数据流分析结果进行代码切片;将获得的切片代码与前端网页输入相匹配,提取出前端网页输入约束相关的Javascript验证代码。本发明能够从前端网页中提取Javascript验证代码,辅助Web应用服务化开发,从而保障Web应用后端数据安全;与现有静态分析方案相比,本发明通过以函数为单位缩小了分析范围,从而使本发明能够分析大型网站;与现有动态分析相比,本发明无需开发人员提供输入测试样例。

    一种基于运行时模型实现对终端应用控制的方法

    公开(公告)号:CN110362363A

    公开(公告)日:2019-10-22

    申请号:CN201910498732.0

    申请日:2019-06-10

    Applicant: 北京大学

    Abstract: 本发明公开了一种基于运行时模型实现对终端应用控制的方法,通过定义运行时模型上的操作以及模型片段在堆、栈区域影响的等价性,实现了复杂的应用行为模型的分解,可操作的模型片段,并基于分解的模型片段,建立行为模型与应用状态和应用代码的因果关联,实现了在终端应用运行时对其应用行为的指令级别的控制。

    一种终端应用行为反射的处理方法

    公开(公告)号:CN110362301A

    公开(公告)日:2019-10-22

    申请号:CN201910498200.7

    申请日:2019-06-10

    Applicant: 北京大学

    Abstract: 本发明公开了一种终端应用行为反射的处理方法,通过行为解释器,生成一个完整、准确、详实的应用行为自述,即终端应用应用行为的运行时模型,克服了现有技术在动态、多变、难控的应用运行时的不足,实现了对终端应用应用行为的灵活、完整的监测,然后基于生成的运行时模型,定义运行时模型上的操作以及模型片段在堆、栈区域影响的等价性,实现了复杂的应用行为模型的分解,可操作的模型片段,并基于分解的模型片段,建立行为模型与应用状态和应用代码的因果关联,实现了在终端应用运行时对其应用行为的指令级别的控制。

    关键代码定位方法与系统
    20.
    发明公开

    公开(公告)号:CN109240700A

    公开(公告)日:2019-01-18

    申请号:CN201810737264.3

    申请日:2018-07-06

    Applicant: 北京大学

    Abstract: 本发明公开了一种关键代码定位方法与系统,本发明在关键代码定位阶段,通过程序插桩的方式采集预设的输入参数的场景下从接口参数约束代码的入口函数开始的函数调用关系,并据此对各函数进行关键代码分析,以定位出与接口参数相关的所有约束代码。本发明有效解决了现有技术在将信息系统中的数据和功能服务化的过程中,在编写处理程序时难以定位到关键代码的问题,帮助开发者快速定位到关键代码,从而帮助开发者更快筛选出真正跟参数约束密切相关的代码。

Patent Agency Ranking