-
公开(公告)号：CN110209593A
公开(公告)日：2019-09-06
申请号：CN201910515637.7
申请日：2019-06-14
Applicant: 南京大学
IPC: G06F11/36
Abstract: 本发明提出了一种面向偏好设置的安卓应用测试方法。首先对待测应用的可执行文件进行静态程序分析，以得到应用中定义的所有偏好设置与其属性。随后在已有测试用例上，通过动态程序分析的方式获得各测试用例中相关联的偏好设置。对于每条测试用例，可测试所有相关偏好设置与其可能输入的组合，来实现面向偏好设置的测试。最后为了降低这一测试的成本，本发明提供了一种目标导向的执行模式，它将测试用例的代码分割为基本块，将基本块与与其相关的偏好设置的输入组合作为测试目标。依照贪心算法，本发明选取覆盖最多的测试目标的测试用例与偏好设置的组合进行测试，从而减少各测试用例下重复的偏好设置输入组合的测试，大大降低测试成本。
-
公开(公告)号：CN106951305A
公开(公告)日：2017-07-14
申请号：CN201710180952.X
申请日：2017-03-24
Applicant: 南京大学
IPC: G06F9/45
Abstract: 本发明基于模型转换由QVT‑R代码生成midCore脚本的方法，步骤1对QVT‑R语言进行设计和裁剪；步骤2获取符合步骤1规则面向数据转换的QVT‑R代码；步骤3通过Xtext为QVT‑R语言建模，构建编辑器、解析器及语法分析树；步骤4利用Xtend根据步骤3匹配得到的语法分析树，解析QVT‑R代码语义，并生成对应的midCore语句；步骤5将步骤2获得的QVT‑R代码作为输入，转换引擎生成midCore脚本。本发明将描述数据转换的QVT‑R代码自动转换成midCore脚本，降低了使用midCore程序成本，减少了编写midCore代码缺陷，更直观描述数据变换逻辑，降低大数据处理难度和成本。
-
公开(公告)号：CN105955882A
公开(公告)日：2016-09-21
申请号：CN201610268442.3
申请日：2016-04-27
Applicant: 南京大学
IPC: G06F11/36
CPC classification number: G06F11/3684 , G06F11/3688
Abstract: 本发明公开了一种迭代学习模型行为相似性的测试用例生成方法和装置。本发明首先根据系统状态模型构建系统状态机图，然后根据系统状态机图、已有的测试用例集、已有的测试用例集相应的测试结果生成新的测试用例集；再然后执行生成的测试用例，并记录测试结果；再将测试结果更新到系统状态机图中，并更新已有测试用例集，最后重复上述过程直到满足停止条件。本发明通过基于历史信息的启发式规则提高每次迭代时生成的测试用例的质量，以减少在测试用例空间中探索的次数，从而提高测试过程的效率。
-
公开(公告)号：CN103065000B
公开(公告)日：2016-02-10
申请号：CN201210531992.1
申请日：2012-12-11
Applicant: 南京大学
IPC: G06F17/50
Abstract: 基于模型驱动工程进行SysML状态机图分析验证的方法，包括步骤：步骤10：根据编辑器设计一个SysML状态机图；步骤11：设计状态机图的时钟；步骤12：新建一个ATL工程；步骤13：将用户设计的状态机图及我们提供的两个元模型和一个转换文件导入到工程中；步骤14：运行转换文件得到结果文件；步骤15：将结果文件用Uppaal打开，模拟分析及验证用户设计的SysML状态机图。本发明为可以验证半形式化的SysML状态机图，自动化程度高，基于模型驱动工程理念而非传统方法，有效利用现有验证工具等。
-
公开(公告)号：CN104391964A
公开(公告)日：2015-03-04
申请号：CN201410720349.2
申请日：2014-12-01
Applicant: 南京大学
IPC: G06F17/30
CPC classification number: G06F16/33
Abstract: 本发明公开了一种将源代码存入图数据库的方法。该方法将源代码中的声明、语句和表达式根据语法树上的节点生成相应的节点，并根据语法树上的节点关系生成节点之间的关系，然后将节点和节点之间的关系存入图数据库中。相比于传统文本格式存储的方法，本发明的方法提取了丰富的代码结构信息存入了数据库，利于后续使用。相比于利用关系数据库存储代码，本发明的方法省去了表与表之间复杂的依赖关系，因此更加直观易懂，便于需求者的理解和操作。
-
Patent Agency Ranking
公开(公告)号：CN103065000A
公开(公告)日：2013-04-24
申请号：CN201210531992.1
申请日：2012-12-11
Applicant: 南京大学
IPC: G06F17/50
Abstract: 基于模型驱动工程进行SysML状态机图分析验证的方法，包括步骤：步骤10：根据编辑器设计一个SysML状态机图；步骤11：设计状态机图的时钟；步骤12：新建一个ATL工程；步骤13：将用户设计的状态机图及我们提供的两个元模型和一个转换文件导入到工程中；步骤14：运行转换文件得到结果文件；步骤15：将结果文件用Uppaal打开，模拟分析及验证用户设计的SysML状态机图。本发明为可以验证半形式化的SysML状态机图，自动化程度高，基于模型驱动工程理念而非传统方法，有效利用现有验证工具等。
-
公开(公告)号：CN103049503A
公开(公告)日：2013-04-17
申请号：CN201210532011.5
申请日：2012-12-11
Applicant: 南京大学
Abstract: 一种基于结构匹配的UML模型查询方法，包括步骤：步骤10：获取模型库模型文件；步骤11：利用模型查询语言编辑目标查询模式；步骤12：解析目标模型模式；步骤13：利用结构匹配算法将步骤12解析好的目标模型模式与模型库中模型进行结构匹配；步骤14：显示匹配结果；该方法主要特点为查询语言简单，不仅能支持简单的关键字的模型查询更能支持纯粹的结构查询，更加具有一般性。
-
公开(公告)号：CN120067676A
公开(公告)日：2025-05-30
申请号：CN202510091023.6
申请日：2025-01-21
Applicant: 南京大学
IPC: G06F18/214 , G06F18/21 , G06F18/2431 , G06F11/3668
Abstract: 本发明公开一种针对缺陷类别和修复粒度的缺陷修复数据集构造方法，包括：步骤1）输入标识待处理项目的配置文件；步骤2）针对Defects4j、SVN和Git管理项目的异构性，对待处理项目完成修复的有效性分析和多维修复语义的信息提取；步骤3）基于词元匹配和大语言模型从多维修复语义中判断修复类别；步骤4）基于静态分析方法和大语言模型从多维语义中判断修复粒度和修复粒度切割；步骤5）基于聚类来鉴别同种修复中相似修复结构；步骤6）将分类信息、运行配置信息、修复结构信息和人工鉴别信息持久化。本方法可以从Defects4j、Git和SVN中高效的构建针对多种类别的可以被自动修复程序学习的修复数据集，提升数据驱动的自动修复工具的开发验证效率。
-
公开(公告)号：CN114610630B
公开(公告)日：2025-05-09
申请号：CN202210273886.1
申请日：2022-03-19
Applicant: 南京大学
IPC: G06F11/3668 , G06F40/194
Abstract: 本发明公开了一种界面跳转图打标签的方法和装置。该方法根据已有界面功能场景路径的标签，通过路径相似匹配，为将自动化测试工具对UI应用界面测试所产生的各界面跳转图中相应的界面场景路径自动化地打上标签，从而使得工程师能够便于理解自动化测试工具所测试功能场景，为后续的测试分析、程序缺陷定位提供帮助。路径相似匹配时，本发明通过控件布局信息和跳转信息的相似度计算逐个匹配相似的路径。
-
公开(公告)号：CN119225761A
公开(公告)日：2024-12-31
申请号：CN202411285983.8
申请日：2024-09-13
Applicant: 国网江苏省电力有限公司信息通信分公司 , 南京大学
Abstract: 本发明公开了一种基于自主可控操作系统的电力物联边缘计算架构的方法、系统、设备及介质。获取系统更新文档及原始适配程序；从所述原始适配程序提取接口调用信息；基于所述接口变更信息及所述接口调用信息对所述原始适配程序添加变更标记；基于所述变更标记对所述原始适配程序进行更新，获得目标适配程序。本发明实施例提供的基于自主可控操作系统的电力物联边缘计算架构的程序同步方法，基于接口变更信息及接口调用信息实现对原始适配程序的更新，不仅可以保证适配程序与操作系统程序的同步更新，还可以提高设备适配程序的更新效率，降低更新成本。
-
-
-
-
-
-
-
-
-
Search Results
122
records
(took 0.024 seconds)
