Browse Prior Art Database

Using code coverage tool to implement functional coverage

IP.com Disclosure Number: IPCOM000014723D
Original Publication Date: 2001-Feb-20
Included in the Prior Art Database: 2003-Jun-20
Document File: 4 page(s) / 78K

Publishing Venue

IBM

Abstract

Problem Implementing functional coverage models requires introduction of new tools, with which most users are unfamiliar. Many code coverage tools are familiar to users and have been refined due to long existence in the market. A nice solution would integrate functional coverage models into code coverage tools. Solution We solve this problem by enhancing a previous patent for a functional coverage tool (US application 09/249,982). We create an auxiliary file, which is a transformation on the task coverage list and signify code that covered (statement) functional coverage has been achieved.

This text was extracted from a PDF file.
This is the abbreviated version, containing approximately 54% of the total text.

Page 1 of 4

Using code coverage tool to implement functional coverage

Problem

    Implementing functional coverage models requires introduction of new tools, with which most users are unfamiliar. Many code coverage tools are familiar to users and have been refined due to long existence in the market. A nice solution would integrate functional coverage models into code coverage tools.

Solution

    We solve this problem by enhancing a previous patent for a functional coverage tool (US application # 09/249,982). We create an auxiliary file, which is a transformation on the task coverage list and signify code that covered (statement) functional coverage has been achieved.

Claims

    This method will generate a file for any functional coverage model such that block coverage of that file implies coverage of the functional coverage model. The file will also include the variables in hierarchical order, and a query on all variable values at once. The file will be limited in size, but it will capture much of the coverage information.

    A second method could reduce the Task Coverage List (TCL), maintaining the TCL information, and making it easier to read.

Details

    In a previous patent (US application # 09/249,982), we described a general-purpose coverage tool for measuring coverage on functional coverage models. The tool can be used to collect and display coverage information describing how many times tasks were covered.

    Many people are using code coverage tools to view coverage information. We suggest a transformation, which transforms the functional coverage model into a piece of code in a specially-generated file linked with the application. By using this technique, functional coverage information can be viewed using standard code coverage tools. Invention Descriptions

    Description #1, for those familiar with Trace-driven Functional Coverage, as described in US application # 09/249,982:

    As part of the functional coverage process, we have a function that creates traces. We have another algorithm that receives traces and creates new traces composed of coverage tasks. In most cases, this algorithm is not needed, since the original traces contain coverage tasks, and therefore the algorithm only has to perform the identity function. However, whether we have two serially-connected functions or a single function, we can look at the composition as a function that produces traces composed of functional coverage tasks.

    The parts of the functional coverage process that are important to this description include the function that creates the traces by printing task after task to them as they are created, and the TCL, an enumeration of the legal tasks.

    As an example of such functional coverage, the TCL of a model appears below. A sample trace is also given.

Description #2 (Stand Alone):

1

Page 2 of 4

    Let T be a subset of a cross product of values of attributes. We call T a Task Coverage List-TCL-and the coverage model goal will be to check that all combination (and...