| 基于抽象解释理论的循环边界计算方法 |
 点此下载全文 |
| 引用本文：崔少轩?覮，■.基于抽象解释理论的循环边界计算方法[J].计算技术与自动化,2018,(4):72-76 |
| 摘要点击次数: 747 |
| 全文下载次数: 0 |
|
|
| 中文摘要:在实时系统的应用中常常需要对系统的执行时间，尤其是最坏执行时间进行分析。而程序中的循环结构的迭代次数对程序执行时间的分析结果具有重要的影响。程序的循环边界分析目的在于给出较为接近程序真实运行情况下的循环结构迭代的上界和下界。提出了一种基于抽象解释理论的程序循环边界计算方法，该方法对原有的循环边界分析方法进行了改进。首先在程序切片阶段对原程序建立程序依赖图，并提出了对程序依赖图的约简方法。由约简后的依赖关系可以对变量的取值进行约束，得到更小的取值范围，因此基于该方法的循环边界分析结果更加接近程序的实际执行边界，对获取精确的程序执行时间具有重要意义。 |
| 中文关键词:程序切片 抽象解释 循环边界 |
| |
| Program Loop Bounds Analysis Based on Abstract Interpretation |
|
|
| Abstract:In the application of real-time system， it is a import issue to analyze the execution time especially the worst case execution time. The iteration of loop structure has an important impact on the result of execution time analysis. The purpose of loop bounds analysis is to give a more accurate upper bounds and lower bounds for the iteration of loop structure . In this paper we a new method is given to get the loop bounds of program based on abstract interpretation. In this method we improved the method for loop bounds analysis. At first， the program dependence graph is build and the reduction method is proposed. Then a more accurate range of variables were calculated by the dependence graph. So that a more accurate bounds were conduct to approximate the real bounds， which is meaningful to get an accurate execution time. |
| keywords:program slicing abstract interpretation loop bounds |
| 查看全文 查看/发表评论 下载pdf阅读器 |
位访问者,今日访问
