Using Model-Based Traces as Runtime Models

  • Authors:
  • Shahar Maoz

  • Affiliations:
  • Weizmann Institute of Science

  • Venue:
  • Computer
  • Year:
  • 2009

Quantified Score

Hi-index 4.10

Visualization

Abstract

Software engineers typically use code-level tracing to capture a running system's behavior. An alternative is to generate and analyze model-based traces, which contain rich semantic information about the system's runs at the abstraction level that its design models define. A set of metrics and operators can aid such trace analysis.