“李宣东”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果127个，建议您升级VIP下载更多相关专利

[发明专利]基于XACML访问控制机制的Android应用访问控制代码生成方法-CN201711392701.4有效
发明人：王林章;王艳;李宣东 -专利权人：南京大学
申请日： 2017-12-21 - 公布日： 2019-09-20 - 主分类号： G06F8/30 文献下载
摘要：本发明公开了基于XACML访问控制机制的Android应用访问控制代码生成方法，给定一个Android应用的功能实现代码，以及描述其行为和资源的访问控制需求的XACML策略、刻画其活动的UML活动图模型，能够为需要访问控制授权的行为和资源生成满足访问控制策略的代码，并插入到Android应用源代码中相应位置，使其成为一个完整的Android应用系统。本发明所述的方法使用XACML语言描述访问控制策略，可以更细粒度地对访问控制策略进行定义，对应用系统的访问控制需求可以进行更具体的描述。本方法通过生成访问控制代码的方式，实现了访问控制逻辑的产生和复用，降低了应用系统的开发人员的工作量和错误率。
基于 xacml 访问控制机制 android 应用代码生成方法

[发明专利]基于GPU的大规模软件高精度静态分析方法-CN201910042530.5在审
发明人：左志强;陆申明;王林章;李宣东 -专利权人：南京大学
申请日： 2019-01-17 - 公布日： 2019-05-21 - 主分类号： G06F11/36 文献下载
摘要：本发明公开一种基于GPU的大规模软件高精度静态分析方法。该方法首先将一系列具体的程序分析，如指针分析、数据流分析、程序切片等，转化为一种特殊的图可达性问题——上下文无关语言(CFL)可达性问题；然后将转化后的程序图和相应的语法规则传到图形处理器(GPU)上进行并行CFL可达性计算，即根据语法规则动态地加边，直至不动点；如果图的大小超过显存的限定值，则每次只能调入部分数据参加计算，其余部分保存到硬盘。通过对GPU和外存的利用，本发明方法具有较高的效率和可扩展性，可用以对大规模软件系统进行复杂代码分析。
可达性静态分析语法规则上下文无关语言数据流分析图形处理器程序分析代码分析可扩展性软件系统指针分析不动点程序图硬盘加边可用切片外存显存转化并行保存

[发明专利]一种基于字节码操作的安卓软件增强测试方法-CN201910044054.0在审
发明人：潘敏学;裴玉;张天;丁顺杰;陆璐;李宣东 -专利权人：南京大学
申请日： 2019-01-17 - 公布日： 2019-05-03 - 主分类号： G06F11/36 文献下载
摘要：本发明基于字节码操作的安卓软件增强测试方法，步骤一、基于安卓开发框架，确定一个安卓开发版本以及一个安卓软件包，扫描并确定其中存在的资源相关的可能抛出异常的方法；步骤二、通过字节码操作技术，将方法与异常的分析和触发代码植入步骤一中的安卓软件包，并生成修改过的软件包以及植入位置的报告；步骤三、针对步骤二中产生的软件包和报告，编写被植入代码控制策略的配置文件；步骤四、确定安卓软件测试框架和测试用例，执行测试，收集测试用例报告以及执行过程中产生的日志，用于下一次测试。本方法基于字节码操作技术，对安卓软件代码中的资源相关方法的异常进行分析和控制，从而对原有测试进行增强。
软件包测试字节码软件增强植入测试用例报告代码控制配置文件软件测试软件代码植入位置触发日志扫描分析开发

