-
公开(公告)号：CN117724750A
公开(公告)日：2024-03-19
申请号：CN202311054130.9
申请日：2023-08-21
申请人： 南京匡吉信息科技有限公司 , 南京大学
IPC分类号： G06F8/70 , G06F8/10 , G06F16/33 , G06F40/211 , G06F40/216 , G06F40/284 , G06F40/289 , G06F40/30
摘要： 本发明公开了一种结合了软件制品共识词对抽取与信息检索技术的自动化需求到代码追踪线索生成方法，包括：步骤1、抽取需求文本中的候选词对；步骤2、抽取代码中的候选词对；步骤3、识别需求与代码之间的共识词对；步骤4：提出共识词对补充策略并按照该策略将共识词对分别补充到需求与代码文本中；步骤5：基于信息检索计算生成需求到代码的初始候选追踪列表；步骤6：结合需求文本结构计算需求与代码之间共有共识词对的全局和局部权重；步骤7：利用共识词对的局部权重和全局权重优化候选追踪列表。通过利用需求与代码之间的共识词对，结合代码与需求的结构信息对基于信息检索的软件可追踪生成方法优化，提升了候选追踪列表的准确率和召回率。
-
公开(公告)号：CN116362211A
公开(公告)日：2023-06-30
申请号：CN202310336916.3
申请日：2023-03-31
申请人： 南京大学
IPC分类号： G06F40/174
摘要： 本发明提供一种异构表格填充方法，包括S1，对源数据表和待填目标表进行归一化处理，分别得到归一化源表与归一化目标表；S2，当归一化源表中不存在未评估的候选单元格时，执行步骤S4的操作；当归一化源表中存在未评估的候选单元格时，执行步骤S3的操作；S3，选取任意未评估的候选单元格作模拟填充，并返回执行步骤S2的操作；S4，返回最适单元格并将最适单元格文本数据填充到待填单元格中。本发明将不同应用中的表格实例通过归一化的方式转换为统一的中间表示，使得后续评估候选单元格的过程无需关注应用的具体实现，模拟用户在填充表格时对于表格的设计和使用习惯，使得最适候选单元格能够与用户选出的最适候选单元格一致。
-
公开(公告)号：CN116150017A
公开(公告)日：2023-05-23
申请号：CN202310174770.7
申请日：2023-02-28
申请人： 南京大学
IPC分类号： G06F11/36 , G06F16/332 , G06F16/33
摘要： 本发明公开一种基于交通事故报告文本生成自动驾驶虚拟测试场景的方法，将自然语言的交通事故报告文本使用自然语言处理技术提取报告文本中的事故描述关键信息，并汇总成表；根据关键信息从场景脚本模板库中选取适合对应事故描述的模板，并根据关键信息填充模板中的缺失部分取得场景描述脚本；使用场景描述脚本生成对应的虚拟测试场景。本发明用自然语言处理技术提取报告文本中的事故描述关键信息并汇总成表，并用场景脚本模板库将关键信息转化为场景脚本，最终生成虚拟测试场景。对比传统自动驾驶虚拟测试场景生成方法的实现，本发明可以基于交通事故报告文本中批量生成测试场景，提高了生成有效测试场景的效率。
-
公开(公告)号：CN113055465A
公开(公告)日：2021-06-29
申请号：CN202110263875.0
申请日：2021-03-11
申请人： 南京大学
摘要： 本发明公开一种支持事务一致性的微服务动态更新方法，属于软件维护技术领域，包括以下内容：流量代理的插入以及支持事务一致性的动态更新流程；其中通过采用插入流量代理的方式，对用户请求进行接管，拦截并提取出其中的分布式事务信息，添加对应的分布式事务标识，并对其进行管理；支持事务一致性的动态更新流程描述如何从新版本上线到撤销旧版本，对目标服务进行动态更新的同时保证系统的持续可用性。本方法在微服务动态更新方面，相比较于常见的部署方案，在满足一致性要求的同时，在及时性和干扰性两方面取得了较好的平衡，可应用于不同的微服务系统，有较高的应用价值。
-
公开(公告)号：CN112365099A
公开(公告)日：2021-02-12
申请号：CN202011422059.1
申请日：2020-12-08
申请人： 南京大学
摘要： 本发明的非确定性分离的web服务器集群资源伸缩方法，包括三个步骤：步骤1、构建非确定性分离的系统模型和决策模型，在剥离非确定性的理想环境下，对系统建立精确的数学模型作为系统模型，利用Alloy建模工具得到系统状态转移矩阵构建决策模型；步骤2、环境非确定性因素处理，定义补偿系数描述由环境变化及建模误差导致的非确定性因素，利用卡尔曼滤波动态估计该补偿系数的分布；步骤3、自适应伸缩策略求取，综合模型预测控制的滚动优化思想和博弈论方法，在步骤1中获得的系统决策模型上求解最优资源伸缩策略。本发明采取关注分离的思想，将系统模型设计和非确定性因素处理进行分离，通过独立步骤处理非确定性因素对伸缩决策的影响。
-
公开(公告)号：CN111290966A
公开(公告)日：2020-06-16
申请号：CN202010155397.7
申请日：2020-03-09
申请人： 南京大学
IPC分类号： G06F11/36
摘要： 本发明公开了一种提高安卓应用测试覆盖率的测试用例分解组合方法，包含如下步骤：一、给定被测安卓应用，使用自动生成或人工提供的方式为被测应用生成初始测试用例，发送这些初始测试用例到被测应用，记录其执行轨迹，根据执行轨迹建立被测应用的状态自动机；二、将初始测试用例分解为执行应用单个功能的子用例；三、分析子用例间的关系，组合成执行被测应用复杂功能的复合测试用例；四、向被测应用发送生成的复合测试用例，根据其执行轨迹决定是否返回步骤一迭代执行。本发明能够自动生成有效复合测试用例以测试被测安卓应用的复杂功能，提高安卓应用测试覆盖率。
-
公开(公告)号：CN105824758B
公开(公告)日：2018-09-21
申请号：CN201610158676.2
申请日：2016-03-21
申请人： 南京大学
IPC分类号： G06F11/36
摘要： 本发明公开了一种基于执行索引和访问路径的堆区对象比较方法，它包含以下步骤：指定一对匹配的程序执行点，以不同的输入执行同一版本程序(或者以同一输入执行不同版本的程序)，在匹配的程序执行点捕获相应的堆区快照；赋予每一个快照中每一个对象一个ID；通过ID将不同快照中的对象进行匹配并递归比较匹配的对象；根据匹配结果，生成差异性度量表。本发明与现有的技术相比，其显著优点是：本发明通过结合两种不同的基本匹配算法，克服了访问路径匹配算法中不能有效匹配数组元素的问题，能够更高效、准确的进行对象比较分析。
-
公开(公告)号：CN104731654B
公开(公告)日：2018-03-27
申请号：CN201510156071.5
申请日：2015-04-03
申请人： 南京大学
IPC分类号： G06F9/48
CPC分类号： Y02D10/24
摘要： 本发明公开了一种针对安卓应用的迁移重构及支持系统，所述系统包含应用重构模块和运行时支撑模块。应用重构模块通过程序分析算法，获取可以转移的计算任务和传感器功能，并通过程序插桩算法，在字节码层次改写这个安卓应用，使得这个应用具有计算任务和传感器功能转移的能力，同时用户也可以在插桩时选择自己希望转移的计算任务；运行时支撑模块被部署到移动设备以及服务器上，使得实际运行时通过应用重构模块处理的安卓应用能够真正地进行计算任务和传感器功能的转移。本发明支持大部分安卓固件，学习难度小，部署成本较低，计算任务和传感器功能的转移过程简单，转移过程对用户透明。可以实现一定程度的降低能耗，提高性能，延伸传感能力的效果。
-
公开(公告)号：CN104391717B
公开(公告)日：2017-09-12
申请号：CN201410656737.9
申请日：2014-11-18
申请人： 南京大学
IPC分类号： G06F9/445
摘要： 本发明公开了一种调试时代码动态更新方法，在软件开发者调试程序时能够立即更新自己代码的方法，包括以下步骤：步骤一、软件开发者使用调试器调试代码；步骤二、软件开发者在调试时更改代码并保存，触发准备更新过程，激活代码检测模块；编写迁移器模板类，完成迁移器模板类的修改，将更新信息传入虚拟机中；步骤三、调试器请求虚拟机完成代码更新。本发明通过扩展现有的调试器，增加了代码检测模块、编译模块、以及状态迁移器生成模块等部件，在此基础上建立了调试时动态更新代码的系统，并且保证了代码更新过程中的正确性。
-
公开(公告)号：CN106529304A
公开(公告)日：2017-03-22
申请号：CN201610952304.7
申请日：2016-10-27
申请人： 南京大学
IPC分类号： G06F21/57
CPC分类号： G06F21/577 , G06F2221/033
摘要： 本发明公开了一种安卓应用并发漏洞检测系统，包含并发漏洞分析模块、应用插装模块和应用执行模块；所述并发漏洞分析模块用于分析应用中的潜在并发漏洞，并传递给应用插装模块；应用插装模块根据并发漏洞分析模块的检测结果，在疑似数据竞争代码处插入能够改变线程调度的语句，在后台线程入口方法处插入能够阻塞线程运行的控制代码，同时插入获取应用运行时刻状态信息的后台服务；应用执行模块会运行被插装过的应用，并产生成对的疑似事件发送给应用以触发潜在的并发漏洞。本发明检测结果正确高效，全程自动化，不需要用户额外参与。
-
-
-
-
-
-
-
-
-
搜索结果
97 条记录 (耗时 0.028 秒)
