License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.WCET.2005.809
URN: urn:nbn:de:0030-drops-8094
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2007/809/
Go to the corresponding OASIcs Volume Portal

Williams, Nicky

WCET measurement using modified path testing

pdf-format:
WCET_05.Williams.809.pdf (0.4 MB)

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.

BibTeX - Entry

@InProceedings{williams:OASIcs:2007:809,
  author =	{Nicky Williams},
  title =	{{WCET measurement using modified path testing}},
  booktitle =	{5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-24-8},
  ISSN =	{2190-6807},
  year =	{2007},
  volume =	{1},
  editor =	{Reinhard Wilhelm},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2007/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}
}

Keywords: WCET measurement, automatic generation of test inputs, path coverage, PathCrawler
Collection: 5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)
Issue Date: 2007
Date of publication: 29.03.2007

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI