乔恩，帕沃；托马斯·亨辛格（Thomas A.Henzinger）。；劳拉·科瓦奇；阿琼·拉德哈克利什纳；雅各布兹维奇梅尔 用于最坏执行时间分析的段抽象。 （英语） Zbl 1335.68049号 Vitek，Jan（编辑），《编程语言和系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032，105-131（2015）。 摘要：在程序最坏情况执行时间（WCET）分析的标准框架中，主要数据结构是表示整个程序的整数线性规划（ILP）的单个实例。必须解决此NP-hard问题的实例，才能找到WCET的估计值，如果估计值不紧，则必须对其进行改进。我们提出了一种新的WCET分析框架，该框架基于抽象段树（AST）作为主要数据结构。AST有两个优点。首先，它们允许通过求解一些独立的小型ILP实例来计算WCET。其次，AST存储了更具表现力的约束，从而实现了更高效、更精确的细化过程。为了在算法上实现我们的框架，我们开发了一种AST上的WCET估计算法，并开发了一个基于插值的AST反例引导细化方案。此外，我们扩展了我们的框架以获得WCET的参数估计。我们在WCET基准套件和线性代数包的一组示例上对我们的方法进行了实验评估。我们表明，我们的分析通过可比较的努力，提供了WCET估计，在许多情况下显著改善了现有工具计算的结果。关于整个系列，请参见[Zbl 1333.68020号]. 引用于1文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68第05页 数据结构 PDF格式BibTeX公司 XML格式引用 \文本{P.Černý}等人，Lect。注释计算。科学。9032、105--131（2015年；Zbl 1335.68049） 全文： 内政部