Xref: utzoo comp.lang.prolog:1443 comp.software-eng:940
Path: utzoo!attcan!uunet!husc6!ukma!gatech!ugacs!weyrich
From: weyrich@ugacs.UUCP (Orville Weyrich)
Newsgroups: comp.lang.prolog,comp.software-eng
Subject: Prolog Software Engineering
Message-ID: <480@ugacs.UUCP>
Date: 24 Nov 88 21:33:51 GMT
Organization: U.Ga., CS Dept., Athens
Lines: 27


In connection with a large project implemented in Prolog, I am preparing a
survey of software engineering techniques which are applicable to Prolog
programs.

I would greatly appreciate any information, references, or programs dealing
with:

  1) Examining Prolog programs with the intent of finding glitches,
     anomalies, and errors;

  2) Generating test cases to exercise all relevant aspects of a Prolog
     program being tested;

  3) Providing test coverage reports of a Prolog program being tested.

Please help! If you don't, I may be forced to implement the stuff myself :-).

Any suggestions regarding how the above might be done would also be appreciated.

Please respond by mail and I will summarize to the net.  Thanks in advance.

-- 
Orville R. Weyrich, Jr.          | UUCP    : ...gatech!ugacs!csun1!weyrich
Department of Computer Science   |
University of Georgia            |
Athens, GA 30602 USA             | MA BELL : (404) 542-1082