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

    公开(公告)号:CN110618809A

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

    申请号:CN201910731804.1

    申请日:2019-08-08

    Applicant: 北京大学

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

    一种基于物理实测的移动端APP加载能耗自动测量方法

    公开(公告)号:CN105487960B

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

    申请号:CN201511000936.5

    申请日:2015-12-28

    Applicant: 北京大学

    Abstract: 本发明公开了一种基于物理实测的移动端APP加载能耗自动测量方法。本方法为:1)将指定的移动端Web和移动端机型发送给服务器;2)服务器将该移动端Web传送到对应移动端上运行的浏览器中加载该移动端Web,并启动电表开始测量;在测量过程中获取每一网络资源的请求时间、接收时间以及计算时间;3)当该移动端Web在该移动端上加载完成后,服务器对测量数据进行处理:首先根据网络资源的请求时间、接收时间以及计算时间得到页面加载过程及其中的时间戳,然后将获得的时间戳与该服务器的时间进行同步;然后根据同步后的时间和电表测量数据计算该移动端Web在该移动端上加载产生的能耗。本方法大大提高了测量精度。

    一种基于问答网站分析的程序崩溃缺陷自动修复方法

    公开(公告)号:CN105335246B

    公开(公告)日:2018-04-27

    申请号:CN201510708750.9

    申请日:2015-10-27

    Applicant: 北京大学

    Abstract: 本发明涉及计算机软件技术领域,公开了一种基于问答网站分析的程序崩溃缺陷自动修复方法,包括:根据程序发生崩溃时的崩溃踪迹,获取多个相关网页;其中,所述相关网页中包含描述所述崩溃的缺陷代码以及修复所述崩溃的修复代码;在每个所述相关网页中,提取所述缺陷代码的片段以及修复代码的片段;根据所述缺陷代码片段以及修复代码片段生成用于修复所述崩溃的编辑脚本;根据所述崩溃踪迹以及缺陷代码,确定所述程序源代码中有错误代码的位置,应用所述编辑脚本修复所述错误代码。本发明可根据崩溃踪迹在相关网页上自动搜索修复方案,并生成相应的编辑脚本对崩溃进行修复,摆脱了在修复过程中对操作人员的依赖,实现自动修复,且修复精度较高。

    基于重构技术实现敏感数据云端锁定的方法

    公开(公告)号:CN105303122B

    公开(公告)日:2018-02-09

    申请号:CN201510670320.2

    申请日:2015-10-13

    Applicant: 北京大学

    Abstract: 本发明涉及一种基于重构技术实现敏感数据云端锁定的方法。该方法修改并重构移动应用的二进制字节码,替换其使用的文件操作相关的应用编程接口(API),从而将云端指定的子文件系统与终端文件系统融合,使重构后的应用能透明地读、写云端数据,达到敏感数据云端锁定的目的。该方法首先对现有移动应用进行程序化分析,找出与文件操作相关的计算逻辑,并进行相应的重构,最后重新生成具备直接读、写云端数据能力的应用。本发明有助于提高手机敏感数据的安全性,尤其对于需要保护敏感数据,不希望敏感数据保存在终端上的用户具有十分重要的意义。

    一种基于用户管理应用行为的应用质量判别方法及系统

    公开(公告)号:CN105630957A

    公开(公告)日:2016-06-01

    申请号:CN201510983204.6

    申请日:2015-12-24

    Applicant: 北京大学

    Abstract: 本发明涉及一种基于用户管理应用行为的应用质量判别方法及系统。该方法包括:1)对用户的应用管理行为进行数据预处理,得到管理行为序列,作为训练集;2)利用得到的管理行为序列,对用户的应用管理行为进行特征抽取;3)利用抽取的行为特征建立多维自变量空间,每一个训练集中的应用被视作该空间当中的一个点,根据此空间进行模型训练,调试出最优的模型参数,得到一个确定的回归模型;4)将每一个待预测的应用的管理行为数据按照步骤1)和步骤2)进行整理,然后输入该回归模型,模型的输出即为对应用质量的判别结果。本发明能够更为有效地去除无关特征和发挥有关特征的质量表达能力,能够获得更为准确的应用质量评价结果。

    一种基于控制流图的内存泄漏自动修复方法

    公开(公告)号:CN104750563A

    公开(公告)日:2015-07-01

    申请号:CN201310728361.3

    申请日:2013-12-26

    Applicant: 北京大学

    Abstract: 一种基于控制流图的内存泄漏自动修复方法,应用于计算机程序的内存泄露检测和自动修复,包括如下步骤:第一步:制作计算机程序的控制流图;第二步:根据所述控制流图进行内存泄露检测和修复;第三步:利用在控制流图中记录的代码位置信息,将添加到图中的修复代码映射回原计算机程序代码中。开发者可以使用本发明所述的方法自动修复计算机程序的内存泄漏,而不必担心修复错误或引入新错误。

    特征二元约束关系的自动挖掘方法

    公开(公告)号:CN102930074B

    公开(公告)日:2015-02-18

    申请号:CN201210357166.X

    申请日:2012-09-21

    Applicant: 北京大学

    Abstract: 一种特征二元约束关系的自动挖掘方法,其包括以下步骤:配对步骤,对一组N个特征进行两两配对形成“特征对”,并根据已知条件将“特征对”分为“空白对”、“依赖对”、“互斥对”和“未知对”四类;量化步骤,对于每一个“特征对”,定义四个指标对其进行量化;训练步骤,使用经过量化的“空白对”、“依赖对”和“互斥对”作为训练样本,对用于挖掘出“依赖对”和“互斥对”的一分类器进行训练;分类步骤,使用分类器对输入的“未知对”进行分类,在“未知对”中发现“依赖对”和“互斥对”就意味着挖掘到了新的二元约束关系。本发明可以高度自动化的进行大规模特征模型中约束关系的建立,提高特征模型的建模效率。

    一种用于检测组合服务中并发安排不当的伙伴服务的方法

    公开(公告)号:CN101833481B

    公开(公告)日:2012-07-04

    申请号:CN201010172366.9

    申请日:2010-05-14

    Applicant: 北京大学

    Inventor: 倪一涛 张路 梅宏

    Abstract: 本发明提供了一种用于检测组合服务中并发安排不当的伙伴服务的方法,属于基于服务的软件开发过程的软件质量保障领域,是一种用于辅助查错的静态分析方法。该方法包括:首先,构造组合服务的消息传播图;其次,构造与伙伴服务相关的活动之间依赖关系图;再次,构造可并发运行的活动序列组的队列;最后,检测并发相关不当安排的活动。本方法可单独作为一款工具或一个插件集成到基于业务流程执行语言的服务开发集成开发环境,辅助开发人员自动检测组合服务中可能存在并发相关的伙伴服务不当安排,以提高所设计服务的质量。

    建模语言图形表示法的生成方法和装置

    公开(公告)号:CN101303649B

    公开(公告)日:2011-11-16

    申请号:CN200810115317.4

    申请日:2008-06-20

    Applicant: 北京大学

    Abstract: 本发明涉及一种建模语言图形表示法的生成方法和装置,统计图形化建模语言中的图形符号中的形状出现的频率和数量信息,得到基本图元信息;对所述基本图元信息通过布局策略处理得到建模元素的图形符号信息;将所述图形符号信息和图形符号之间的基本位置关系信息,通过抽象语法桥的语法映射处理,得到建模语言的抽象语法信息,从而可以有效地为每个建模元素分别生成自己的图形符号;生成不同建模元素的图形符号之间的各种位置关系;将图形符号以及图形符号之间的位置关系映射到建模语言的抽象语法上。

    特征模型的建模方法
    70.
    发明公开

    公开(公告)号:CN102043629A

    公开(公告)日:2011-05-04

    申请号:CN201010609863.0

    申请日:2010-12-28

    Applicant: 北京大学

    Inventor: 张伟 赵海燕 梅宏

    Abstract: 本发明提供一种特征模型的建模方法,该特征模型的建模方法包括:根据系统中多个特征之间的相关性,将多个特征分成至少两个特征集合;根据各特征集合中的特征,获取各特征集合所对应的绑定谓词;根据各特征集合,获取各绑定谓词之间的组合方式。通过绑定谓词和组合方式的设定,提高了复杂关系中特征模型的可复用性。

Patent Agency Ranking