comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Length of unbounded_string.
Date: Thu, 27 Oct 2011 16:34:37 +0200
Date: 2011-10-27T16:34:37+02:00	[thread overview]
Message-ID: <1lj8ipv0wl4qj.1oxrb1x2pjmuv.dlg@40tude.net> (raw)
In-Reply-To: 4ea95d17$0$7612$9b4e6d93@newsspool1.arcor-online.net

On Thu, 27 Oct 2011 15:31:03 +0200, Georg Bauhaus wrote:

> OK, bad phrasing. Parts of a program that can be run in
> isolation from the rest of the program, to see some effect,

That is modularity. The purpose of having it modular is not directly
testing.

Also the way components/modules are factored out may help testing or hinder
testing. E.g. you could develop modules in order to run the program in
parallel, which would make testing significantly more difficult.

>>> *) 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.
> 
> OK, but testable is another void. (What is the meaning of
> "testable" without invoking more definitions, recursively,

It means that the design must allow testing for certain (specified upfront)
properties of the software. Modularity is just a part of this equation.
Think about integration tests.

>> This has little to do with either documentation or understanding of a
>> *given* implementation, just a separate issue.
> 
> Interesting, but I had not meant to say something about existing
> software that wasn't developed with testing all along driving
> the writing process.

Even so, the way software is used and understood differs from those while
testing. Compare testing a computer game and playing it, testing a music
record for defects and listening it etc.

If testing would improve understanding then only because more time is
invested in dealing with the program, not because testing helps it better
than, for example, core review.

BTW, 1. programmer, 2. tester, 3. technical writer classically are
different roles.

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



  reply	other threads:[~2011-10-27 14:34 UTC|newest]

Thread overview: 33+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-10-25  9:37 Length of unbounded_string ldries46
2011-10-25 17:57 ` Jeffrey Carter
2011-10-28  2:54   ` ldries46
2011-10-28  4:55     ` Jeffrey Carter
2011-10-25 20:23 ` Vadim Godunko
2011-10-25 21:28   ` Simon Wright
2011-10-26  4:41     ` Simon Wright
2011-10-26 22:47     ` Randy Brukardt
2011-10-27  8:05       ` AdaMagica
2011-10-27  8:56       ` Simon Wright
2011-10-27 11:05         ` Brian Drummond
2011-10-28  3:12           ` ldries46
     [not found]           ` <4eafc489$0$3081$703f8584@textnews.kpn.nl>
2011-11-01 18:22             ` Jeffrey Carter
2011-10-27 11:28         ` Georg Bauhaus
2011-10-27 12:17           ` Dmitry A. Kazakov
2011-10-27 13:31             ` Georg Bauhaus
2011-10-27 14:34               ` Dmitry A. Kazakov [this message]
  -- strict thread matches above, loose matches on Subject: below --
2011-10-16  8:48 ldries46
2011-10-16  9:59 ` Niklas Holsti
2011-10-16 12:06   ` ldries46
2011-10-16 12:52   ` ldries46
2011-10-16 13:00     ` Niklas Holsti
2011-10-17  7:39       ` ldries46
2011-10-17 19:49         ` Niklas Holsti
2011-10-18 11:47           ` ldries46
2011-10-18 17:54             ` Niklas Holsti
2011-10-19  2:38               ` ldries46
2011-10-19  6:07                 ` Niklas Holsti
2011-10-24 15:10                   ` ldries46
2011-10-19  6:37                 ` Simon Wright
2011-10-19 14:48                 ` Alex Mentis
2011-10-24 17:04                   ` ldries46
2011-10-16 10:14 ` Vinzent Hoefler
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox