一种Web服务测试用例自动生成方法

    公开(公告)号:CN104156313A

    公开(公告)日:2014-11-19

    申请号:CN201410396502.0

    申请日:2014-08-12

    Applicant: 南京大学

    Abstract: 一种Web服务测试用例自动生成方法,基于文档解析及约束求解自动生成测试用例,包括Web服务文档解析、Web服务约束条件提取和Web服务测试用例自动化生成三部分,自动化生成SOAP消息表示的测试用例,即为Web服务的测试用例。本发明在Web服务测试用例的自动生成过程中,通过提取WSDL、BPEL文档中的约束条件,并运用约束求解方法,根据这些约束条件自动化生成测试用例,从而减少测试用例的冗余度,提高覆盖率,提高Web服务测试的效率。

    面向智能移动平台的Web服务推送方法

    公开(公告)号:CN102420827A

    公开(公告)日:2012-04-18

    申请号:CN201110414440.8

    申请日:2011-12-13

    Applicant: 南京大学

    Abstract: 面向智能移动平台的Web服务推送方法,Web服务推送通过数据交换管程、服务代理和SOAP推送协议三个部分实现,数据交换管程运行在智能移动平台上,作为智能移动平台上应用程序的数据收发媒介和管理者;服务代理运行在服务器上,将Web应用封装成Web服务,并以数据推送方式向数据管程提供更新;SOAP推送协议作为数据交换管程和服务代理之间的通信协议。本发明提供了一种融合了服务代理、数据交换管程以及SOAP推送协议的技术,能够面向智能移动平台进行Web服务的主动推送。

    大语言模型结合类型信息的Python测试用例生成方法

    公开(公告)号:CN118733432A

    公开(公告)日:2024-10-01

    申请号:CN202410422104.5

    申请日:2024-04-09

    Applicant: 南京大学

    Inventor: 陈林 黄逸维

    Abstract: 本发明公开了大语言模型结合类型信息的Python测试用例生成方法,其步骤包括:配置评估环境,包括获取评测用的开源项目代码、配置方法运行框架等;利用抽象语法树对开源项目进行语法分析,构建控制依赖图G;基于控制依赖图G利用提示词驱动大语言模型进行测试用例的自动生成与迭代,对每个测试用例进行打分筛选,得到最优测试用例集合。本发明改善了目前Python程序自动单元测试工具对部分代码覆盖率较低的问题,并且能够反应工具对Python语言特性的支持程度,能帮助使用者更好地利用待测单元的信息,也能为开发者提供覆盖率更高、可读性更好的测试用例。

    一种基于追溯机制的Python运行时类型错误检查方法

    公开(公告)号:CN118277263A

    公开(公告)日:2024-07-02

    申请号:CN202410414684.3

    申请日:2024-04-08

    Applicant: 南京大学

    Inventor: 陈林 张蹇

    Abstract: 本发明公开了一种基于追溯机制的Python运行时类型错误检查方法,其步骤包括:对Python程序中的函数和方法进行静态类型标注,并对静态类型标注后的Python代码进行静态类型检查并保留类型推导信息;使用保留的类型推导信息和抽象语法树信息收集函数调用处的类型转换信息;对静态类型标注后的Python代码在运行时进行类型检查;若Python代码在运行时发生类型错误,使用收集到的类型转换信息追踪类型对错误进行溯源并生成错误报告。本发明旨在解决目前存在的缺乏利用类型标注对Python程序进行类型约束检测、类型错误定位不准确等问题,进而指导开发阶段的软件质量管理,减少软件测试成本,提高软件的可维护性。

    一种基于插桩的Python调用图构造效果评估方法

    公开(公告)号:CN116662146A

    公开(公告)日:2023-08-29

    申请号:CN202210159363.4

    申请日:2022-02-21

    Applicant: 南京大学

    Inventor: 陈林 於李

    Abstract: 本发明提供一种基于插桩的Python调用图构造效果评估方法,包括以下步骤:1)配置评估环境,包括获取评测用的开源项目代码、配置测试插桩框架等;2)利用抽象语法树对开源项目进行语法分析,对函数做预先标注;3)执行测试用例并进行语句级别插桩,获取调用上下文,交由检测模块检测存在的调用模式;4)检测模块读取语法分析模块输出的标注,并结合预先设计的调用模式,为存在的调用模式做标注;5)以动态调用图作为参照,找出静态调用图中缺失的调用,并报告调用模式及缺失调用的关联。本发明解决了目前缺少工具评估标准的问题,并且能够反应工具对Python语言特性的支持程度,能帮助使用者更好地理解工具的适用场景,也能为开发者提供有效的反馈以完善工具的效果。

    一种基于类型标注的Python程序类型推导方法

    公开(公告)号:CN111694726B

    公开(公告)日:2022-04-05

    申请号:CN201910210830.X

    申请日:2019-03-15

    Applicant: 南京大学

    Abstract: 本发明为一种基于类型标注的Python程序类型推导方法:首先对Python程序进行类型推导;然后对同样一部分源代码进行标注等级分析,使用ranking算法对变量进行标注价值排序;接着通过ranking算法推荐进行类型标注;最后通过增加这些类型标注再次进行类型推导,并多次迭代上述过程,类型推导‑>ranking排序‑>类型标注‑>类型推导‑>...;最后产生的所有静态类型信息可以被用来优化Python的解释运行以及帮助开发者理解Python源代码程序。

    一种基于类型标注的Python程序类型推导方法

    公开(公告)号:CN111694726A

    公开(公告)日:2020-09-22

    申请号:CN201910210830.X

    申请日:2019-03-15

    Applicant: 南京大学

    Abstract: 本发明为一种基于类型标注的Python程序类型推导方法:首先对Python程序进行类型推导;然后对同样一部分源代码进行标注等级分析,使用ranking算法对变量进行标注价值排序;接着通过ranking算法推荐进行类型标注;最后通过增加这些类型标注再次进行类型推导,并多次迭代上述过程,类型推导->ranking排序->类型标注->类型推导->...;最后产生的所有静态类型信息可以被用来优化Python的解释运行以及帮助开发者理解Python源代码程序。

    一种基于抽象语法树的Python程序类型缺陷检测方法

    公开(公告)号:CN108932192A

    公开(公告)日:2018-12-04

    申请号:CN201710376265.5

    申请日:2017-05-22

    Applicant: 南京大学

    Abstract: 本发明提供一种基于抽象语法树的Python程序类型缺陷检测方法,包括下列步骤:1)收集Python软件缺陷报告信息,提取缺陷标识符和缺陷错误类型;2)获取缺陷修复前后两个版本程序的源代码;3)生成两个版本源代码对应的抽象语法树,匹配获取变更函数结点并标记缺陷错误类型;4)根据变更函数结点上下文信息,生成缺陷代码的特征向量;5)利用机器学习技术,在缺陷代码特征向量上训练多分类模型;6)提示开发者在测试Python程序文件中可能出现的类型缺陷信息。本发明旨在解决目前存在的缺乏针对Python语言的类型缺陷分析、无法检测可能的缺陷错误类型等问题,进而指导软件质量的管理,提高软件的可维护性。

    一种Web服务测试用例自动生成方法

    公开(公告)号:CN104156313B

    公开(公告)日:2017-01-25

    申请号:CN201410396502.0

    申请日:2014-08-12

    Applicant: 南京大学

    Abstract: 一种Web服务测试用例自动生成方法,基于文档解析及约束求解自动生成测试用例,包括Web服务文档解析、Web服务约束条件提取和Web服务测试用例自动化生成三部分,自动化生成SOAP消息表示的测试用例,即为Web服务的测试用例。本发明在Web服务测试用例的自动生成过程中,通过提取WSDL、BPEL文档中的约束条件,并运用约束求解方法,根据这些约束条件自动化生成测试用例,从而减少测试用例的冗余度,提高覆盖率,提高Web服务测试的效率。

    基于预测性分析的安卓应用程序数据竞争检测

    公开(公告)号:CN105183655A

    公开(公告)日:2015-12-23

    申请号:CN201510626507.2

    申请日:2015-09-25

    Applicant: 南京大学

    Abstract: 本发明方法是基于安卓开发框架和其多线程模型,插桩安卓应用程序并动态运行提取单个执行轨迹,再使用预测性分析方法对执行轨迹进行分析,构造其活动间的发生序关系(Happens-Before)并预测生成多个执行轨迹,在此基础上结合变量松弛和路径松弛对执行轨迹中的所有活动进行约束编码,最终放入约束求解器中进行求解来完成数据竞争的检测。本发明能有效降低数据竞争的误报率,扩展性好,效率高,只需收集单个运行轨迹,大大降低了人工成本。

Patent Agency Ranking