weyrich@ugacs.UUCP (Orville Weyrich) (11/25/88)
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