[发明专利]一种智能家居物联网系统验证与修复的方法和装置-CN201610343482.X有效
发明人：卜磊;熊文;任昕悦;王熙;马娆;沈思远;王亚楠;李宣东 -专利权人：南京大学
申请日： 2016-05-23 - 公布日： 2019-04-12 - 主分类号： G06F8/34 文献下载
摘要：本发明公开了一种智能家居物联网系统验证与修复的方法和装置。本发明通过智能家居设备描述信息和IFTTT规则构建混成自动机模型，然后通过对混成自动机模型的路径分析，找出可能到达系统不安全的路径，然后将这些可达路径编码成SMT约束进行求解，如果存在可达路径对应的SMT约束可解，则根据可解的SMT约束对IFTTT规则This部分中实数型条件值进行修正。修正的方法是通过将可解的SMT约束中的对应的IFTTT规则This部分中实数型条件值参数化后并将整个SMT约束取反，然后消去量词后进行求解，将可解值替换This部分中实数型条件值。
一种智能家居联网系统验证修复方法装置

[发明专利]一种基于插桩的针对Android系统动态加载情况的隐私保护方法-CN201811478895.4在审
发明人：张天;潘敏学;裴俊宇;李宣东 -专利权人：南京大学
申请日： 2018-12-05 - 公布日： 2019-04-02 - 主分类号： G06F21/54 文献下载
摘要：本发明公开了一种基于插桩的针对Android系统动态加载情况的隐私保护方法。本发明适用于解决对所有Android系统动态加载情况下的隐私泄露问题，其通过插桩检测Android系统中的隐私相关API在动态加载时的行为，如果这些API的行为满足一定的模式则可以判断其为恶意行为。当一个Android应用在系统上运行时，如果出发了系统对隐私行为的保护就阻止这样的行为。
动态加载插桩隐私保护隐私恶意行为隐私泄露运行时检测应用

[发明专利]一种基于扩展的IFML的移动应用的测试用例生成方法-CN201610607871.9有效
发明人：潘敏学;张天;陆一飞;李宣东 -专利权人：南京大学
申请日： 2016-07-28 - 公布日： 2019-03-19 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及基于扩展的IFML模型的移动应用的测试用例生成方法，先建立模型，即针对待测试的移动应用绘制出其对应的IFML模型；建立模型所使用到的IFML，是在原IFML标准基础上，加入了针对移动应用建模的扩展内容，包括针对视图容器增添了扩展子类型工具栏ToolBar和屏幕容器，针对视图组件增添了扩展子类型移动控件，针对事件Event增添了扩展子类型移动端系统事件，移动端事件和移动端行为活动事件，针对行为活动增添了扩展子类型移动端行为活动。按照选定的测试覆盖准则生成符合要求的测试用例。
一种基于扩展 ifml 移动应用测试生成方法

[发明专利]一种基于代码变更的移动应用测试脚本自动维护方法-CN201610323917.4有效
发明人：王林章;李筱;李宣东;陈志 -专利权人：南京大学
申请日： 2016-05-16 - 公布日： 2019-01-04 - 主分类号： G06F11/36 文献下载
摘要：本发明提出的一种基于代码变更的移动应用测试脚本自动维护方法，包括以下步骤：步骤1、代码变更分析：分析新旧版本代码中产生变化的代码，进行过滤后，获取导致界面行为模型产生变更的代码变更；步骤2、模型变更分析：利用代码和模型中元素的对应关系对模型进行行为变更分析，得到行为变更信息以及模型变更信息，将变更应用在模型中，得到新模型；步骤3、脚本变更修复：将脚本语句抽象为事件序列，根据行为变更信息、模型变更信息，修复和更新脚本对应的事件序列，得到能够正常使用的新脚本。对受到影响的脚本中的事件序列进行自动的维护和更新，最终得到可以应用在新版本中的脚本，以减轻测试人员维护脚本的负担。
一种基于代码变更移动应用测试脚本自动维护方法

