-
公开(公告)号：CN104750499B
公开(公告)日：2018-06-26
申请号：CN201510196988.8
申请日：2015-04-21
Applicant: 南京大学
IPC: G06F8/20
Abstract: 本发明为一种基于约束求解和描述逻辑的Web服务组合方法：首先基于领域知识库的目标任务分解，设计各细粒度任务的优化目标，并提取任务接口的约束条件，然后通过约束求解得到细粒度任务的组合，再运用描述逻辑检测组合的有效性、合理性，避免流程冲突，得到合适的组合Web服务。本发明能有效性地组合Web服务，准确率显著提升；并且能够检测服务组合的逻辑正确性，使服务组合更加合理有效。
-
公开(公告)号：CN107844414A
公开(公告)日：2018-03-27
申请号：CN201610854844.1
申请日：2016-09-21
Applicant: 南京大学
IPC: G06F11/36
CPC classification number: G06F11/3692 , G06F11/3696
Abstract: 本发明为一种基于缺陷报告分析的跨项目、并行化缺陷定位方法：首先收集相关的项目及其源代码和缺陷报告，对源代码和缺陷报告分别进行分词、去除停用词、提取词干等文本处理工作；然后采用空间向量模型方法和主题模型方法计算缺陷报告和项目中源代码文件的字词相似度和语义相似度，以改善定位精度；并采用并行化方法来加快计算速度、提升效率；最后采用时间和加速比评估采用并行化方法对缺陷定位和传统串行化方法所提高的时间性能，Top-k准确率(Accuracy@k)和序位倒数均值(MRR)评估采用空间向量模型和主题模型对缺陷定位效果的精度。
-
公开(公告)号：CN104536878B
公开(公告)日：2017-09-12
申请号：CN201410709983.6
申请日：2014-11-28
Applicant: 南京大学 , 江苏苏测软件检测技术有限公司
IPC: G06F11/36
Abstract: 一种验证并发程序中违反原子性错误是否被正确修复的方法，利用原始程序执行错误时的执行日志，结合原子性错误的各种模式构造新的、适合于修复后程序的执行日志，并通过观察修复后的程序是否能够按照新的日志正确执行来判断原子性错误是否被修复。用户在并发程序出错后，使用同步化方法修复原子性错误，本发明方法能够帮助用户在重复执行修复程序若干次后自动判断bug是否被正确修复。本发明方法不要求用户知道Bug的准确位置，符合用户检验错误是否被修复的习惯性方法。
-
公开(公告)号：CN105335655A
公开(公告)日：2016-02-17
申请号：CN201510606818.2
申请日：2015-09-22
Applicant: 南京大学
IPC: G06F21/56
CPC classification number: G06F21/566 , G06F2221/033
Abstract: 本发明提供了一种基于安卓应用源代码敏感行为识别的安卓应用安全性分析方法，包括下列步骤：1)源代码的获取与分析；2)敏感行为的获取；3)UI文本的提取；4)敏感行为数据的处理；5)特征值的选取；6)训练数据集的构成；7)安全性的分析。本发明将UI文本和敏感API之间的联系作为机器学习的特征，有效提高了检测安卓平台恶意应用的准确率。
-
公开(公告)号：CN104536877A
公开(公告)日：2015-04-22
申请号：CN201410709716.9
申请日：2014-11-28
Applicant: 江苏苏测软件检测技术有限公司 , 南京大学
IPC: G06F11/36
Abstract: 一种基于混合策略的测试数据生成方法，综合利用多种技术的特点融合为测试数据的生成方法。虽然近来各种各样的测试数据生成机制层出不穷，每种技术还是有自己的局限性，例如囿于本身特点每种技术只对有限的几种数据结构适用性与精确性较强。以上的特点导致了单一测试数据生成技术不能广泛而精确地得到试用。我们的方法结合了随机策略，动态符号执行和搜索策略建立数据生成流程，构成了一个可以利用多种技术的优点而进行的高可靠性高拓展性的测试数据生成方法。
-
Patent Agency Ranking
公开(公告)号：CN102521131A
公开(公告)日：2012-06-27
申请号：CN201110413590.7
申请日：2011-12-13
Applicant: 南京大学
IPC: G06F11/36
Abstract: 一种基于动态基本块的测试用例约简方法，首先根据执行路径构建语句覆盖矩阵，然后将语句覆盖矩阵转换为动态基本块覆盖矩阵，通过最大划分策略MDS和均匀划分策略EDS两种简约策略约简需要人工检查结果的测试用例集来节约人力，再将约简后的测试用例集用于缺陷定位。本发明可以从初始的测试用例集中选择出一个规模小得多的测试用例子集，极大地降低了开发人员对测试用例输出结果进行判断的负担，并且使用此测试用例集进行缺陷定位的效果与使用约简前的测试用例集相比几乎不下降。
-
公开(公告)号：CN102521130A
公开(公告)日：2012-06-27
申请号：CN201110413498.0
申请日：2011-12-13
Applicant: 南京大学
IPC: G06F11/36
Abstract: 一种基于聚类不变式分析的错误定位方法，基于程序执行的不变式分析技术，收集程序执行过程中的语句频谱信息进行聚类，对各个类簇分别计算与变量相关的不变式；之后进行新的程序执行，根据新的执行所具有的程序频谱将其划分至某个聚类中，比较新的执行与所在聚类中已有的不变式，如果新的执行违反了已有的不变式，则认为该次执行为一次错误执行；最后根据上述信息进行错误定位。本发明根据已有执行的程序频谱进行聚类，将程序执行空间划分为多个部分，再将新的执行与所属聚类的不变式进行对比分析，节省了验证程序执行正确与否的人力，同时得到了更细粒度的与不同程序执行空间相对应的不变式，有利于程序员进行错误定位。
-
公开(公告)号：CN101482596B
公开(公告)日：2011-06-22
申请号：CN200910028630.9
申请日：2009-01-06
Applicant: 南京大学
Abstract: 本发明公开了一种多因素工业系统的故障快速识别方法，该方法首先确定待测试的多因素工业系统的测试用例集Ts，然后用Ts中的测试用例对系统进行测试，运行时发生故障的测试用例组成集合Ts1，其特征在于通过对比Ts1中测试用例，从Ts1中找出所涉及的共同因素，并以此共同因素作为可能导致系统故障原因的重要组成因素，通过逐个替换Ts1中每个发现故障的测试用例所涉及到的每个因素并由此生成一组附加测试用例Cts，然后用这些测试用例重新对系统进行测试，运行时未发生故障的测试用例对应的所有被替换的因素，是有可能导致错误发生的因素。此方法具有科学性、高效性和准确性等特点，还具有针对性、经济性、灵活和可扩展等特性。
-
公开(公告)号：CN110502667A
公开(公告)日：2019-11-26
申请号：CN201810485857.5
申请日：2018-05-16
Applicant: 南京大学
Abstract: 本发明提出了一种基于DOM框架的ODX文档的解析和生成技术，主要分为三个模块：XML Schema解析模块，ODX文档解析模块和ODX文档生成模块。XML Schema解析模块将ODX文档的XML Schema规则分成了基本数据类型规则、复杂数据类型规则、结构类型规则、约束类型规则和扩展类型规则，并根据各种类规则设计了符合ODX文档格式的Java类映射规则，使得ODX文档中的每一个类都可以标准化生成对应的Java类映射；ODX文档解析模块首先利用反射机制，循环提取待解析类继承的所有类成员信息，接下来通过DOM框架，获取根节点的所有属性和元素信息放入待解析队列中。最后把待解析队列中的属性或元素的值映射到目标类对应的成员变量中：对于基本数据类型进行直接赋值，对于成员对象进行递归赋值，对于数组变量循环每个数组成员并根据各数组成员的实际类型选择直接赋值或进行递归操作；ODX文档生成模块与解析模块类似，首先循环提取待解析类继承的所有类成员信息，作为待生成队列。接下来对待生成队列的每个成员通过其是否经过解析或修改，判断该成员变量是否应该输出，最后根据不同的数据类型递归的完成ODX文档生成操作：对于基本数据类型进行直接生成，对于成员对象进行递归生成，对于数组变量循环每个数组成员并根据各数组成员的实际类型选择直接生成或进行递归操作。
-
公开(公告)号：CN110489636A
公开(公告)日：2019-11-22
申请号：CN201810485860.7
申请日：2018-05-15
Applicant: 南京大学
IPC: G06F16/9535 , G06Q30/02
Abstract: 本发明为一种基于代码分析与图像处理的网页广告屏蔽方法：前端脚本监听DOMContentLoaded事件获得触发该事件的DOM树；然后递归地遍历该DOM树识别可能包含的广告标识；接着制定相应规则避免网页正常图像发送到后端判断，对于可能包含广告标识的图像利用AJAX技术发送到后端进行判断；后端监听前端请求，利用图像文本识别模型对请求的图像进行判断，并将结果返回给前端脚本；最后根据广告标识识别广告区域，并对广告区域进行屏蔽。
-
-
-
-
-
-
-
-
-
Search Results
53
records
(took 0.025 seconds)
