Applying Executable Specifications - (A Short Project Summary & Survey)

Reuven Yagel, Ori Sarig

2012

Abstract

This paper summarizes a student graduation project concerning applying executable specifications. It reviews some of the advantages of executable specifications and how it could help the communication between the developer, the software tester and the client. It draws some conclusions trying to explain why in spite of their great potential, they are still not an essential part of the common software development toolbox today.

References

  1. Adzic, G., Bridging the Communication Gap: Specification by Example and Agile Acceptance Testing, Neuri, London, UK, 2009.
  2. Adzic, G., Specification by Example - How Successful Teams Deliver the Right Software, Manning, New York, USA, 2011.
  3. Beck, K., Test Driven Development: By Example, Addison-Wesley, Boston, MA, USA, 2002.
  4. Brown, K., Taking executable specs to the next level: Executable Documentation, Blog post, (see: http://keithbrown42.wordpress.com/2011/06/26/taking-executable-specs-to-thenext-level-executable-documentation/), 2011.
  5. 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.
  6. Freeman, S., and Pryce N.: Growing Object-Oriented Software, Guided by Tests, AddisonWesley, Boston, MA, USA, 2009.
  7. Humble J., and Farley D.: Continuous Delivery: Reliable Software Releases through Build, Test, and Deployment Automation, Addison-Wesley, Boston, MA, USA, 2010.
  8. Jenkins: (see: http://jenkins-ci.org/), 2012
  9. Koskela L., Test Driven, Practical TDD and Acceptance TDD for Java Developers, Manning Publications, 2007.
  10. North, D.: "Introducing Behaviour Driven Development", Better Software Magazine, (see http://dannorth.net/introducing-bdd/), 2006.
  11. NuGet (see: http://nuget.codeplex.com/), 2012.
  12. NUnit: (see http://www.nunit.org), 2012.
  13. Pais M. Virtual Panel: Code-to-Test Ratios, TDD and BDD, (see: http://www.infoq.com/articles/virtual-panel-tdd-bdd), 2012
  14. Sanderson S., Pro ASP.NET MVC Framework, Apress, 2009.
  15. SpecFlow - Pragmatic BDD for .NET: (see http://specflow.org), 2010.
  16. Watir, Automated testing that doesn't hurt, (see: http://watir.com/), 2012.
  17. Wynne, M. and Hellesoy, A.: The Cucumber Book: Behaviour Driven Development for Testers and Developers, Pragmatic Programmer, New York, USA, 2012.
  18. 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

Yagel R. and Sarig O. (2012). Applying Executable Specifications - (A Short Project Summary & Survey) . In Proceedings of the 3rd International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2012) ISBN 978-989-8565-32-7, pages 67-70. DOI: 10.5220/0004179800670070


in Bibtex Style

@conference{sky12,
author={Reuven Yagel and Ori Sarig},
title={Applying Executable Specifications - (A Short Project Summary & Survey)},
booktitle={Proceedings of the 3rd International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2012)},
year={2012},
pages={67-70},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004179800670070},
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 - Applying Executable Specifications - (A Short Project Summary & Survey)
SN - 978-989-8565-32-7
AU - Yagel R.
AU - Sarig O.
PY - 2012
SP - 67
EP - 70
DO - 10.5220/0004179800670070