Testing Executable Themes

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

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⟩

Share

Metrics

Record views

263

Files downloads

80