* Ada Mutation Test Tools
@ 1999-08-01 0:00 Wajdi H. Al-Jedaibi
1999-08-02 0:00 ` Ted Dennison
1999-08-03 0:00 ` Mark McWhinney
0 siblings, 2 replies; 6+ messages in thread
From: Wajdi H. Al-Jedaibi @ 1999-08-01 0:00 UTC (permalink / raw)
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.
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: Ada Mutation Test Tools
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 ` Mark McWhinney
1 sibling, 1 reply; 6+ messages in thread
From: Ted Dennison @ 1999-08-02 0:00 UTC (permalink / raw)
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.
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: Ada Mutation Test Tools
1999-08-02 0:00 ` Ted Dennison
@ 1999-08-02 0:00 ` Wajdi H. Al-Jedaibi
1999-08-03 0:00 ` Ted Dennison
0 siblings, 1 reply; 6+ messages in thread
From: Wajdi H. Al-Jedaibi @ 1999-08-02 0:00 UTC (permalink / raw)
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.
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: Ada Mutation Test Tools
1999-08-02 0:00 ` Wajdi H. Al-Jedaibi
@ 1999-08-03 0:00 ` Ted Dennison
1999-08-04 0:00 ` Robert Dewar
0 siblings, 1 reply; 6+ messages in thread
From: Ted Dennison @ 1999-08-03 0:00 UTC (permalink / raw)
In article <37A5E860.CB40F8E3@acm.org>,
"Wajdi H. Al-Jedaibi" <wajdi@acm.org> wrote:
> 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.
> I am looking for an Ada testing that would generate the mutants
directly
Very interesting. Since this is an issue where the code needs to be
processed in its source form, you don't have many options. From the Ada
paper I read there, it appears that a Fortran tool like Mothra would not
be sufficient for Ada source code in the general case.
Since Mothra made it as a graduate project, I suspect something similar
for Ada (Gamera?) would also be a good graduate project for someone.
--
T.E.D.
Sent via Deja.com http://www.deja.com/
Share what you know. Learn what you don't.
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: Ada Mutation Test Tools
1999-08-01 0:00 Ada Mutation Test Tools Wajdi H. Al-Jedaibi
1999-08-02 0:00 ` Ted Dennison
@ 1999-08-03 0:00 ` Mark McWhinney
1 sibling, 0 replies; 6+ messages in thread
From: Mark McWhinney @ 1999-08-03 0:00 UTC (permalink / raw)
[-- 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
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: Ada Mutation Test Tools
1999-08-03 0:00 ` Ted Dennison
@ 1999-08-04 0:00 ` Robert Dewar
0 siblings, 0 replies; 6+ messages in thread
From: Robert Dewar @ 1999-08-04 0:00 UTC (permalink / raw)
In article <7o6rvc$fs8$1@nnrp1.deja.com>,
Ted Dennison <dennison@telepath.com> wrote:
> Since Mothra made it as a graduate project, I suspect
> something similar for Ada (Gamera?) would also be a good
> graduate project for someone.
Note that this is a good candidate for an ASIS based tool
Sent via Deja.com http://www.deja.com/
Share what you know. Learn what you don't.
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~1999-08-04 0:00 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
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 is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox