基于规则的高风险动态类型代码检测研究

摘要：

近年来,Python的应用呈爆炸式增长.虽然Python的动态类型特性为开发人员提供了强大的编程抽象能力,但同样也导致代码库中聚集了与类型相关的缺陷.为了减少软件代码中的类型缺陷,文中分析并检测了 6种可能导致类型缺陷的高风险动态类型代码.首先,形式化地描述了每种类型的高风险动态类型代码的规则;然后,提出了一种基于规则的高风险动态类型代码检测技术;最后,对25个Python开源软件项目(总规模超过945kLOC)展开了实验评估.结果表明,高风险动态类型代码在开源软件项目中广泛存在,尤其是单个Python函数中可能存在多处变量类型不一致的代码,而基于规则的检测技术在Python软件项目中具有较高的准确率和较好的性能表现.针对高风险动态类型代码的检测技术及实验结论,将为动态类型特性的良性发展以及软件项目的质量保障提供有力的参考和支持.

关键词：Python、动态类型、类型缺陷、开源软件、高风险动态类型代码、检测技术

所属期刊栏目：50

分类号：TP311(计算技术、计算机技术)

资助基金：国家重点研发计划;江苏省自然科学基金;江苏省研究生科研与实践创新计划项目

在线出版日期：2023-07-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：27-37