Authors:
Antonio García-Domínguez
;
Inmaculada Medina-Bulo
and
Mariano Marcos-Bárcena
Affiliation:
University of Cádiz, Spain
Keyword(s):
Model-driven engineering, Performance testing, UML, MARTE, Non-functional requirements.
Related
Ontology
Subjects/Areas/Topics:
Cross-Feeding between Data and Software Engineering
;
Model-Driven Engineering
;
Requirements Elicitation and Specification
;
Software Engineering
;
Software Engineering Methods and Techniques
;
Software Testing and Maintenance
Abstract:
High-quality software needs to meet both functional and non-functional requirements. In some cases, software
must accomplish specific performance requirements, but most of the time, only high-level performance
requirements are available: it is up to the developer to decide what performance should be expected from each
part of the system. In this context, the MARTE profile was proposed by the OMG to extend UML for modeldriven
development of real-time and embedded systems, focusing on assisting early performance analysis and
scheduling. We propose using the MARTE profile to derive the performance requirements of each action in
an UML activity diagram from the requirements of the containing activity and some local annotations. In
this work, we show how the MARTE profile can be used for this purpose, define algorithms for computing
the required throughput and time limit for each action and study their theoretical and empirical performance.
The algorithms have been integrated into the Pa
pyrus UML diagram editor and feed back their results into the
original model. Running both algorithms on activities with 225 paths requires 10 seconds on average.
(More)