[发明专利]一种基于黑盒函数与机器学习的代码测试生成方法和装置-CN201810442423.7在审
发明人：卜磊;梁永隽;段玉超;闾乐成;张秋萍;张时雨;王林章;李宣东 -专利权人：南京大学
申请日： 2018-05-10 - 公布日： 2018-11-06 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于黑盒函数与机器学习的代码测试生成方法和装置。本发明通过对被测程序代码静态分析，提取先前测试未覆盖的节点所对应的未覆盖路径，然后将未覆盖路径上的复杂结构的程序代码用黑盒函数打包后，采用基于学习验证的约束求解器和符号执行分析器进行验证求解，得到能够覆盖先前测试未覆盖的节点的测试用例数据，从而使得测试工程师能够利用这些测试用例数据进行回归测试从而测试覆盖先前测试未覆盖的节点。本发明将被测程序中的复杂代码替换成黑盒函数，减少了符号执行过程中对复杂代码片段的分析，将更多系统资源分配在对目标结点覆盖的求解上，从而提高了程序分析效率和目标节点的覆盖率。
覆盖黑盒测试测试用例数据方法和装置被测程序代码测试符号执行机器学习求解验证代码静态分析测试工程师多系统资源约束求解器程序代码程序分析代码片段代码替换复杂结构回归测试目标节点分析器结点打包覆盖率分配分析学习

[发明专利]基于机器学习的自适应网络爬虫方法-CN201510892012.4有效
发明人：汤恩义;赵晨;李宣东;陈鑫;张庆垒;潘敏学;赵祖威 -专利权人：南京大学
申请日： 2015-12-07 - 公布日： 2018-11-06 - 主分类号： G06F17/30 文献下载
摘要：本发明是一种基于机器学习的自适应网络爬虫方法，由于目前的网络爬虫程序的编写需要软件开发人员通过查询繁琐的页面代码并研究规则，没有自适应的程序自动引导爬虫进行工作。同时，在电子商务领域也并没有这种触及。因此要解决的技术问题是通过机器学习技术对大量数据进行挖掘，从而定位到某一未知网页上与该内容相关的信息。使用机器学习与数据挖掘方法来解决这一问题，主要的技术步骤为：获取数据、特征提取、异构数据归一化、训练数据构建、自适应训练、学习方法验证以及自适应模式生成，用于对所爬取网站的页面代码提取位置特征并进行自适应训练，对电子商务领域的自适应网络爬虫的研究起到了一定的作用。
基于机器学习自适应网络爬虫方法

[发明专利]一种分析组合线性混成自动机全局可达的方法和装置-CN201810466424.5在审
发明人：卜磊;任昕悦;邢少鹏;王佳宛;赵建华;李宣东 -专利权人：南京大学
申请日： 2018-05-16 - 公布日： 2018-10-23 - 主分类号： G06F17/50 文献下载
摘要：本发明公开了一种分析组合线性混成自动机全局可达的方法和装置。本发明通过对组合线性混成自动机进行路径编码，编码成相应的SAT约束和SMT约束，经相应的SAT约束求解器和SMT约束求解器求解实现有界模型检验，并在检验过程中利用SMT约束求解器收集不可达路径片段。然后将不可达路径片段编码成相应的LTL约束，通过LTL验证工具验证组合线性混成自动机全局可达性。本发明可验证复杂组合线性混成自动机的全局可达性。
自动机组合线性约束求解器方法和装置路径片段可达性全局验证复杂组合路径编码模型检验验证工具求解分析检验

[发明专利]基于手绘识别的图形界面测试用例生成方法-CN201610408581.1有效
发明人：汤恩义;王伟成;成浩亮;张初成;冯世宁;潘敏学;李宣东;赵祖威;杨开懋 -专利权人：南京大学
申请日： 2016-06-12 - 公布日： 2018-10-16 - 主分类号： G06F11/36 文献下载
摘要：本发明提出了一种基于手绘识别的图形界面测试用例生成方法，该方法针对目前图形界面的测试用例生成存在手工测试成本过高，脚本测试难度过大等问题，通过利用手绘草图识别技术来辅助测试用例的生成过程，使得移动设备软件和个人计算机软件的图形界面交互测试变得更为简便、高效。
基于手绘识别图形界面测试生成方法

