基于抽象解释理论的循环边界计算方法

• 作者: 喻垚慎 崔少轩
• 来源期刊: 计算技术与自动化
• 关键词: 程序切片 抽象解释 循环边界
• 年，卷（期）: 2018,（4）
• 所属期刊栏目: 算法分析与研究
• 页码范围: 72-76
• 页数: 5页
• 分类号: TP301
• 语种: 中文
• DOI: 10.16339/j.cnki.jsjsyzdh.201804013

摘要

在实时系统的应用中常常需要对系统的执行时间,尤其是最坏执行时间进行分析.而程序中的循环结构的迭代次数对程序执行时间的分析结果具有重要的影响.程序的循环边界分析目的在于给出较为接近程序真实运行情况下的循环结构迭代的上界和下界.提出了一种基于抽象解释理论的程序循环边界计算方法,该方法对原有的循环边界分析方法进行了改进.首先在程序切片阶段对原程序建立程序依赖图,并提出了对程序依赖图的约简方法.由约简后的依赖关系可以对变量的取值进行约束,得到更小的取值范围,因此基于该方法的循环边界分析结果更加接近程序的实际执行边界,对获取精确的程序执行时间具有重要意义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	崔少轩	南京航空航天大学计算机科学与技术学院	2	3	1.0	1.0
2	喻垚慎	南京航空航天大学计算机科学与技术学院	1	1	1.0	1.0