Skip to Main content Skip to Navigation
Conference papers

Testing Executable Themes

Andrew Jackson 1 Jacques Klein 2 Benoit Baudry 3 Siobhan Clarke 1
1 Department of Computer Science - Trinity College Dublin
2 LASSY - Laboratory of Advanced Software SYstems [Luxembourg]
3 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Design validation is important for detecting errors early in the development life cycle. Testing the design is one significant means to achieve design validation. In this paper we present initial work to make Theme/UML models executable and therefore testable.
Document type :
Conference papers
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download
https://hal.inria.fr/inria-00512543
Contributor : Didier Vojtisek Connect in order to contact the contributor
Submitted on : Monday, August 30, 2010 - 5:44:13 PM
Last modification on : Tuesday, June 15, 2021 - 4:27:09 PM
Long-term archiving on: : Thursday, December 1, 2016 - 9:34:31 AM

File

Vignette du document
Jackson06a.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00512543, version 1

Collections

CNRS | INRIA | UNIV-RENNES1 | IRISA | IRISA-D4 | UR1-MATH-STIC | UR1-UFR-ISTIC | UNIV-RENNES | INSA-GROUPE | INSA-RENNES | UR1-MATH-NUM | EC-PARIS

Citation

Andrew Jackson, Jacques Klein, Benoit Baudry, Siobhan Clarke. Testing Executable Themes. In Second Workshop on Models and Aspects, Handling Crosscutting Concerns in MDSD at , 2006, Nantes, France, France. ⟨inria-00512543⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

291

Files downloads

101

 

Contact                    Legal Notice                    Personal Data