【摘 要】
：
在实时系统的应用中常常需要对系统的执行时间,尤其是最坏执行时间进行分析。而程序中的循环结构的迭代次数对程序执行时间的分析结果具有重要的影响。程序的循环边界分析目
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金资助项目(61772270),国家重点研发计划资助项目(2016YFB1000802).
论文部分内容阅读
在实时系统的应用中常常需要对系统的执行时间,尤其是最坏执行时间进行分析。而程序中的循环结构的迭代次数对程序执行时间的分析结果具有重要的影响。程序的循环边界分析目的在于给出较为接近程序真实运行情况下的循环结构迭代的上界和下界。提出了一种基于抽象解释理论的程序循环边界计算方法,该方法对原有的循环边界分析方法进行了改进。首先在程序切片阶段对原程序建立程序依赖图,并提出了对程序依赖图的约简方法。由约简后的依赖关系可以对变量的取值进行约束,得到更小的取值范围,因此基于该方法的循环边界分析结果更加接近程序的实际执行边
其他文献
摘 要：广播电视新闻节目的传播受到很多因素的影响，其中最重要的因素就是策划，策划质量的好与坏直接影响到传播的范围和质量。在本文中，介绍了广播电视新闻策划及其原则，并分析了当前创新广播电视新闻策划的影响因素，在此基础上提出了强化广播电视新闻策划中创新的有效途径。 关键词：广播电视新闻：策划：创新途径 广播电视新闻节目策划的关键是策划，主要是将新闻事件加以分析、整理、编排，全部整合以后制定出相应的
文章阐述医院内审工作的主要内容及模式,探讨在信息化条件下推进内审管理模式的转变,充分利用信息系统对医院经济运行数据进行动态实时监控,促进医院管理水平和经济效益的提
在各个高校开设的公共课程中,健美操是比较受到学生欢迎的一种运动形式,作为一种全新的运动理念可以让学生获得形体的美。而随着信息时代的进步,在高校的健美操课程中也发生