GenE: A Benchmark Generator for WCET Analysis
GenE: A Benchmark Generator for WCET Analysis
复制标题
GenE：WCET 分析的基准生成器
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Wolfgang Schröder
中科院分区：
文献类型：
--
作者：
Peter Wägemann;T. Distler;Timo Hönig;V. Sieh;Wolfgang Schröder
许多用于评估最坏情况执行时间（WCET）分析工具的基准测试都是基于实际应用程序的，这一事实大大增加了它们的结果的价值。但是，与此同时，这些程序的复杂性使得很难，有时甚至不可能获得所有相应的流事实（即，循环边界、不可行路径和触发WCET的输入值），这些对于综合评估至关重要。在本文中，我们解决这个问题，提出基因，基准生成器，除了源代码还提供了流的事实创建的基准。为了生成新的基准，该工具结合了实时应用程序中常见的代码模式，并且对WCET分析器具有挑战性。通过跟踪模式是如何组合在一起的，GenE能够基于所使用的模式的已知流事实来确定结果基准的流事实。使用这些信息，可以直接合成准确的WCET，然后可以作为评估WCET分析仪的基线。
The fact that many benchmarks for evaluating worst-case execution time (WCET) analysis tools are based on real-world applications greatly increases the value of their results. However, at the same time, the complexity of these programs makes it difficult, sometimes even impossible, to obtain all corresponding flow facts (i.e., loop bounds, infeasible paths, and input values triggering the WCET), which are essential for a comprehensive evaluation. In this paper, we address this problem by presenting GenE, a benchmark generator that in addition to source code also provides the flow facts of the benchmarks created. To generate a new benchmark, the tool combines code patterns that are commonly found in real-time applications and are challenging for WCET analyzers. By keeping track of how patterns are put together, GenE is able to determine the flow facts of the resulting benchmark based on the known flow facts of the patterns used. Using this information, it is straightforward to synthesize the accurate WCET, which can then serve as a baseline for the evaluation of WCET analyzers.