Re: Ada Mutation Test Tools

["Wajdi H. Al-Jedaibi" <wajdi@acm.org>]

Here is the link to Mothra
http://www.ise.gmu.edu/faculty/ofut/rsrch/mut.html
Assuming that you have fortran code, mothra will generate a list of valid
changes to create mutants of the original source code. In my experiment, I
am only interested in creating mutants of the guard conditions of each task.
For that, the guards are translated into fortran code. Mothra will output
the proper changes (in fortran) and you change the Ada code accordingly.

I am looking for an Ada testing that would generate the mutants directly
from the Ada code, but no luck so far! I know of only one such tool from
www.rlscorp.com but found no information on it, yet.

Wajdi.


Ted Dennison wrote:

> In article <37A4BD07.6315E604@acm.org>,
>   "Wajdi H. Al-Jedaibi" <wajdi@acm.org> 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.
>
> Hmm. Could you describe something about this process? I have no clue
> what "Mothra" is. I couldn't find anything on the web about it either,
> but then I was awash in Japanese monster movie references...
>
> --
> T.E.D.
>
> Sent via Deja.com http://www.deja.com/
> Share what you know. Learn what you don't.