ROM: A Runnable Ontology Model Testing Tool

Iaakov Exman, Reuven Yagel

2012

Abstract

In the quest for the highest possible abstraction of software systems, Runnable Knowledge has been proposed for MDA. But in order to test in practice such a system design one needs to actually run the model. This work precisely describes the necessary steps by which ROM – a Runnable Ontology Model tool – automatically generates a running model from the designed Runnable Knowledge. The novel idea is to use ready-made mock object libraries to efficiently obtain the running model code. The tool feasibility is demonstrated by substituting its modules by the semi-automatic concatenation of existing tools, each performing the role of one of its modules. Detailed examples are provided to illustrate each of the ROM generation steps.

References

  1. Adzic, G., Test Driven .NET Development with FitNesse, Neuri, London, UK, 2008.
  2. Adzic, G., Bridging the Communication Gap: Specification by Example and Agile Acceptance Testing, Neuri, London, UK, 2009.
  3. Adzic, G., Specification by Example - How Successful Teams Deliver the Right Software, Manning, New York, USA, 2011.
  4. Beck, K., Test Driven Development: By Example, Addison-Wesley, Boston, MA, USA, 2002.
  5. Brown, K., Taking executable specs to the next level: Executable Documentation, Blog post, (see: http://keithps.wordpress.com/2011/06/26/taking-executable-specs-to-the-nextlevel-executable-documentation/), 2011.
  6. Calero, C., Ruiz, F. and Piattini, M. (eds.): Ontologies in Software Engineering and Software Technology, Springer, Heidelberg, Germany, 2006.
  7. Chelimsky, D., Astels, D., Dennis, Z., Hellesoy, A., Helmkamp, B., and North, D,: The RSpec Book: Behaviour Driven Development with RSpec, Cucumber, and Friends, Pragmatic Programmer, New York, USA, 2010.
  8. Exman, I, Llorens, J. and Fraga, A.: "Software Knowledge", pp. 9-12, in Exman, I., Llorens, J. and Fraga, A. (eds.), Proc. SKY'2010 Int. Workshop on Software Engineering, 2010.
  9. Freeman, S., and Pryce N.: Growing Object-Oriented Software, Guided by Tests, AddisonWesley, Boston, MA, USA, 2009.
  10. Mellor, S. J. and Balcer, M. J.: Executable UML - A Foundation for Model-Driven Architecture, Addison-Wesley, Boston, MA, USA, 2002.
  11. Moq - the simplest mocking library for .NET and Silverlight: (see http://code.google.com/p/moq/), 2012.
  12. North, D.: "Introducing Behaviour Driven Development", Better Software Magazine, (see http://dannorth.net/introducing-bdd/), 2006.
  13. NUnit: (see http://www.nunit.org), 2012.
  14. SpecFlow - Pragmatic BDD for .NET: (see http://specflow.org), 2010.
  15. Wynne, M. and Hellesoy, A.: The Cucumber Book: Behaviour Driven Development for Testers and Developers, Pragmatic Programmer, New York, USA, 2012.
  16. Yagel, R.: "Can Executable Specifications Close the Gap between Software Requirements and Implementation?", pp. 87-91, in Exman, I., Llorens, J. and Fraga, A. (eds.), Proc. SKY'2011 Int. Workshop on Software Engineering, SciTePress, Portugal, 2011.
Download


Paper Citation


in Harvard Style

Exman I. and Yagel R. (2012). ROM: A Runnable Ontology Model Testing Tool . In Proceedings of the 3rd International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2012) ISBN 978-989-8565-32-7, pages 22-30. DOI: 10.5220/0004176800220030


in Bibtex Style

@conference{sky12,
author={Iaakov Exman and Reuven Yagel},
title={ROM: A Runnable Ontology Model Testing Tool},
booktitle={Proceedings of the 3rd International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2012)},
year={2012},
pages={22-30},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004176800220030},
isbn={978-989-8565-32-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2012)
TI - ROM: A Runnable Ontology Model Testing Tool
SN - 978-989-8565-32-7
AU - Exman I.
AU - Yagel R.
PY - 2012
SP - 22
EP - 30
DO - 10.5220/0004176800220030