-
公开(公告)号：CN110209593B
公开(公告)日：2021-05-28
申请号：CN201910515637.7
申请日：2019-06-14
Applicant: 南京大学
IPC: G06F11/36
Abstract: 本发明提出了一种面向偏好设置的安卓应用测试方法。首先对待测应用的可执行文件进行静态程序分析，以得到应用中定义的所有偏好设置与其属性。随后在已有测试用例上，通过动态程序分析的方式获得各测试用例中相关联的偏好设置。对于每条测试用例，可测试所有相关偏好设置与其可能输入的组合，来实现面向偏好设置的测试。最后为了降低这一测试的成本，本发明提供了一种目标导向的执行模式，它将测试用例的代码分割为基本块，将基本块与其相关的偏好设置的输入组合作为测试目标。依照贪心算法，本发明选取覆盖最多的测试目标的测试用例与偏好设置的组合进行测试，从而减少各测试用例下重复的偏好设置输入组合的测试，大大降低测试成本。
-
公开(公告)号：CN108804135B
公开(公告)日：2020-02-07
申请号：CN201810426842.1
申请日：2018-05-07
Applicant: 南京大学
Abstract: 本发明公开了一种基于目标规约满足度评估的符合规约并发程序合成方法和装置。该方法或装置通过将用户提供的线性时序逻辑规约转换成限界线性时序逻辑规约，然后使用统计模型检验工具评估候选者满足规约的概率，计算每个候选者的适应度，然后再根据该适应度采用遗传算法得到新的候选程序，避免了模型检验工具直接逐个检验候选程序，从而提高程序合成的生成效率。
-
公开(公告)号：CN108021362B
公开(公告)日：2019-09-20
申请号：CN201711392701.4
申请日：2017-12-21
Applicant: 南京大学
Abstract: 本发明公开了基于XACML访问控制机制的Android应用访问控制代码生成方法，给定一个Android应用的功能实现代码，以及描述其行为和资源的访问控制需求的XACML策略、刻画其活动的UML活动图模型，能够为需要访问控制授权的行为和资源生成满足访问控制策略的代码，并插入到Android应用源代码中相应位置，使其成为一个完整的Android应用系统。本发明所述的方法使用XACML语言描述访问控制策略，可以更细粒度地对访问控制策略进行定义，对应用系统的访问控制需求可以进行更具体的描述。本方法通过生成访问控制代码的方式，实现了访问控制逻辑的产生和复用，降低了应用系统的开发人员的工作量和错误率。
-
公开(公告)号：CN110209593A
公开(公告)日：2019-09-06
申请号：CN201910515637.7
申请日：2019-06-14
Applicant: 南京大学
IPC: G06F11/36
Abstract: 本发明提出了一种面向偏好设置的安卓应用测试方法。首先对待测应用的可执行文件进行静态程序分析，以得到应用中定义的所有偏好设置与其属性。随后在已有测试用例上，通过动态程序分析的方式获得各测试用例中相关联的偏好设置。对于每条测试用例，可测试所有相关偏好设置与其可能输入的组合，来实现面向偏好设置的测试。最后为了降低这一测试的成本，本发明提供了一种目标导向的执行模式，它将测试用例的代码分割为基本块，将基本块与与其相关的偏好设置的输入组合作为测试目标。依照贪心算法，本发明选取覆盖最多的测试目标的测试用例与偏好设置的组合进行测试，从而减少各测试用例下重复的偏好设置输入组合的测试，大大降低测试成本。
-
公开(公告)号：CN109783386A
公开(公告)日：2019-05-21
申请号：CN201910042530.5
申请日：2019-01-17
Applicant: 南京大学
Abstract: 本发明公开一种基于GPU的大规模软件高精度静态分析方法。该方法首先将一系列具体的程序分析，如指针分析、数据流分析、程序切片等，转化为一种特殊的图可达性问题——上下文无关语言(CFL)可达性问题；然后将转化后的程序图和相应的语法规则传到图形处理器(GPU)上进行并行CFL可达性计算，即根据语法规则动态地加边，直至不动点；如果图的大小超过显存的限定值，则每次只能调入部分数据参加计算，其余部分保存到硬盘。通过对GPU和外存的利用，本发明方法具有较高的效率和可扩展性，可用以对大规模软件系统进行复杂代码分析。
-
Patent Agency Ranking
公开(公告)号：CN108694285A
公开(公告)日：2018-10-23
申请号：CN201810466424.5
申请日：2018-05-16
Applicant: 南京大学
IPC: G06F17/50
CPC classification number: G06F17/5009
Abstract: 本发明公开了一种分析组合线性混成自动机全局可达的方法和装置。本发明通过对组合线性混成自动机进行路径编码，编码成相应的SAT约束和SMT约束，经相应的SAT约束求解器和SMT约束求解器求解实现有界模型检验，并在检验过程中利用SMT约束求解器收集不可达路径片段。然后将不可达路径片段编码成相应的LTL约束，通过LTL验证工具验证组合线性混成自动机全局可达性。本发明可验证复杂组合线性混成自动机的全局可达性。
-
公开(公告)号：CN105701016B
公开(公告)日：2018-06-29
申请号：CN201610122013.5
申请日：2016-03-03
Applicant: 南京大学
IPC: G06F11/36
Abstract: 本发明公布了一种针对java异常处理代码的测试方法，该方法主要是通过评估不同插桩策略来解决使用插桩技术生成针对异常处理代码的测试可信度不高的问题，实现了针对异常处理代码的测试工具。包括以下步骤：步骤1：评价不同插桩策略对测试可信度的影响；步骤2：自动根据待测异常处理代码选择插桩策略；步骤3：开发测试工具来实现对异常处理代码的测试。本发明通过以上步骤可以实现一个针对java异常处理代码的测试方法，能产生测试用例对常规方法难以测试的异常处理结构进行测试。
-
公开(公告)号：CN107798242A
公开(公告)日：2018-03-13
申请号：CN201711114266.9
申请日：2017-11-13
Applicant: 南京大学
IPC: G06F21/56
CPC classification number: G06F21/563 , G06F21/566
Abstract: 本发明公开了一种静动态结合的恶意安卓应用自动检测系统，它包含一个恶意行为模型配置模块，一个静态恶意特征检测模块和一个动态恶意行为确认模块。恶意行为模型配置模块供用户指定待检测的恶意行为类型；静态恶意特征检测模块针对特定恶意类型，静态分析安卓应用的反编译文件，检测其中是否存在对应敏感API的调用，以此确定待测安卓应用是否为疑似恶意应用；动态恶意行为确认模块基于底层测试工具自动执行疑似恶意应用，并且利用监测工具收集行为信息确认应用运行过程中是否存在恶意行为。所述自动检测系统灵活性大，根据用户配置可以检测不同类型恶意应用，此外所述自动检测系统采取静动态结合的方式在提高准确率的同时提高了检测效率。
-
公开(公告)号：CN106095679A
公开(公告)日：2016-11-09
申请号：CN201610408581.1
申请日：2016-06-12
Applicant: 南京大学
IPC: G06F11/36
CPC classification number: G06F11/3684 , G06F11/3692
Abstract: 本发明提出了一种基于手绘识别的图形界面测试用例生成方法，该方法针对目前图形界面的测试用例生成存在手工测试成本过高，脚本测试难度过大等问题，通过利用手绘草图识别技术来辅助测试用例的生成过程，使得移动设备软件和个人计算机软件的图形界面交互测试变得更为简便、高效。
-
公开(公告)号：CN105512285A
公开(公告)日：2016-04-20
申请号：CN201510892012.4
申请日：2015-12-07
Applicant: 南京大学
IPC: G06F17/30
CPC classification number: G06F17/30864
Abstract: 本发明是一种基于机器学习的自适应网络爬虫方法，由于目前的网络爬虫程序的编写需要软件开发人员通过查询繁琐的页面代码并研究规则，没有自适应的程序自动引导爬虫进行工作。同时，在电子商务领域也并没有这种触及。因此要解决的技术问题是通过机器学习技术对大量数据进行挖掘，从而定位到某一未知网页上与该内容相关的信息。使用机器学习与数据挖掘方法来解决这一问题，主要的技术步骤为：获取数据、特征提取、异构数据归一化、训练数据构建、自适应训练、学习方法验证以及自适应模式生成，用于对所爬取网站的页面代码提取位置特征并进行自适应训练，对电子商务领域的自适应网络爬虫的研究起到了一定的作用。
-
-
-
-
-
-
-
-
-
Search Results
164
records
(took 0.078 seconds)
