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 metadatas

Cited literature [7 references]  Display  Hide  Download
https://hal.inria.fr/inria-00512543
Contributor : Didier Vojtisek <>
Submitted on : Monday, August 30, 2010 - 5:44:13 PM
Last modification on : Friday, November 16, 2018 - 1:24:46 AM
Long-term archiving on : Thursday, December 1, 2016 - 9:34:31 AM

File

Jackson06a.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00512543, version 1

Collections

INRIA | UNIV-RENNES1 | IRISA | IRISA-D4 | UR1-UFR-ISTIC | UNIV-RENNES | INSA-GROUPE

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

263

Files downloads

80

Contact


archive-ouverte@inria.fr