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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,f9907f8bfe34dbdb,start
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!postnews.google.com!37g2000yqp.googlegroups.com!not-for-mail
From: info@midoan.com
Newsgroups: comp.lang.ada
Subject: [ANNOUNCE] Mika by Midoan : Automated Test Data Generation for Ada
Date: Mon, 23 Mar 2009 07:28:01 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: <904464b6-c007-4a2e-b643-498e84973be4@37g2000yqp.googlegroups.com>
NNTP-Posting-Host: 78.16.128.152
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: posting.google.com 1237818481 23050 127.0.0.1 (23 Mar 2009 14:28:01
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 23 Mar 2009 14:28:01 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: 37g2000yqp.googlegroups.com; posting-host=78.16.128.152;
	posting-account=X24XNwoAAACSn_ecescZSCM9-2ONsCM_
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-GB; rv:1.9.0.7)
	Gecko/2009021910 Firefox/3.0.7 (.NET CLR 3.5.30729),gzip(gfe),gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:4234
Date: 2009-03-23T07:28:01-07:00
List-Id: <comp.lang.ada>

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.

Mika is an entirely automatic tool that analyses your Ada code and
generates,
carefully constructed, tests that will exercise all the branches or
decision
within your code at a level suitable for integration testing. With
Mika, manual
test data generation is no longer necessary.

If you are involded in the testing of Ada code, you should check what
Mika can
do for you: it may well save you weeks of arduous, manual, test data
generation.

You can download and try Mika today at http://www.midoan.com/
The website contains further information and actual examples of
Mika's
capabilities.

Remember, Mika does not generate 1000s of random tests: each test is
carefully
constructed to increase the testing coverage of your code.

You can also give us your feedback or requests at
http://www.midoan.com/request.html

Yours sincerely,
the Midoan and Mika team