Achieving Appropriate Test Coverage for Reliable Measurement-Based Timing Analysis
Stephen A. Law and Iain. Bate
Establishing Worst Case Execution Times (WCET) using Measurement-Based Timing Analysis (MBTA) is only effective if we have reasonable confidence that we have fed the worst case execution trace into the analysis. Therefore for certification, the quality of these traces is of paramount importance. This paper aims to investigate how search algorithms can be used to automatically, and reliably, generate test cases so that appropriate execution traces are available to support MBTA. The work carried out in this paper uses a standard search algorithm and created a number of fitness functions to target the generation of âgood dataâ. The results are then input into a commercial measurement-based WCET analysis tool. The new fitness functions focus on achieving a combination of full branch coverage and a high number of loop counts, or partial path coverage, however are shown to achieve reliable approximations of the WCET particularly when combined with an MBTA tool. The code items used for the analysis included off the shelf benchmarks, as well as industrial safety-critical aircraft engine control software.
BibTex Entry
@inproceedings{Law2016,
author = {Stephen A. Law and Iain. Bate},
booktitle = {Proceedings of the 28th Euromicro Conference on Real-Time Systems (ECRTS16)},
title = {Achieving Appropriate Test Coverage for Reliable Measurement-Based Timing Analysis},
year = {2016}
}