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

申请/专利权人：南京大学

申请日：2024-04-08

公开（公告）日：2024-07-02

公开（公告）号：CN118277263A

主分类号：G06F11/36

分类号：G06F11/36

优先权：

专利状态码：在审-公开

法律状态：2024.07.02#公开

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

主权项：1.一种基于追溯机制的Python运行时类型错误检查方法，其特征在于，静态标注，对Python程序中的函数和方法进行静态类型标注；静态推导，对静态类型标注后的Python代码进行静态类型检查并保留类型推导信息；动态检查，对静态类型标注后的Python代码在运行时进行类型检查；Blame收集，使用保留的类型推导信息和抽象语法树信息收集函数调用处的类型转换信息；Blame追溯，若Python代码在运行时发生类型错误，使用收集到的类型转换信息追踪类型对错误进行溯源并生成错误报告。

全文数据：

权利要求：

百度查询： 南京大学 一种基于追溯机制的Python运行时类型错误检查方法

免责声明 1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。 2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。