-
公开(公告)号：CN113918473B
公开(公告)日：2022-05-17
申请号：CN202111516040.8
申请日：2021-12-13
Applicant: 南京大学
Abstract: 本发明公开了一种基于Swagger文档的RESTful APIs组合测试方法，涉及软件工程领域，包括文档预处理、X‑way操作序列覆盖表生成和U‑way参数覆盖表生成，其中X‑way操作序列覆盖表生成包括X‑way操作序列集合生成、定义操作依赖模型、X‑way操作序列集合修正和生成测试序列，U‑way操作参数覆盖表生成包括：测试序列选取、生成参数约束模型、生成参数覆盖表。本发明的优点在于：使用CURD语义和资源层级关系建立操作序列约束模型，系统性覆盖测试操作的相互影响；对API文档中的描述进行分析，提取其中的约束信息，并提供了一种算法给每个参数赋值，极大提高了测试有效性和效率。
-
公开(公告)号：CN107634967B
公开(公告)日：2021-06-25
申请号：CN201710974140.2
申请日：2017-10-19
Applicant: 南京大学
Abstract: 本发明提出一种CSRF攻击的CSRFToken防御系统和方法，一种CSRF攻击的CSRFToken防御系统，包括有：HTTP请求信息收集模块，用户身份认证模块，用户权限授权模块，Csrftoken‑verify‑list.xml模块，CSRFTokenManager模块，能够阻止用户的执行请求，并能够有效识别CSRF攻击，并对CSRF攻击进行防御，更高效快速做到有效防护。
-
公开(公告)号：CN108984397B
公开(公告)日：2021-02-23
申请号：CN201810671623.X
申请日：2018-06-26
Applicant: 南京大学
IPC: G06F11/36
Abstract: 本发明公开了一种黑盒故障注入方法和系统及介质设备。其注入方法包括下列步骤：追踪待测平台业务调用路径；根据业务调用路径及提取出的信息，生成或者完善相应业务体系结构图；根据业务体系结构图递归推理出能破坏所有已知路径的待测故障场景，并注入待测平台进行测试；在探索出待测系统完整体系结构的基础上，对路径进行优化排序，再针对每条路径生成对应的故障场景。其快速高效的检测待测平台SUT的潜在故障，并保证一定的覆盖率。
-
公开(公告)号：CN112181844A
公开(公告)日：2021-01-05
申请号：CN202011083317.8
申请日：2020-10-12
Applicant: 南京大学
Abstract: 本发明涉及模型检测领域，具体是涉及一种验证分布式协议活性属性容错机制的检测方法及装置，包括以下步骤：初始化待验证系统；获取当前状态下待验证系统可以执行的迁移集T_Set；定义对等节点；定义相同操作；基于对等约减策略约减迁移集T_Set；获取迁移后待验证系统所处状态；检查迁移后待验证系统所处状态安全性属性，获取安全性状态；检查安全性状态的活性属性，获取活性状态，注入故障，重新检查待验证系统所处状态的安全性属性和活性属性；输出反例集C，本发明的验证效果更好，同时在探索更少的执行序列情况下即可等价遍历整个空间。
-
公开(公告)号：CN108984397A
公开(公告)日：2018-12-11
申请号：CN201810671623.X
申请日：2018-06-26
Applicant: 南京大学
IPC: G06F11/36
Abstract: 本发明公开了一种黑盒故障注入方法和系统及介质设备。其注入方法包括下列步骤：追踪待测平台业务调用路径；根据业务调用路径及提取出的信息，生成或者完善相应业务体系结构图；根据业务体系结构图递归推理出能破坏所有已知路径的待测故障场景，并注入待测平台进行测试；在探索出待测系统完整体系结构的基础上，对路径进行优化排序，再针对每条路径生成对应的故障场景。其快速高效的检测待测平台SUT的潜在故障，并保证一定的覆盖率。
-
Patent Agency Ranking
公开(公告)号：CN101482596B
公开(公告)日：2011-06-22
申请号：CN200910028630.9
申请日：2009-01-06
Applicant: 南京大学
Abstract: 本发明公开了一种多因素工业系统的故障快速识别方法，该方法首先确定待测试的多因素工业系统的测试用例集Ts，然后用Ts中的测试用例对系统进行测试，运行时发生故障的测试用例组成集合Ts1，其特征在于通过对比Ts1中测试用例，从Ts1中找出所涉及的共同因素，并以此共同因素作为可能导致系统故障原因的重要组成因素，通过逐个替换Ts1中每个发现故障的测试用例所涉及到的每个因素并由此生成一组附加测试用例Cts，然后用这些测试用例重新对系统进行测试，运行时未发生故障的测试用例对应的所有被替换的因素，是有可能导致错误发生的因素。此方法具有科学性、高效性和准确性等特点，还具有针对性、经济性、灵活和可扩展等特性。
-
公开(公告)号：CN116844724A
公开(公告)日：2023-10-03
申请号：CN202310893289.3
申请日：2023-07-20
Applicant: 南京大学
IPC: G16H50/30 , G16H50/50 , G06F18/24 , G06N3/0464
Abstract: 本发明公开了一种基于因子分析技术的APP健康程度评估方法，包括以下步骤：步骤S1、建立健康度指标体系，获取健康度指标值，所述健康度指标体系包括用户评论指标、开发者指标和应用商店指标；步骤S2、建立健康度因子分析模型；步骤S3、验证健康度因子分析模型；步骤S4、运用健康度因子分析模型。本申请能够更准确地对健康度指标进行多标签分类，然后通过因子分析的统计检验，从众多指标中计算出APP的健康度分数，不仅可以得出不同APP的每月健康度指标及总分数的排名表，还可以自动生成每个APP在一段设定的时间内的健康度分数趋势变化图，帮助开发者更好的决策。
-
公开(公告)号：CN112181844B
公开(公告)日：2022-02-18
申请号：CN202011083317.8
申请日：2020-10-12
Applicant: 南京大学
Abstract: 本发明涉及模型检测领域，具体是涉及一种验证分布式协议活性属性容错机制的检测方法及装置，包括以下步骤：初始化待验证系统；获取当前状态下待验证系统可以执行的迁移集T_Set；定义对等节点；定义相同操作；基于对等约减策略约减迁移集T_Set；获取迁移后待验证系统所处状态；检查迁移后待验证系统所处状态安全性属性，获取安全性状态；检查安全性状态的活性属性，获取活性状态，注入故障，重新检查待验证系统所处状态的安全性属性和活性属性；输出反例集C，本发明的验证效果更好，同时在探索更少的执行序列情况下即可等价遍历整个空间。
-
公开(公告)号：CN113076250A
公开(公告)日：2021-07-06
申请号：CN202110400255.7
申请日：2021-04-14
Applicant: 南京大学
IPC: G06F11/36
Abstract: 本发明公开了一种带约束测试模型的动态随机测试方法及装置，涉及系统测试领域，其具体的测试步骤过程为首先根据系统的初始禁止元组进行推导得到系统的最小禁止元组集；之后根据推导得出的最小禁止元组集初始化每个参数Pi所对应的参数值vj的选取概率；最后进行测试用例选取，本发明的优点在于：每次在选取到一条新的测试用例后，动态的调整所有参数的取值概率，减少测试用例冗余的情况。由此方法，我们可以在增加部分计算开销的前提下，得到一组合理有效的测试用例集，从而在同等规模的测试用例集下覆盖更多的测试元组。
-
公开(公告)号：CN111736804A
公开(公告)日：2020-10-02
申请号：CN202010861033.0
申请日：2020-08-25
Applicant: 南京大学
IPC: G06F8/10 , G06F40/205 , G06F40/211 , G06F40/232 , G06F40/284 , G06F40/289 , G06K9/62
Abstract: 本发明涉及App功能需求分析领域，具体是涉及一种基于用户评论识别App关键功能的方法及装置，其中方法包括以下步骤：获取App描述，去除App描述中的非功能描述，之后获得与App功能相关的功能描述，构建深度学习分类器以及相关度分类器，之后获取待挖掘用户评论的App的描述和单位时间m内用户评论，对待挖掘用户评论的App的描述和在单位时间m内用户评论预处理，获得待挖掘用户评论的App的功能描述和目标短句，构建回归模型，通过回归模型获得关键功能，本发明能够根据描述和用户评论识别出App的关键功能，提升这些关键功能能够有效提升App的评分。
-
-
-
-
-
-
-
-
-
Search Results
37
records
(took 0.021 seconds)