[发明专利]缓冲区溢出漏洞自动修复方法-CN201610122116.1有效
发明人：王林章;高凤娟;李宣东 -专利权人：南京大学
申请日： 2016-03-04 - 公布日： 2018-07-27 - 主分类号： G06F21/57 文献下载
摘要：本发明是一种缓冲区溢出漏洞自动修复方法，基于缓冲区溢出模型，自动修复程序中已知的缓冲区溢出漏洞。首先读取并解析已经通过确认过的缓冲区溢出信息文件，该文件包含缓冲区溢出漏洞的源文件名、溢出漏洞代码所在的行号、溢出漏洞代码所使用的API，根据缓冲区溢出漏洞的位置信息得到缓冲区溢出漏洞修复的位置，根据缓冲区溢出漏洞代码所使用的API，以及缓冲区溢出模型得到相应的缓冲区溢出漏洞修复策略；定位到缓冲区溢出漏洞代码的位置，提取函数调用的参数信息；根据提取出的函数调用的参数信息和使用的API，构造出修复代码插桩到源代码中完成修复。
缓冲区溢出漏洞自动修复方法

[发明专利]一种针对异常处理代码的测试方法-CN201610122013.5有效
发明人：王林章;王铮然;李宣东 -专利权人：南京大学
申请日： 2016-03-03 - 公布日： 2018-06-29 - 主分类号： G06F11/36 文献下载
摘要：本发明公布了一种针对java异常处理代码的测试方法，该方法主要是通过评估不同插桩策略来解决使用插桩技术生成针对异常处理代码的测试可信度不高的问题，实现了针对异常处理代码的测试工具。包括以下步骤：步骤1：评价不同插桩策略对测试可信度的影响；步骤2：自动根据待测异常处理代码选择插桩策略；步骤3：开发测试工具来实现对异常处理代码的测试。本发明通过以上步骤可以实现一个针对java异常处理代码的测试方法，能产生测试用例对常规方法难以测试的异常处理结构进行测试。
异常处理测试插桩测试工具可信度代码选择评估开发

[发明专利]一种静动态结合的恶意安卓应用自动检测系统-CN201711114266.9在审
发明人：王林章;黄浩华;李宣东 -专利权人：南京大学
申请日： 2017-11-13 - 公布日： 2018-03-13 - 主分类号： G06F21/56 文献下载
摘要：本发明公开了一种静动态结合的恶意安卓应用自动检测系统，它包含一个恶意行为模型配置模块，一个静态恶意特征检测模块和一个动态恶意行为确认模块。恶意行为模型配置模块供用户指定待检测的恶意行为类型；静态恶意特征检测模块针对特定恶意类型，静态分析安卓应用的反编译文件，检测其中是否存在对应敏感API的调用，以此确定待测安卓应用是否为疑似恶意应用；动态恶意行为确认模块基于底层测试工具自动执行疑似恶意应用，并且利用监测工具收集行为信息确认应用运行过程中是否存在恶意行为。所述自动检测系统灵活性大，根据用户配置可以检测不同类型恶意应用，此外所述自动检测系统采取静动态结合的方式在提高准确率的同时提高了检测效率。
一种动态结合恶意应用自动检测系统

[发明专利]一种基于模型变更的自动维护测试脚本的方法-CN201711114228.3在审
发明人：王林章;常娜娜;李宣东 -专利权人：南京大学
申请日： 2017-11-13 - 公布日： 2018-03-06 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于模型变更的自动维护测试脚本的方法，其特征在于，包括步骤1、建模，使用建模工具抽取出移动应用的状态转移关系，根据状态转移关系创建事件序列模型EMS(Event Sequence Model，ESM)来描述应用的行为，事件序列模型ESM描述了应用的状态信息以及每一个界面上的控件信息；其中状态是界面，其每一个界面的名称是唯一确定的，如果界面的名称改变了，则原来的界面被删除了，新增了一个新的界面，且原界面中的控件转移到了这个新增的界面中；步骤2、如果当前为应用的初始版本，自动生成测试脚本步骤3、对于非初始版本的应用，直接通过维护上一版本的测试脚本获得。
一种基于模型变更自动维护测试脚本方法

首页
«上一页
1
2
3
4
5
6
7
8
9
下一页»
尾页
共 127 条