-
公开(公告)号：CN118277263A
公开(公告)日：2024-07-02
申请号：CN202410414684.3
申请日：2024-04-08
Applicant: 南京大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于追溯机制的Python运行时类型错误检查方法，其步骤包括：对Python程序中的函数和方法进行静态类型标注，并对静态类型标注后的Python代码进行静态类型检查并保留类型推导信息；使用保留的类型推导信息和抽象语法树信息收集函数调用处的类型转换信息；对静态类型标注后的Python代码在运行时进行类型检查；若Python代码在运行时发生类型错误，使用收集到的类型转换信息追踪类型对错误进行溯源并生成错误报告。本发明旨在解决目前存在的缺乏利用类型标注对Python程序进行类型约束检测、类型错误定位不准确等问题，进而指导开发阶段的软件质量管理，减少软件测试成本，提高软件的可维护性。
Search Results
1
records
(took 0.021 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
