Considering non-functional properties of a software system early in the development process is crucial for guaranteeing that non-functional requirements will be fulfilled by the system under development.

We developed a model-based analysis framework based on fUML for enabling the implementation of model-based analysis tools. This framework enables to carry out model-based analysis of non-functional properties of a software system based on runtime information in the form of traces obtained by executing UML models using the fUML virtual machine. Therefore, the framework integrates UML profile applications with execution traces to enable the consideration of additional information captured in profile applications in the model-based analysis as required for instance in performance analysis.

More details on this topic can be found at http://www.modelexecution.org/?page_id=204

This work is done in collaboration with University of L’Aquila.

SEALAB Quality Group - University of L'Aquila

 Leave a Reply

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>

(required)

(required)

   
© 2012 moliz by Vienna University of Technology Suffusion theme by Sayontan Sinha