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.3 required=5.0 tests=BAYES_00,INVALID_MSGID, MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 10f5bc,f5d8cf787bb10cf3 X-Google-Attributes: gid10f5bc,public X-Google-Thread: 103376,f5d8cf787bb10cf3 X-Google-Attributes: gid103376,public From: Ted Dennison Subject: Re: Ada Mutation Test Tools Date: 1999/08/03 Message-ID: <7o6rvc$fs8$1@nnrp1.deja.com>#1/1 X-Deja-AN: 508346500 References: <37A4BD07.6315E604@acm.org> <7o4c4o$n93$1@nnrp1.deja.com> <37A5E860.CB40F8E3@acm.org> X-Http-Proxy: 1.0 x42.deja.com:80 (Squid/1.1.22) for client 204.48.27.130 Organization: Deja.com - Share what you know. Learn what you don't. X-Article-Creation-Date: Tue Aug 03 13:48:32 1999 GMT X-MyDeja-Info: XMYDJUIDtedennison Newsgroups: comp.lang.ada,comp.software.testing X-Http-User-Agent: Mozilla/4.6 [en] (WinNT; I) Date: 1999-08-03T00:00:00+00:00 List-Id: In article <37A5E860.CB40F8E3@acm.org>, "Wajdi H. Al-Jedaibi" 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.