comp.lang.ada
 help / color / mirror / Atom feed
From: Mark McWhinney <msm@powertest.com>
Subject: Re: Ada Mutation Test Tools
Date: 1999/08/03
Date: 1999-08-03T00:00:00+00:00	[thread overview]
Message-ID: <37A7A1FC.8C1D63F6@powertest.com> (raw)
In-Reply-To: 37A4BD07.6315E604@acm.org

[-- Attachment #1: Type: text/plain, Size: 660 bytes --]

I wrote an Ada mutant generator a few years back.  Unfortunately I do not
have it any more.  However, mutant generators are pretty easy to write.
With lex/yacc and some simple grammars you should be able to create a
generator that rewrites expressions fairly quickly.

"Wajdi H. Al-Jedaibi" wrote:

> Anyone knows of any Ada mutation generator. I need to generate mutants
> from Ada code, right now I am doing this by translating the Ada code
> into FORTRAN and using Mothra then generating the mutants by hand. Are
> there any ada based tools that would do that automatically (and
> directly) to generate the mutants.
>
> Any help is appreciated!!
>
> Wajdi.

[-- Attachment #2: Card for Mark McWhinney --]
[-- Type: text/x-vcard, Size: 1289 bytes --]

begin:vcard 
n:McWhinney;Mark
tel;cell:(650) 906-6275
tel;fax:(415) 778-0599
tel;work:(415) 778-0580
x-mozilla-html:TRUE
org:PowerTest
adr:;;145 Natoma St., 3rd Floor;San Francisco;CA;94105;USA
version:2.1
email;internet:msm@powertest.com
title:VP of Engineering
note;quoted-printable:<BR>=0D=0APowerTest is a quality assurance and test consulting firm that provides clients with quality assurance, test planning, and test execution services for their mission critical software development projects.<BR><BR>=0D=0A=0D=0AOur areas of expertise are in quality assurance process development, test planning, test=0D=0A case development, automated load and GUI testing. Our staff members are full-time,=0D=0A permanent professionals with years of experience in developing practical solutions for real=0D=0A world quality assurance and test problems.<BR><BR>=0D=0A=0D=0AWe can provide our services at client sites throughout the San Francisco Bay Area or=0D=0A remotely via wide area networks from our headquarters in San Francisco.<BR><BR>=0D=0A=0D=0A For more information about what we can do for you, contact us at (415)=0D=0A 778-0580 or at info@powertest.com. <BR><BR>=0D=0A
x-mozilla-cpt:;28608
fn:<font face="Brush Script MT" size=+3>Mark McWhinney</font><BR><HR SIZE=1 NOSHADE>
end:vcard

      parent reply	other threads:[~1999-08-03  0:00 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1999-08-01  0:00 Ada Mutation Test Tools Wajdi H. Al-Jedaibi
1999-08-02  0:00 ` Ted Dennison
1999-08-02  0:00   ` Wajdi H. Al-Jedaibi
1999-08-03  0:00     ` Ted Dennison
1999-08-04  0:00       ` Robert Dewar
1999-08-03  0:00 ` Mark McWhinney [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox