-
公开(公告)号:CN101833508A
公开(公告)日:2010-09-15
申请号:CN201010165343.5
申请日:2010-05-07
Applicant: 北京大学
IPC: G06F11/36
Abstract: 本发明提供了一种基于执行序列的JUnit测试用例化简方法,属于软件测试中的测试用例化简技术领域。本发明提出了一种k-序列的表示方法来描述每条JUnit测试用例,用以体现每条JUnit测试用例对方法的调用顺序,并将所有JUnit测试用例包含的方法调用序列作为化简前后需要保持不变的条件,对JUnit测试用例集合进行化简,从而保证化简后的测试用例集合可以揭示源于单个方法调用不当和源于多个方法调用顺序不当的错误。本发明提出的测试用例化简技术可以提高化简后测试用例集合的揭错能力,减少测试用例化简过程造成的测试效果损失。
-
公开(公告)号:CN101833481A
公开(公告)日:2010-09-15
申请号:CN201010172366.9
申请日:2010-05-14
Applicant: 北京大学
Abstract: 本发明提供了一种用于检测组合服务中并发安排不当的伙伴服务的方法,属于基于服务的软件开发过程的软件质量保障领域,是一种用于辅助查错的静态分析方法。该方法包括:首先,构造组合服务的消息传播图;其次,构造与伙伴服务相关的活动之间依赖关系图;再次,构造可并发运行的活动序列组的队列;最后,检测并发相关不当安排的活动。本方法可单独作为一款工具或一个插件集成到基于业务流程执行语言的服务开发集成开发环境,辅助开发人员自动检测组合服务中可能存在并发相关的伙伴服务不当安排,以提高所设计服务的质量。
-
公开(公告)号:CN101127044A
公开(公告)日:2008-02-20
申请号:CN200710110675.1
申请日:2007-06-08
Applicant: 北京大学
IPC: G06F17/30
Abstract: 本发明涉及一种动态网页的分块方法,首先接受一个网页内容流并生成扩展DOM树,然后将DOM树的各节点生成特征编码,比较各DOM树的对应节点,生成共享分块和定制化分块。采用本发明的方法,能够根据网页的动态和结构特性,理解、识别系统中多个页面共享的部分(共享分块)以及变化规律不一致的部分(定制化分块),在无人为参与的情况下,动态地进行页面划分,以提供一种具备良好可扩展性的解决方案,降低手动分块的劳力成本。可广泛应用于动态网页技术领域。
-
公开(公告)号:CN101078995A
公开(公告)日:2007-11-28
申请号:CN200710110673.2
申请日:2007-06-08
Applicant: 北京大学
IPC: G06F9/46
Abstract: 本发明涉及一种构件运行支撑平台中接入消息服务的方法,根据连接适配器的统一接口编写构件运行支撑平台的消息服务的实现类;选定所需的消息中间件的连接适配器和消息中间件;编写构件运行支撑平台消息服务配置文件;创建消息服务类的实例、启动消息服务中间件。采用本发明提供的方法,可以在不对构件运行支撑平台本身做出修改的前提下,通过编写消息中间件连接适配器和修改配置文件的方法方便灵活地为平台动态接入新的消息服务。
-
公开(公告)号:CN1322420C
公开(公告)日:2007-06-20
申请号:CN200410000773.6
申请日:2004-01-18
Applicant: 北京大学
IPC: G06F9/445
Abstract: 本发明公开了一种构件化软件系统在线增加新功能的方法,属于软件技术领域。改方法包括以下步骤:(1)开发支持新功能的新构件;(2)在线演化现有构件的实现体,向软件系统加载新构件的实现体;然后在构件容器中的消息与具体实现函数之间的映射表中增加代表新功能的消息与新构件实现体中新具体方法之间的关联;(3)为新的构件接口生成骨架程序并加载到系统中,替换老的骨架程序;(4)更新与运行时刻软件系统对应的文件形态的软件系统,使软件系统中包含新的构件。采用本发明的方法,可以使软件服务系统的维护人员方便地在保持系统运行的前提下为系统增加新的功能。
-
公开(公告)号:CN1584830A
公开(公告)日:2005-02-23
申请号:CN200410048128.1
申请日:2004-06-16
Applicant: 北京大学
IPC: G06F9/44
Abstract: 本发明公开了一种构件化软件中非功能特征组装方法,包括建立包含侧面的软件体系结构,具体包括:实现与构件相互独立、提供非功能特征的侧面,在体系结构建模阶段建立侧面与构件之间关联的描述机制;自动生成包含构件实现与侧面实现的可运行代码以及针对构件、侧面、系统的部署描述符的软件包;在运行阶段根据体系结构规约建立和调整构件实例与侧面实例之间的关联;本发明有助于提高软件构件的可复用性,可以在线调整非功能特征,对于目前大型软件系统的开发、集成、演化具有十分重要的意义,另一方面,同一个侧面可在同一个应用或不同应用中与多个构件关联以实现非功能特征,这使得侧面也成为一种可复用的资产,增加了软件复用在目标系统中的比重。
-
公开(公告)号:CN113936115B
公开(公告)日:2024-10-29
申请号:CN202111241097.1
申请日:2021-10-25
Applicant: 北京大学
Abstract: 本发明公开了一种多智能体在物理空间中的成形方法,应用于智能体系统的分布式控制技术领域,具体步骤包括如下:将连续的物理空间离散化为网格空间,并定义多智能体成形问题;每一个智能体向协调器报告在网格空间中的位置;在接收到每个智能体的位置后,协调器获取每个位置的系统状态;开始迭代,在每一轮迭代中,每一个智能体顺序执行1)局部光场计算;2)优先级队列生成;3)确定下一时刻的位置;4)移动到下一位置;当所有智能体都占据目标形状中的一个网格;或者目标形状中的每一个网格都被一个智能体占据,迭代结束。本发明公开了一种高效、可拓展和稳定的多智能体在物理空间中的成形方法。
-
公开(公告)号:CN114187457A
公开(公告)日:2022-03-15
申请号:CN202111544072.9
申请日:2021-12-16
Applicant: 北京大学
Abstract: 本发明公开了一种迭代式图对齐方法,涉及图结构数据自动对齐相关技术领域,具体步骤为:获取拓扑图,获得任意两幅待对齐的拓扑图之间的初始对齐关系;计算任意两幅待对齐的拓扑图中任一节点关于初始对齐关系的上下文;求取任意两幅待对齐的拓扑图中任意一对相同类型的节点之间的相似度;计算任意两幅待对齐的拓扑图中任一类型的节点的平均相似度;获得任意两幅待对齐的拓扑图中任一类型的节点之间的对齐关系;形成任意两幅待对齐的拓扑图的对齐关系;判断是否继续进行迭代计算;本申请显式考虑拓扑图中节点的类型信息以及节点与拓扑图中其他节点之间的关系,提高了拓扑图对齐的准确度。
-
公开(公告)号:CN113936115A
公开(公告)日:2022-01-14
申请号:CN202111241097.1
申请日:2021-10-25
Applicant: 北京大学
Abstract: 本发明公开了一种多智能体在物理空间中的成形方法,应用于智能体系统的分布式控制技术领域,具体步骤包括如下:将连续的物理空间离散化为网格空间,并定义多智能体成形问题;每一个智能体向协调器报告在网格空间中的位置;在接收到每个智能体的位置后,协调器获取每个位置的系统状态;开始迭代,在每一轮迭代中,每一个智能体顺序执行1)局部光场计算;2)优先级队列生成;3)确定下一时刻的位置;4)移动到下一位置;当所有智能体都占据目标形状中的一个网格;或者目标形状中的每一个网格都被一个智能体占据,迭代结束。本发明公开了一种高效、可拓展和稳定的多智能体在物理空间中的成形方法。
-
公开(公告)号:CN108376028B
公开(公告)日:2019-10-22
申请号:CN201810020304.2
申请日:2018-01-09
Applicant: 北京大学
Abstract: 本发明提供一种基于用户行为和系统状态预测移动设备电池续航的方法,包括以下步骤:提取会话,根据需要保留符合条件的会话作为基本单元;从这些会话中随机选取一时间点,作为预测时间点;然后提取从会话开始直至预测时间点范围内的用户使用行为数据及系统状态信息,从中整理、抽取特征信息并将其组成特征向量;构造训练集;选取回归模型,以每个会话的特征向量作为输入,以预测时间点之后的实际续航时间作为输出进行训练;得到训练模型后,将待预测的会话的相应数据同样进行特征提取,以构造的训练集作为输入,得到的输出作为对待预测会话的续航时间的预测。从而准确预测移动设备的电池续航时间。
-
-
-
-
-
-
-
-
-