Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH scholarly article en Williams, Nicky http://www.dagstuhl.de/oasics License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-8094
URL:

WCET measurment using midified path testing

pdf-format:


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 measurment using midified 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 =		{http://dx.doi.org/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
Seminar: 5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)
Issue date: 2007
Date of publication: 2007


DROPS-Home | Fulltext Search | Imprint Published by LZI