Testing Executable Themes

by Andrew Jackson, Jacques Klein, Benoit Baudry, Siobhan Clarke
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.
Reference:
Testing Executable Themes (Andrew Jackson, Jacques Klein, Benoit Baudry, Siobhan Clarke), In Proc. of the MDSD workshop at ECOOP 06, 2006.
Bibtex Entry:
@inproceedings{Jackson06a,
	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.},
	Address = {Nantes, France},
	keywords = {test, AOP, MDE},
	Author = {Jackson, Andrew and Klein, Jacques and Baudry, Benoit and Clarke, Siobhan},
	Booktitle = {Proc. of the  MDSD workshop at {ECOOP 06}},
	Month = jul,
	Title = {Testing Executable Themes},
	url = {http://www.irisa.fr/triskell/publis/2006/Jackson06a.pdf},
	X-International-Audience = {yes},
	X-Proceedings = {yes},
	X-Language = {EN},
	Year = {2006},
	x-abbrv = {MDSD},
}