From: Stephen Leake <stephen_leake@stephe-leake.org>
Subject: Re: Is Aunit helpful?
Date: Mon, 16 Aug 2010 03:59:13 -0400
Date: 2010-08-16T03:59:13-04:00 [thread overview]
Message-ID: <82iq3bugxa.fsf@stephe-leake.org> (raw)
In-Reply-To: 32dc1191-0a83-40ef-8bbc-a13a06f2167e@u26g2000yqu.googlegroups.com
Midoan <midoan.ses@gmail.com> writes:
>> Midoan <midoan....@gmail.com> writes:
>> > On Aug 14, 6:57 am, Stephen Leake <stephen_le...@stephe-leake.org>
>> > wrote:
>>
>> How can a tool possibly generate expected results? If it reads the code,
>> it can only generate the results that the code _will_ produce. But
>> that's the opposite of a test; the expected results are what the code
>> _should_ produce, based on some other spec (not the Ada spec). A testing
>> process _must_ assume the code is wrong.
>
> Yes of course you are right; and that's what we meant. What we meant
> was that the code's result must always be validated externally of the
> tool.
Ok, good.
> Mika will simply ask the question "given these inputs, are those
> expected outputs?".
I suggest you emphasize this point on your website.
If a website describes a tool that claims to "automatically generate
tests", I stop reading, since I know that's a bogus claim.
I would consider a tool that "helps identify all required test cases".
--
-- Stephe
next prev parent reply other threads:[~2010-08-16 7:59 UTC|newest]
Thread overview: 45+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-08-04 14:19 Is Aunit helpful? Ada novice
2010-08-05 12:07 ` Stephen Leake
2010-08-05 17:29 ` Ada novice
2010-08-05 18:18 ` Tero Koskinen
2010-08-05 20:39 ` Ada novice
2010-08-05 20:57 ` Simon Wright
2010-08-13 16:43 ` Yannick Duchêne (Hibou57)
2010-08-13 19:34 ` Simon Wright
2010-08-13 20:59 ` Yannick Duchêne (Hibou57)
2010-08-14 6:57 ` Stephen Leake
2010-08-14 13:38 ` Yannick Duchêne (Hibou57)
2010-08-14 21:33 ` Midoan
2010-08-14 21:38 ` Yannick Duchêne (Hibou57)
2010-08-14 21:49 ` Simon Wright
2010-08-14 22:04 ` Yannick Duchêne (Hibou57)
2010-08-15 7:57 ` Midoan
2010-08-15 11:46 ` Simon Wright
2010-08-15 12:10 ` Stephen Leake
2010-08-15 21:47 ` Midoan
2010-08-15 22:58 ` Yannick Duchêne (Hibou57)
2010-08-17 2:46 ` Randy Brukardt
2010-08-17 12:37 ` Cyrille
2010-08-20 9:22 ` Yannick Duchêne (Hibou57)
2010-08-20 9:20 ` Yannick Duchêne (Hibou57)
2010-08-16 7:59 ` Stephen Leake [this message]
2010-08-16 9:02 ` Midoan
2010-08-26 17:45 ` Colin Paul Gloster
2010-08-07 16:57 ` Marco
2010-08-13 14:09 ` Yannick Duchêne (Hibou57)
2010-08-05 20:48 ` Simon Wright
2010-08-06 9:06 ` Ada novice
2010-08-06 16:51 ` Simon Wright
2010-08-06 18:13 ` Ada novice
2010-08-08 13:39 ` John McCormick
2010-08-08 17:10 ` Ada novice
2010-08-09 17:05 ` John McCormick
2010-08-09 17:23 ` Michael R
2010-08-10 8:33 ` Ada novice
2010-08-10 13:48 ` John McCormick
2010-08-10 9:45 ` Mark Lorenzen
2010-08-10 14:07 ` John McCormick
2010-08-10 17:32 ` Ada novice
2010-08-12 15:04 ` John McCormick
2010-08-17 15:51 ` Ada novice
2010-08-13 15:31 ` Yannick Duchêne (Hibou57)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox