Unit Testing Using Design by Contract and Equivalence Partitions

  • Conference paper
  • First Online:
Extreme Programming and Agile Processes in Software Engineering (XP 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2675))

Abstract

Extreme Programming [1] and in particular the idea of Unit Testing can improve the quality of the testing process. But still programmers need to do a lot of tiresome manual work writing test cases. If the programmers could get some automatic tool support enforcing the quality of test cases then the overall quality of the software would improve significantly.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
EUR 29.95
Price includes VAT (Germany)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
EUR 42.79
Price includes VAT (Germany)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
EUR 53.49
Price includes VAT (Germany)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free ship** worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. K. Beck. Extreme programming explained. Addison Wesley, 2000.

    Google Scholar 

  2. B. Beizer. Software testing techniques. Van Nostrand Reinhold, 1990. Second Edition.

    Google Scholar 

  3. B. Meyer. Object-oriented software construction. Prentice Hall, 1997. Second Edition.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Madsen, P. (2003). Unit Testing Using Design by Contract and Equivalence Partitions. In: Marchesi, M., Succi, G. (eds) Extreme Programming and Agile Processes in Software Engineering. XP 2003. Lecture Notes in Computer Science, vol 2675. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44870-5_69

Download citation

  • DOI: https://doi.org/10.1007/3-540-44870-5_69

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40215-2

  • Online ISBN: 978-3-540-44870-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Navigation