mcvittie@faulty.ucsb.edu (Thomas I McVittie) (07/26/89)
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 | |
ssdken@jarthur.Claremont.EDU (Ken Nelson) (07/31/89)
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