comp.lang.ada
 help / color / mirror / Atom feed
From: Midoan <midoan.ses@gmail.com>
Subject: Re: Is Aunit helpful?
Date: Mon, 16 Aug 2010 02:02:24 -0700 (PDT)
Date: 2010-08-16T02:02:24-07:00	[thread overview]
Message-ID: <6b7a14bc-8c7b-4e53-816f-c69213fba1a3@z10g2000yqb.googlegroups.com> (raw)
In-Reply-To: 82iq3bugxa.fsf@stephe-leake.org

On Aug 16, 8:59 am, Stephen Leake <stephen_le...@stephe-leake.org>
wrote:
> Midoan <midoan....@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

Stephen,

it depends what you call a test. Formally, Mika does generate test
inputs automatically to achieve full coverage of the code under test:
that is not a bogus claim.

Tests cases on the other hand cannot be generated from code alone: a
test case includes test inputs and expected output according to the
specification or some oracle. Mika can help in this process too but
require human/oracle validation (once per tests) of the outputs.

We not feel that the information on our website is misleading. We are
however in the process of developing better user documentation,
training and support.

Hope this helps.
Regards.
The Midoan Team.



  reply	other threads:[~2010-08-16  9:02 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
2010-08-16  9:02                     ` Midoan [this message]
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