ada coverage metrics

ada coverage metrics

[Thomas I McVittie]

I'm looking for a program which will give us a coverage metric on 
Ada programs.  The program must be able to handle generic packages 
as well as arrays or multiple instantiations of a task type.  

We have generated a series of test suites based on the formal specifications
of a protocol, and would like to see how well these test cases actually
cover the implementations of the protocol.  Obviously I would love to have
path coverage, but will settle for statement coverage.

We have access to telesoft and Verdix Ada compilers running on a sun 3.
Any pointers would be appreciated !

---
Thomas I McVittie                     voice   : (805) 961-8356
email mcvittie@faulty.ucsb.edu        telefax : (805) 961-3262    
=============================================================================
|  Dependable Computing Lab       |  email  : mcvittie@faulty.hub.ucsb.edu  |
|  Engineering I Computer Science |           aleph@csilvax.hub.ucsb.edu    |
|  Room 2162                      |                                         |

Re: ada coverage metrics

[Ken Nelson]

Software Systems Design (my employer) markets TestGen which analyzes test
coverage for 4 levels:  All Paths, Structured Testing (McCabes Basis Paths),
Branch Paths, and Statement Coverage.  TestGen also tracks the number of
times procedures are invoked.  TestGen works with any validated Ada compiler.
TestGen handles generics, but does not currently handle tasks completely. We
are working on implementing tasks and expect to finish within a month or so.


					Ken Nelson
					Software Systems Design
					3267 Padua Av
					Claremont, CA 91711
					(714) 625-6147
				    fax (714) 626-9667