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: a07f3367d7,965e49af15d3565,start
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,CP1252
Path: 
 g2news2.google.com!postnews.google.com!g1g2000yqh.googlegroups.com!not-for-mail
From: info@midoan.com
Newsgroups: comp.lang.ada
Subject: ANNOUNCE Mika by Midoan New Release : Automated Test Data Generation
	for Ada
Date: Mon, 25 May 2009 11:42:51 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: <9f6229a1-e95d-4453-8dca-eb0e893e603d@g1g2000yqh.googlegroups.com>
NNTP-Posting-Host: 89.101.123.129
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1243276972 20656 127.0.0.1 (25 May 2009 18:42:52
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 25 May 2009 18:42:52 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: g1g2000yqh.googlegroups.com; posting-host=89.101.123.129;
	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.10)
	Gecko/2009042316 Firefox/3.0.10 GTB5,gzip(gfe),gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:6006
Date: 2009-05-25T11:42:51-07:00
List-Id: <comp.lang.ada>

Midoan Software Engineering Solutions Ltd. (http://www.midoan.com/)
announces a new 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.

Version 1.1 can be downloaded at http://www.midoan.com/download.html

Of note in this new release is the possibility of using any GNAT
compiler (including GNAT Pro).

Version 1.1 (25 May 2009)
    * Improvements include:
          o            Mika is tool chain independent: any GNAT
compiler can be used;
          o            Tests are generated even in the absence of test
points;
          o            Error messages are more informative;
          o            GNAT=92s specific attributes are now compiler
dependent and generated on the fly;
          o            Tests generation for exponent expressions with
integer argument is more powerful;
          o            A direct uninstall is available;
    *Subset enlargements include:
          o            Mika is now based on Ada 2005;
          o            Additional GNAT=92s specific attributes are
appropriately handled (including storage_unit and word_size);
          o            Additional constructs are ignored rather than
causing a failure (including Exception handlers);
          o            The Address predefined attribute returns a
dummy value rather than fail;
          o            Qualified array expressions are now
appropriately handled rather than causing a failure (array aggregates
were already handled);
    *Bug fixes include:
          o            Use of derived array and derived record types
objects was sometimes causing errors;
          o            Zero exponent expression with integer argument
did not always return 1;
          o            Qualified expressions were sometimes causing
errors for integer, floats and enumeration types;

See http://www.midoan.com/ for further information including examples
and documentation.

Yours sincerely,
the Midoan and Mika team