-
公开(公告)号：CN104536880A
公开(公告)日：2015-04-22
申请号：CN201410712797.8
申请日：2014-11-28
Applicant: 南京大学 , 江苏苏测软件检测技术有限公司
IPC: G06F11/36
Abstract: 基于符号执行的GUI程序测试用例扩增方法，对于一个待测程序，首先使用JPF工具为待测程序创建一个“.jpf”文件，并静态分析待测程序代码，获取符号执行分析后产生的有效输入值；以控件的名字属性作为关键字在已有测试用例脚本中搜索与定位需要置入新输入值的位置，然后用有效输入值进行替换原值，生成新的测试用例，实现原测试用例集扩增。本发明作为一种GUI界面测试技术引入了符号执行技术，能够运用符号执行的方法完成对GUI程序前台界面测试用例的扩增，让GUI程序前台界面的测试更加充分，提高了GUI程序前台界面的测试效率。
-
公开(公告)号：CN104536878A
公开(公告)日：2015-04-22
申请号：CN201410709983.6
申请日：2014-11-28
Applicant: 南京大学 , 江苏苏测软件检测技术有限公司
IPC: G06F11/36
Abstract: 一种验证并发程序中违反原子性错误是否被正确修复的方法，利用原始程序执行错误时的执行日志，结合原子性错误的各种模式构造新的、适合于修复后程序的执行日志，并通过观察修复后的程序是否能够按照新的日志正确执行来判断原子性错误是否被修复。用户在并发程序出错后，使用同步化方法修复原子性错误，本发明方法能够帮助用户在重复执行修复程序若干次后自动判断bug是否被正确修复。本发明方法不要求用户知道Bug的准确位置，符合用户检验错误是否被修复的习惯性方法。
-
公开(公告)号：CN102368226A
公开(公告)日：2012-03-07
申请号：CN201110306942.9
申请日：2011-10-10
Applicant: 南京大学
IPC: G06F11/36
Abstract: 一种自动化测试用例生成方法，基于扩展有限状态机可行路径分析，由于不可行路径的存在使得扩展有限状态机模型中生成测试用例仍然是一个难题，本发明通过路径可行性分析尽可能的避开不可行路径、自动化的生成测试用例和创建测试预言。特征是结合了静态分析和动态分析技术来找到一个较小的可行路径集合达到指定的路径覆盖准则，此外还给出了路径可行性评估策略，开发了可执行模型，通过运行时信息反馈和分散搜索ScatterSearch技术来自动生成测试数据和创建测试预言。静态和动态两种可行性分析技术的结合大大提高了测试用生成的效率，实际应用中可以减少测试过程的代价，提高软件测试的质量。
-
公开(公告)号：CN102289509A
公开(公告)日：2011-12-21
申请号：CN201110254935.9
申请日：2011-08-31
Applicant: 南京大学
IPC: G06F17/30
Abstract: 一种网站数据的获取及迁移使用方法，用于垂直电子商务网站，通过迁移学习将已有电子商务网站的历史数据信息迁移到其它电子商务网站，通过脚本采集已有电子商务网站的用户基本信息以及用户行为，由用户基本信息得到用户特征数据库，由所述已有电子商务网站的产品信息得到产品特征数据库，根据用户行为分析用户特征和产品特征的相关度，得到相关度矩阵，其它电子商务网站根据进入网站的用户基本信息，结合所述相关度矩阵，计算该用户与本电子商务网站产品的相关度，进行推荐。本发明对原有历史数据密集的系统中用户特征和产品特征相关模式进行学习，基于迁移学习方法迁移至其他类似的由于历史数据不足无法进行有效推荐的电子商务网站中使用。
-
公开(公告)号：CN102253889A
公开(公告)日：2011-11-23
申请号：CN201110225316.7
申请日：2011-08-07
Applicant: 南京大学
IPC: G06F11/36
Abstract: 一种回归测试中基于分布的测试用例优化方法，对于回归测试中的测试用例集，依据执行剖面在剖面空间中的分布对测试用例的执行顺序进行优先级排序，优先级高的测试用例将被优先执行，使得执行顺序临近的测试用例尽可能分散在剖面空间中，以尽早最大化错误检测能力，提高错误检测速率。本发明在不进行任何测试用例约简的前提下，对测试用例的执行顺序进行排序，即测试用例的创建顺序并不作为其执行顺序，而是使用基于分布的测试用例优先级技术对执行顺序进行排序。这样一方面使得测试用例集合的错误检测能力不受影响，另一方面提高了错误检测的速率，使得程序员可以尽早地找到更多的错误，节省了程序员寻找错误的时间成本。
-
Patent Agency Ranking
公开(公告)号：CN101526917B
公开(公告)日：2011-08-10
申请号：CN200910026395.1
申请日：2009-04-22
Applicant: 南京大学
IPC: G06F11/36
Abstract: 一种基于数据驱动的测试脚本繁殖方法，获取自动化测试工具录制的原脚本，对其进行剖析，得到录制的原脚本中的对象元素，然后产生新的测试数据，根据新的测试数据按原脚本基本流程产生一批新的测试脚本，最后生成自动化测试工具能够识别的批量脚本，然后将批量脚本直接导入自动化测试工具即可完成测试过程。本发明基于数据驱动的测试脚本繁殖方法在业务逻辑处理并不是非常复杂的前提下，对于数据处理占更大比重的软件来说，对测试工具录制的脚本进行剖析、编码，通过数学算法提高了测试用例集的性能，简化了手工测试操作流程，使得大量的手工测试可以化繁为简，从而提高了测试工作的效率，一定程度上向自动化测试又更迈进了一步。
-
公开(公告)号：CN101866317A
公开(公告)日：2010-10-20
申请号：CN201010212473.X
申请日：2010-06-29
Applicant: 南京大学
IPC: G06F11/36
Abstract: 一种基于聚类分析的回归测试用例选择方法，通过在已有技术的基础上记录测试用例的执行覆盖信息，生成函数执行剖面，以量化形式表示测试用例并应用聚类算法分析测试用例，了解它们执行情况的异同，就可以理解程序行为及其之间的联系，在回归测试阶段有效降低测试用例数量并保持足够高的错误检测能力。本发明基于数据挖掘技术，以一种全新的、更加动态的方式处理测试用例，通过测试用例所展现出的程序行为的内在联系来理解程序，使得测试用例的选择变得更加容易和自动化，从而可以更有效的使用这些测试用例进行回归测试，在现有技术的基础上能够进一步提高回归测试的效率。
-
公开(公告)号：CN119476820A
公开(公告)日：2025-02-18
申请号：CN202411569964.8
申请日：2024-11-02
Applicant: 南京大学
IPC: G06Q10/0631 , G06F11/3668 , G06F18/22 , G06N5/01 , G06N7/02
Abstract: 本发明提供了一种基于测试者模型的众包测试任务分配方法，其具备合理基于测试者模型的匹配度计算机制和基于Kuhn‑Munkres的任务分配机制，可以有效提升众包测试质量。本发明的特点在于：1.根据任务要求，选取合适的测试者特征，构建完整测试者模型。2.基于测试者特征，定义匹配度计算方法，将匹配度作为测试质量的预估值。3.构建任务分配模型，将众测任务分配问题转化为带权二分图最优匹配问题，利用K‑M算法进行任务分配。本发明有益效果是：通过分析能力，意愿等维度，构建测试者画像，量化工人与任务的可匹配维度；通过设计匹配度计算方法，有效筛选出综合评估值高的工人；基于K‑M的众包测试任务分配方式，实现任务合理分配。
-
公开(公告)号：CN118689771A
公开(公告)日：2024-09-24
申请号：CN202410839275.8
申请日：2024-06-26
Applicant: 深圳市金溢科技股份有限公司 , 南京大学
Abstract: 本发明实施例公开了基于智能交通V2X模型的领域特定变异测试方法、装置及计算机设备。所述方法包括：设置领域特定变异算子；根据所述领域特定变异算子对已训练的智能交通V2X模型进行变异，以得到目标变异模型；生成智能化测试用例，以测试所述目标变异模型，形成测试结果；对所述测试结果进行深度性能分析，并根据分析结果对所述目标变异模型的参数以及训练策略进行迭代优化。通过实施本发明实施例的方法可实现提高测试的覆盖率和准确性，确保模型在面对未知挑战时的鲁棒性，增强系统的整体可靠性，更好地检测模型可能存在的潜在缺陷，还能够有效地模拟各种复杂和边缘情况，从而有效应对智能交通系统中的挑战和风险。
-
公开(公告)号：CN111190997B
公开(公告)日：2024-01-05
申请号：CN201811298287.5
申请日：2018-10-26
Applicant: 南京大学
IPC: G06F16/33 , G06F16/332 , G06F16/35 , G06F40/289
Abstract: 一种使用神经网络和机器学习排序算法的问答系统实现方法，其根据自然语言格式的问题，使用维基百科文档集作为数据源，给出短文本格式的答案。该方法分为文档检索和机器阅读理解两部分。文档检索部分使用LSI模型对问题和文档进行建模，根据用户提出的问题在维基百科文档库中查找最相关的五篇文档，然后将问题和这五篇文档作为下一阶段的输入，阅读理解部分使用双向神经网络分别对问题和文章中的段落进行建模，最后再使用一个双向神经网络学习最优的答案片段，将最终答案和答案所在段落反馈给用户。
-
-
-
-
-
-
-
-
-
Search Results
124
records
(took 0.031 seconds)
