-
题名使用抽象语法树匹配分析Java程序演化
被引量：2
- 1
-
-
作者
周逸勋
陈海波
-
机构
复旦大学并行处理研究所
-
出处
《计算机应用与软件》
CSCD
2011年第8期196-199,共4页
-
文摘
软件在生命周期中一直在发生演化,对软件演化的分析可以揭示软件发展的一些基本规律。现有方法通常使用改变的代码行数作为软件演化的指标,但是这项指标不能反映软件架构的变化,也不能帮助理解软件演化的具体情况。使用抽象语法树匹配ATS(Abstract Syntax Tree)进行代码分析能够更清楚地了解软件中发生改变的具体内容。针对Java语言编写的软件,可以了解静态域的添加、删除和类型修改;类的添加、删除、类型修改和方法体修改。这些信息能更好地帮助理解软件演化。
-
关键词
软件演化
抽象语法树匹配
演化分析
-
Keywords
Software evolution AST matching Evolution analysis
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种CMA数值预报模式代码质量检测方法与实现
- 2
-
-
作者
李佳静
杨泽
王彬
刘易凡
董泽信
孟涛
-
机构
中国矿业大学(北京)人工智能学院
中国气象局地球系统数值预报中心
中国气象科学研究院灾害天气国家重点实验室
中国气象局地球系统数值预报重点开放实验室
煤炭科学技术研究院有限公司
-
出处
《应用气象学报》
北大核心
2025年第2期155-163,共9页
-
基金
国家重点研发计划(2017YFA0604500)
中国气象局创新发展专项(CXFZ2025J005)
中国气象局地球系统数值预报中心数值预报关键技术研发——国省统筹团队科创平台组。
-
文摘
中国气象局(CMA)数值预报的统筹研发对支撑平台的能力建设提出了更高要求,其中一个重要方面就是对数值预报模式代码的质量检测能力。目前缺乏有效针对数值预报模式代码的质量检测方法和工具,尤其对于性能缺陷和大规模代码的检测不能满足需要。为解决上述问题,该文针对子程序定义、数组操作和I/O操作等常见编程规则设计检测方法。该方法采用程序代码解析、抽象语法树匹配和流敏感的静态程序检测等关键技术,其中对分支和循环语句的分析方法有效避免了路径爆炸问题。基于该方法的检测工具在数值预报科创平台V1.0代码协同开发栏目提供使用,并应用于CMA区域数值模式的国省统筹研发。
-
关键词
数值预报模式代码
代码质量
抽象语法树匹配
流敏感程序分析
有穷状态机
-
Keywords
numerical prediction model code
code quality
abstract syntax tree matching
flow-sensitive program analysis
finite state machine
-
分类号
P456.7
[天文地球—大气科学及气象学]
-
