From: Robert <bob.news@...>
Date: 2003-01-12T05:47:18+09:00
Subject: DbC and Unit Testing (was: Re: Interfaces in Ruby (attempted summary))


"Robert Klemme" <bob.news@gmx.net> schrieb im Newsbeitrag
news:ave42g$em0fq$1@ID-52924.news.dfncis.de...
> but the longer i think about it the lesser i like that idea, especially
> because of issue (2) you listed.  i'll have a look at you page and if i
get
> some new insights i let you know.  thanks for your time!

i read your article at
http://w3.one.net/~jweirich/talks/dbc-and-unittests.html and fully agree.  i
always think that one important point (or maybe the most important point) of
DbC and unit testing is, that it forces you to think about what you expect
from the code you are going to write.  the array resize is a nice example of
this: you could think of several different implementations that are all
reasonable among them versions that don't even try to preserve old content.
but the version choosen behaves differently and this had to be decided on
and it is documented in the unit tests as well as in the postcondition.
(even if it lacks ease of understanding it surely makes clear that there is
something more complex going on as a simple resize.)

regards

    robert