-
公开(公告)号：CN107729011B
公开(公告)日：2019-09-20
申请号：CN201711015000.9
申请日：2017-10-25
Applicant: 南京大学
Abstract: 本发明公开了一种基于模型转换的从iOS到Android的跨平台页面转化方法，分为两个部分:①对应模型生成；②模型匹配转化。本发明使用了模型学习的方法,通过学习已有的具有Android和iOS两个版本的应用,构建了一个存放着模型对应关系的数据集合。对于一个需要转化的具有Storyboard的iOS工程，将其进行模型抽取并通过匹配算法转化所得模型。此外，本发明的思路会对其他的工程设计有着借鉴意义。
-
公开(公告)号：CN106227667B
公开(公告)日：2019-03-19
申请号：CN201610607871.9
申请日：2016-07-28
Applicant: 南京大学
IPC: G06F11/36
Abstract: 本发明涉及基于扩展的IFML模型的移动应用的测试用例生成方法，先建立模型，即针对待测试的移动应用绘制出其对应的IFML模型；建立模型所使用到的IFML，是在原IFML标准基础上，加入了针对移动应用建模的扩展内容，包括针对视图容器增添了扩展子类型工具栏ToolBar和屏幕容器，针对视图组件增添了扩展子类型移动控件，针对事件Event增添了扩展子类型移动端系统事件，移动端事件和移动端行为活动事件，针对行为活动增添了扩展子类型移动端行为活动。按照选定的测试覆盖准则生成符合要求的测试用例。
-
公开(公告)号：CN106681786A
公开(公告)日：2017-05-17
申请号：CN201710005782.1
申请日：2017-01-05
Applicant: 南京大学
IPC: G06F9/45
Abstract: 本发明的自动合成常用循环的摘要并生成程序规约的方法，包括步骤：1.生成待验证程序的抽象语法树；2.分析步骤1生成的抽象语法树来生成程序语句的摘要；3.对步骤2中生成的摘要进行分析生成程序语句的规约；4.对步骤3中生成的规约进行验证，从而辅助证明待验证程序的性质。本发明通过将操作常用数据结构的循环语句转换为一系列抽象的赋值语句，有效地对这类循环语句进行了抽象，使得可以使用赋值语句的分析方法来分析循环语句。本发明根据语句的摘要所生成的程序规约有效地描述了程序的性质，尤其是程序执行前后程序状态之间的关系，这些规约高效地辅助了程序的验证过程，提高程序验证的自动化程度和效率，减轻验证人员的负担。
-
公开(公告)号：CN106445539A
公开(公告)日：2017-02-22
申请号：CN201610874410.8
申请日：2016-09-30
Applicant: 南京大学
IPC: G06F9/44
Abstract: 一种基于IFML的Android开发建模方法，包括如下步骤：1)当IFML针对移动平台进行扩展，基于移动平台的扩展需要首先针对Android平台进行扩展，确定并抽象出Android平台应用的整体运行流程；2)使用交互流建模语言IFML针对移动平台的扩展，对步骤1)中Android平台应用中整体运行流程进行初步交互流建模；3)IFML针对移动平台扩展，对Android平台应用进行进一步扩展，使用针对Android平台应用扩展的IFML，进行面向实现的交互流建模；针对Android平台进行IFML的扩展，扩展后对Android应用运行流程进行描述刻画，得到的模型信息能够帮助Android开发人员进行应用的开发。
-
公开(公告)号：CN104090798B
公开(公告)日：2017-02-15
申请号：CN201410324303.9
申请日：2014-07-08
Applicant: 南京大学
IPC: G06F9/445
Abstract: 本发明设计一种动静态结合的中断驱动程序数据竞争检测方法，该方法通过共享资源的检测技术、控制流图生成技术、数据流分析技术、模拟器运行控制技术，利用静态方法来对源程序进行静态分析得到潜在的数据竞争序列，通过对静态分析的结果进行动态执行，验证潜在竞争的真实性，并根据潜在竞争的严重性进行排序，得到测试结果报告。通过本发明实现的工具对中断驱动程序的测试，可以有效地检测出真实的中断相关的竞争关系，并根据严重性提供一系列的潜在竞争关系作为指导，能够极大地促进测试人员的工作效率，突破解决了中断驱动的数据竞争检测问题，保障嵌入式系统的安全和稳定，可以为航天、医疗等高稳定性嵌入式程序需求的关键性安全领域提供可靠性保证。
-
Patent Agency Ranking
-
公开(公告)号：CN106055318A
公开(公告)日：2016-10-26
申请号：CN201610343482.X
申请日：2016-05-23
Applicant: 南京大学
Abstract: 本发明公开了一种智能家居物联网系统验证与修复的方法和装置。本发明通过智能家居设备描述信息和IFTTT规则构建混成自动机模型，然后通过对混成自动机模型的路径分析，找出可能到达系统不安全的路径，然后将这些可达路径编码成SMT约束进行求解，如果存在可达路径对应的SMT约束可解，则根据可解的SMT约束对IFTTT规则This部分中实数型条件值进行修正。修正的方法是通过将可解的SMT约束中的对应的IFTTT规则This部分中实数型条件值参数化后并将整个SMT约束取反，然后消去量词后进行求解，将可解值替换This部分中实数型条件值。
-
公开(公告)号：CN106021103A
公开(公告)日：2016-10-12
申请号：CN201610323917.4
申请日：2016-05-16
Applicant: 南京大学
IPC: G06F11/36
CPC classification number: G06F11/3608 , G06F11/3644
Abstract: 本发明提出的一种基于代码变更的移动应用测试脚本自动维护方法，包括以下步骤：步骤1、代码变更分析：分析新旧版本代码中产生变化的代码，进行过滤后，获取导致界面行为模型产生变更的代码变更；步骤2、模型变更分析：利用代码和模型中元素的对应关系对模型进行行为变更分析，得到行为变更信息以及模型变更信息，将变更应用在模型中，得到新模型；步骤3、脚本变更修复：将脚本语句抽象为事件序列，根据行为变更信息、模型变更信息，修复和更新脚本对应的事件序列，得到能够正常使用的新脚本。对受到影响的脚本中的事件序列进行自动的维护和更新，最终得到可以应用在新版本中的脚本，以减轻测试人员维护脚本的负担。
-
公开(公告)号：CN105809039A
公开(公告)日：2016-07-27
申请号：CN201610122116.1
申请日：2016-03-04
Applicant: 南京大学
CPC classification number: G06F21/577 , G06F21/52
Abstract: 本发明是一种缓冲区溢出漏洞自动修复方法，基于缓冲区溢出模型，自动修复程序中已知的缓冲区溢出漏洞。首先读取并解析已经通过确认过的缓冲区溢出信息文件，该文件包含缓冲区溢出漏洞的源文件名、溢出漏洞代码所在的行号、溢出漏洞代码所使用的API，根据缓冲区溢出漏洞的位置信息得到缓冲区溢出漏洞修复的位置，根据缓冲区溢出漏洞代码所使用的API，以及缓冲区溢出模型得到相应的缓冲区溢出漏洞修复策略；定位到缓冲区溢出漏洞代码的位置，提取函数调用的参数信息；根据提取出的函数调用的参数信息和使用的API，构造出修复代码插桩到源代码中完成修复。
-
公开(公告)号：CN103313382B
公开(公告)日：2016-05-04
申请号：CN201310167847.4
申请日：2013-05-08
Applicant: 南京大学
Abstract: 本发明给出一种移动无线传感器网络分布式目标跟踪方法，该方法解决传统无线传感器网络目标跟踪中的跟踪精确度低的问题，使用分布式算法预测目标在下一个跟踪周期中的位置，考虑移动无线传感器网络中静态节点与动态节点的协作配合，各个移动节点根据此信息向目标位置移动并获取更精确的目标信息。本发明能够有效提高移动传感器网络目标跟踪精确度，保障网络的动态连通性，提高目标跟踪效率，缩短目标跟踪周期，加快目标跟踪执行过程。
-
-
-
-
-
-
-
-
-
Search Results
164
records
(took 0.025 seconds)
