Re: Length of unbounded_string.

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Thu, 27 Oct 2011 13:28:39 +0200, Georg Bauhaus wrote:

> On 27.10.11 10:56, Simon Wright wrote:
>> "Randy Brukardt" <randy@rrsoftware.com> writes:
>> 
>>> Even people who should know better do it (and I know I have,
>>> too). It's a pain to create a reproducing example, but a lot of time
>>> when I do that, it becomes clear what is wrong (and it often is
>>> "operator error"!).
>> 
>> Me too.
> 
> A natural extension of this phenomenon into the workplace seems to
> be writing tests.

And the reasonable one is static checks.

> *) test cases increase the likelihood of isolated pieces of
>    software that can be forward to help desks

What is "the likelihood of isolated pieces"?

> *) writing tests means documenting and verifying assumptions.

It does not.

A proper statement should sound like: the software must be developed in a
way that would make it testable.

This has little to do with either documentation or understanding of a
*given* implementation, just a separate issue. Furthermore, I would argue
that the documentation developed on the basis of tests, or even of use
cases, would be rather poor.

> It has taken a bit of patience and getting used to, but writing
> tests early seems well worth it. With or without "formal methods".

One should complement another.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de