-
公开(公告)号:CN103577325B
公开(公告)日:2016-01-06
申请号:CN201310532732.0
申请日:2013-10-31
Applicant: 南京大学
IPC: G06F11/36
Abstract: 本发明公开了一种测试用例集执行顺序确定的方法及系统。其中该方法包括如下步骤:计算初始测试用例集中任意两条测试用例之间的单一用例切换成本;从初始测试用例集中选取所有组合可能的h条测试用例,得到所有可能的由h条测试用例构成的第一最优执行序列及第一切换成本;根据第一切换成本,及单一用例切换成本计算得到所有可能的由h+1条测试用例构成的第二最优执行序列及第二切换成本;将第二最优执行序列和第二切换成本分别作为新的第一最优执行序列和第一切换成本,使h增大1,返回上一步骤,直至第二最优执行序列包含所有测试用例;选择第二切换成本最小的第二最优执行序列作为最终最优执行序列。其可使测试中参数重配置次数最少,降低开销。
-
公开(公告)号:CN103605603A
公开(公告)日:2014-02-26
申请号:CN201310477511.8
申请日:2013-10-12
Applicant: 南京大学 , 中国科学院数学与系统科学研究院 , 北京航空航天大学
IPC: G06F11/36
Abstract: 本发明公开了一种覆盖表约简的方法及系统。其中该方法包括如下步骤:对初始覆盖表进行分析处理,得到覆盖表的相对灵活位置集;根据相对灵活位置集,判断覆盖表中每条测试用例中包含灵活位置的个数,并按灵活位置的个数从小到大的顺序对覆盖表中的测试用例进行排序,得到第一新覆盖表;对第一新覆盖表进行进一步分析处理,得到覆盖表的灵活位置集;根据灵活位置集,删除覆盖表中全部为灵活位置的测试用例,得到新的灵活位置集;将新的灵活位置集中的灵活位置在预设取值范围内进行随机替换,得到第二新覆盖表;循环执行上述所有步骤,直至得到满足预设条件的最终覆盖表。其减少实际测试用例条数,降低测试成本,且保证原覆盖表中参数组合的覆盖率。
-
公开(公告)号:CN103577325A
公开(公告)日:2014-02-12
申请号:CN201310532732.0
申请日:2013-10-31
Applicant: 南京大学
IPC: G06F11/36
Abstract: 本发明公开了一种测试用例集执行顺序确定的方法及系统。其中该方法包括如下步骤:计算初始测试用例集中任意两条测试用例之间的单一用例切换成本;从初始测试用例集中选取所有组合可能的h条测试用例,得到所有可能的由h条测试用例构成的第一最优执行序列及第一切换成本;根据第一切换成本,及单一用例切换成本计算得到所有可能的由h+1条测试用例构成的第二最优执行序列及第二切换成本;将第二最优执行序列和第二切换成本分别作为新的第一最优执行序列和第一切换成本,使h增大1,返回上一步骤,直至第二最优执行序列包含所有测试用例;选择第二切换成本最小的第二最优执行序列作为最终最优执行序列。其可使测试中参数重配置次数最少,降低开销。
-
公开(公告)号: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,本发明的验证效果更好,同时在探索更少的执行序列情况下即可等价遍历整个空间。
-
公开(公告)号: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的评分。
-
公开(公告)号:CN118503062A
公开(公告)日:2024-08-16
申请号:CN202310080647.9
申请日:2023-02-07
Applicant: 南京大学 , OPPO广东移动通信有限公司
Abstract: 本公开涉及计算机技术领域,具体涉及一种系统软件老化预测模型的确定方法及装置、系统软件老化预测方法及装置、计算机可读存储介质及电子设备。系统软件老化预测模型的确定方法包括:获取系统软件老化指标的历史运行数据,系统软件老化指标中包括N个标记指标;分别确定出每个标记指标对应的特征向量,并根据标记指标的历史运行数据,确定出以标记指标对应的特征向量为训练特征时的训练数据标签;根据N个标记指标中的每个标记指标对应的特征向量指示的历史运行数据和训练数据标签,训练M个初始机器学习模型,得到N×M个目标机器学习预测模型,以确定出系统软件老化预测模型。本公开能提高老化预测的准确性。
-
公开(公告)号:CN118193405A
公开(公告)日:2024-06-14
申请号:CN202410615704.3
申请日:2024-05-17
Applicant: 南京大学
IPC: G06F11/36 , G06N3/0499 , G06N3/084
Abstract: 本发明公开了一种基于多层感知机的最优覆盖表大小预测方法,包括以下步骤:S1、获取待测系统的数据集,数据集包括覆盖强度t、参数个数k以及每个参数的取值个数v;S2、对数据集进行归一化处理;S3、计算对应图的顶点个数#imgabs0#及每个顶点的度deg;S4、将t、#imgabs1#、deg输入多层感知机中获得待测系统所需的测试用例数目N。本申请针对不同规模的待测系统,最终得到的最优覆盖表大小与实际所需最小覆盖表大小均只有不到15%的误差。高精度的预测最小覆盖表大小可以给已有覆盖表生成算法提供更好的初始解,从而极大地减少测试用例生成成本。
-
公开(公告)号: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文档中的描述进行分析,提取其中的约束信息,并提供了一种算法给每个参数赋值,极大提高了测试有效性和效率。
-
公开(公告)号:CN112181844A
公开(公告)日:2021-01-05
申请号:CN202011083317.8
申请日:2020-10-12
Applicant: 南京大学
Abstract: 本发明涉及模型检测领域,具体是涉及一种验证分布式协议活性属性容错机制的检测方法及装置,包括以下步骤:初始化待验证系统;获取当前状态下待验证系统可以执行的迁移集T_Set;定义对等节点;定义相同操作;基于对等约减策略约减迁移集T_Set;获取迁移后待验证系统所处状态;检查迁移后待验证系统所处状态安全性属性,获取安全性状态;检查安全性状态的活性属性,获取活性状态,注入故障,重新检查待验证系统所处状态的安全性属性和活性属性;输出反例集C,本发明的验证效果更好,同时在探索更少的执行序列情况下即可等价遍历整个空间。
-
-
-
-
-
-
-
-
-