From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: ** X-Spam-Status: No, score=2.1 required=5.0 tests=BAYES_05,INVALID_DATE, MSGID_SHORT,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 Path: utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!tut.cis.ohio-state.edu!ucbvax!ucsd!hub!faulty!mcvittie From: mcvittie@faulty.ucsb.edu (Thomas I McVittie) Newsgroups: comp.lang.ada Subject: ada coverage metrics Keywords: metrics Message-ID: <2120@hub.UUCP> Date: 25 Jul 89 22:50:34 GMT Sender: news@hub.UUCP Reply-To: mcvittie@faulty.ucsb.edu (Thomas I McVittie) Distribution: na Organization: Dependable Computing Lab List-Id: 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 | |