From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,f9907f8bfe34dbdb
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news2.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!cyclone1.gnilink.net!gnilink.net!bigfeed.bellsouth.net!bignumber.bellsouth.net!news.bellsouth.net!bignews1.bellsouth.net.POSTED!c42b4e79!not-for-mail
From: "Brian Gaffney" <brianDOTgaffney@myrealbox.com>
Newsgroups: comp.lang.ada
References: <904464b6-c007-4a2e-b643-498e84973be4@37g2000yqp.googlegroups.com>
 <4d091d9d-c5bd-433c-b858-a2a37d2f2fe9@r33g2000yqn.googlegroups.com>
 <0a64b166-4a07-4819-b8c4-42d10b04768f@w34g2000yqm.googlegroups.com>
Subject: Re: Mika by Midoan : Automated Test Data Generation for Ada
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.2180
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2180
X-RFC2646: Format=Flowed; Original
Message-ID: <FgyBl.24345$9a.1974@bignews1.bellsouth.net>
X-Complaints-To: abuse@bellsouth.net
X-Abuse-Info: Please forward a copy of all headers for proper handling
X-Trace: 
 pcpocbcnbdmdhgfgdbdpiflmbcekedmfhojhikkbagflhcbonhanepnpjglchiladdckcdbfebaeghjnomcelfgoopodplljbmdckjboalbflflcipkjhpnjfbccflaemgnifofkaghgpiekomlgcccebcdfdbbm
NNTP-Posting-Date: Fri, 03 Apr 2009 20:58:13 EDT
Organization: BellSouth Internet Group
Date: Fri, 3 Apr 2009 21:06:47 -0500
Xref: g2news2.google.com comp.lang.ada:5404
Date: 2009-04-03T21:06:47-05:00
List-Id: <comp.lang.ada>

> <info@midoan.com> wrote
> On Mar 24, 3:31 pm, Martin <martin.do...@btopenworld.com> wrote:
> > On 23 Mar, 14:28, i...@midoan.com wrote:
> >
> > > Midoan Software Engineering Solutions Ltd. (http://www.midoan.com/) 
> > > announces
> > > the release of Mika, the first commercial testing tool for Ada that 
> > > automatically generates
> > > test inputs from your source code.

In what way does VectorCast/Ada not count as "automatically generates test 
inputs from your source code"?

> >
> > "Can Mika handle Ada 20005 code?" - blimey that's optimistic! Who has
> > asked for that!!! :-)

Support for Ada 2005 would be a great thing.  I haven't seen any test tool 
(or any other non-compiler tool) that supports it.  Even a plan to support 
it (or parts of it) would be an improvement.

> >
> > Cheers
> > -- Martin
>
> p.s. looks good...will try when I can...

Likewise.

--Brian [part of a team that has "asked for that"]

-- Some world views are spacious
--  and some are merely spaced.