-
公开(公告)号：CN104536878B
公开(公告)日：2017-09-12
申请号：CN201410709983.6
申请日：2014-11-28
Applicant: 南京大学 , 江苏苏测软件检测技术有限公司
IPC: G06F11/36
Abstract: 一种验证并发程序中违反原子性错误是否被正确修复的方法，利用原始程序执行错误时的执行日志，结合原子性错误的各种模式构造新的、适合于修复后程序的执行日志，并通过观察修复后的程序是否能够按照新的日志正确执行来判断原子性错误是否被修复。用户在并发程序出错后，使用同步化方法修复原子性错误，本发明方法能够帮助用户在重复执行修复程序若干次后自动判断bug是否被正确修复。本发明方法不要求用户知道Bug的准确位置，符合用户检验错误是否被修复的习惯性方法。
-
公开(公告)号：CN104598375A
公开(公告)日：2015-05-06
申请号：CN201410710095.6
申请日：2014-11-28
Applicant: 江苏苏测软件检测技术有限公司 , 南京大学
Abstract: 一种用于软件开发的缺陷预测方法，构建源代码依赖网络和开发者社交网络，分别记录源代码文件间的依赖关系，以及开发者间的交流协作关系。比较源代码依赖网络和开发者社交网络，将两者的不一致作为缺乏交流的指示。本发明可以检测出每个源代码文件关联的开发者交流链接缺乏的数量，作为衡量文件网络不一致性的指标，还可以给出文件缺乏的开发者链接，并同时给出每一条链接缺乏的原因，即哪两个源文件之间存在依赖，而其开发者间没有交流协作。开发者可以根据方法的指导，组织弥补相应的交流，有针对性地发现和修复缺陷。
-
公开(公告)号：CN104536877A
公开(公告)日：2015-04-22
申请号：CN201410709716.9
申请日：2014-11-28
Applicant: 江苏苏测软件检测技术有限公司 , 南京大学
IPC: G06F11/36
Abstract: 一种基于混合策略的测试数据生成方法，综合利用多种技术的特点融合为测试数据的生成方法。虽然近来各种各样的测试数据生成机制层出不穷，每种技术还是有自己的局限性，例如囿于本身特点每种技术只对有限的几种数据结构适用性与精确性较强。以上的特点导致了单一测试数据生成技术不能广泛而精确地得到试用。我们的方法结合了随机策略，动态符号执行和搜索策略建立数据生成流程，构成了一个可以利用多种技术的优点而进行的高可靠性高拓展性的测试数据生成方法。
-
公开(公告)号：CN104536880B
公开(公告)日：2017-09-15
申请号：CN201410712797.8
申请日：2014-11-28
Applicant: 南京大学 , 江苏苏测软件检测技术有限公司
IPC: G06F11/36
Abstract: 基于符号执行的GUI程序测试用例扩增方法，对于一个待测程序，首先使用JPF工具为待测程序创建一个“.jpf”文件，并静态分析待测程序代码，获取符号执行分析后产生的有效输入值；以控件的名字属性作为关键字在已有测试用例脚本中搜索与定位需要置入新输入值的位置，然后用有效输入值进行替换原值，生成新的测试用例，实现原测试用例集扩增。本发明作为一种GUI界面测试技术引入了符号执行技术，能够运用符号执行的方法完成对GUI程序前台界面测试用例的扩增，让GUI程序前台界面的测试更加充分，提高了GUI程序前台界面的测试效率。
-
Patent Agency Ranking
公开(公告)号：CN104536877B
公开(公告)日：2017-09-12
申请号：CN201410709716.9
申请日：2014-11-28
Applicant: 江苏苏测软件检测技术有限公司 , 南京大学
IPC: G06F11/36
Abstract: 一种基于混合策略的测试数据生成方法，综合利用多种技术的特点融合为测试数据的生成方法。虽然近来各种各样的测试数据生成机制层出不穷，每种技术还是有自己的局限性，例如囿于本身特点每种技术只对有限的几种数据结构适用性与精确性较强。以上的特点导致了单一测试数据生成技术不能广泛而精确地得到试用。我们的方法结合了随机策略，动态符号执行和搜索策略建立数据生成流程，构成了一个可以利用多种技术的优点而进行的高可靠性高拓展性的测试数据生成方法。
-
公开(公告)号：CN104536882A
公开(公告)日：2015-04-22
申请号：CN201410713577.7
申请日：2014-11-28
Applicant: 南京大学 , 江苏苏测软件检测技术有限公司
IPC: G06F11/36
Abstract: 基于频繁子图挖掘的错误定位方法，将程序的所有实体共同作为一个整体，通过图挖掘方法获取失败用例执行中的特征模式，进而实现更加准确且包含运行时上下文的自动化错误定位结果。本发明方法是一种区分性子图挖掘方法，以频繁子图挖掘为基础框架，基于信息增益方法计算子图的可疑度，通过优化的频繁子图挖掘方法获取失败用例和成功用例执行中的特征模式，进而实现更加准确且包含运行时上下文的自动化错误定位结果。本发明可以获得子图可疑度的排序，进而提供给测试人员可疑度最高的K个子图，从而提高了开发人员定位错误的准确性和效率。
-
公开(公告)号：CN104598375B
公开(公告)日：2017-09-12
申请号：CN201410710095.6
申请日：2014-11-28
Applicant: 江苏苏测软件检测技术有限公司 , 南京大学
Abstract: 一种用于软件开发的缺陷预测方法，构建源代码依赖网络和开发者社交网络，分别记录源代码文件间的依赖关系，以及开发者间的交流协作关系。比较源代码依赖网络和开发者社交网络，将两者的不一致作为缺乏交流的指示。本发明可以检测出每个源代码文件关联的开发者交流链接缺乏的数量，作为衡量文件网络不一致性的指标，还可以给出文件缺乏的开发者链接，并同时给出每一条链接缺乏的原因，即哪两个源文件之间存在依赖，而其开发者间没有交流协作。开发者可以根据方法的指导，组织弥补相应的交流，有针对性地发现和修复缺陷。
-
公开(公告)号：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的准确位置，符合用户检验错误是否被修复的习惯性方法。
-
-
-
-
-
-
-
-
Search Results
9
records
(took 0.036 seconds)
