Ada Code Coverage Tool -- educational need

[stachour@winternet.com (Paul D. Stachour)]

Hello,

   I teach as an adjunct at the University of St. Thomas in St. Paul,
Minnesota.  I teach an introduction graduate level class (cs5120) 
Entitled "Software Engineering Methods and Methodologies".  As a small
part of that class, I would like to give an assignment in measurement
of code coverage / test case coverage of a small program which I will
ask the students to test.  Does anyone know of a freeware / shareware /
educational discount tool for Ada, similar to "GCT" for C (see the
description at URL "ftp://cs.uiuc.edu/pub/testing/gct.files" )?

   I am already aware of the LDRA Testbed tool, and am checking out
educational prices with them.

   I am currently using GNAT on a sun-unix host as the Ada compiler.

   Do any of you have other suggestions?

Thanks,

Dr. Paul Stachour
Adjunct, Graduate Programs in Software
University of St. Thomas, St. Paul, Minnesota
stachour@gps.stthomas.edu
 
--
Paul D. Stachour, Software Engineer and Methodologist
9532 First Avenue South                 United Health Care, MS W131
Bloomington, Minnesota 55420            5300 Olson Mem Hwy, Golden Valley, MN
(612)-884-5977  stachour@winternet.com  (612)-204-8872  pstacho@ducttape.uhc.com