DROPS

Document

DOI: 10.4230/OASIcs.WCET.2005.809

WCET measurement using modified path testing

Authors: Nicky Williams

Published in: OASIcs, Volume 1, 5th International Workshop on Worst-Case Execution Time Analysis (WCET'05) (2007)

Abstract

Prediction of Worst Case Execution Time (WCET) is made increasingly difficult by the recent developments in micro-processor architectures. Instead of predicting the WCET using techniques such as static analysis, the effective execution time can be measured when the program is run on the target architecture ir a cycle-accurate simulator. However, exhaustive measurments on all possible input values are usually prohibited by the numer of possible input values. As a first step towardsa solution, we propose path testing using the PathCrawler tool to automatically generate test inputs for all feasible execution paths in C source code. For programs containing too many execution paths for this approach to be feasible, we propose to modify PathCrawler's strategy in order to cut down on the number of generated tests while still ensuring measurment of the path with the longest execution time.

Cite as

Nicky Williams. WCET measurement using modified path testing. In 5th International Workshop on Worst-Case Execution Time Analysis (WCET'05). Open Access Series in Informatics (OASIcs), Volume 1, pp. 17-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{williams:OASIcs.WCET.2005.809,
  author =	{Williams, Nicky},
  title =	{{WCET measurement using modified path testing}},
  booktitle =	{5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)},
  pages =	{17--20},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-24-8},
  ISSN =	{2190-6807},
  year =	{2007},
  volume =	{1},
  editor =	{Wilhelm, Reinhard},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2005.809},
  URN =		{urn:nbn:de:0030-drops-8094},
  doi =		{10.4230/OASIcs.WCET.2005.809},
  annote =	{Keywords: WCET measurement, automatic generation of test inputs, path coverage, PathCrawler}
}

Search Results

Documents authored by Williams, Nicky

WCET measurement using modified path testing

Abstract

Cite as

Thanks for your feedback!

Could not send message