Estimating footprints of model operations

When performed on a model, a set of operations (e.g., queries or model transformations) rarely uses all the information present in the model. Unintended underuse of a model can indicate various problems: the model may contain more detail than necessary or the operations may be immature or erroneous....

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:2011 33rd International Conference on Software Engineering (ICSE) S. 601 - 610
Hauptverfasser: Jeanneret, Cédric, Glinz, Martin, Baudry, Benoit
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: New York, NY, USA ACM 21.05.2011
IEEE
Schriftenreihe:ACM Conferences
Schlagworte:
Analytical models
Computational modeling
Computing methodologies > Modeling and simulation > Model development and analysis
Computing methodologies > Modeling and simulation > Model development and analysis > Model verification and validation
Context modeling
Heuristic algorithms
model footprint
model operation
Object oriented modeling
Petri nets
Software and its engineering > Software creation and management > Designing software > Software implementation planning > Software design techniques
Software and its engineering > Software creation and management > Software development process management
static analysis
Unified modeling language
static analysis
model footprint
model operation
ISBN:9781450304450, 1450304451
ISSN:0270-5257
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:When performed on a model, a set of operations (e.g., queries or model transformations) rarely uses all the information present in the model. Unintended underuse of a model can indicate various problems: the model may contain more detail than necessary or the operations may be immature or erroneous. Analyzing the footprints of the operations - i.e., the part of a model actually used by an operation - is a simple technique to diagnose and analyze such problems. However, precisely calculating the footprint of an operation is expensive, because it requires analyzing the operation's execution trace. In this paper, we present an automated technique to estimate the footprint of an operation without executing it. We evaluate our approach by applying it to 75 models and five operations. Our technique provides software engineers with an efficient, yet precise, evaluation of the usage of their models.
ISBN:9781450304450
1450304451
ISSN:0270-5257
DOI:10.1145/1985793.1985875