Dismiss
InnovationQ will be updated on Sunday, Oct. 22, from 10am ET - noon. You may experience brief service interruptions during that time.
Browse Prior Art Database

Test Case Monitor

IP.com Disclosure Number: IPCOM000083008D
Original Publication Date: 1975-Mar-01
Included in the Prior Art Database: 2005-Feb-28
Document File: 1 page(s) / 12K

Publishing Venue

IBM

Related People

Stasko, RA: AUTHOR

Abstract

In building a programming system, one of the principal concerns is determining to what degree the test cases run against the programs have tested those programs.

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

Page 1 of 1

Test Case Monitor

In building a programming system, one of the principal concerns is determining to what degree the test cases run against the programs have tested those programs.

Consider a programming system written in PL/I using the PL/I checkout compiler. As the programs are compiled they are translated into an intermediate text form known as HTEXT. This HTEXT is input to an analysis program. The output of this analysis consists of the following tables: Table 1) A mapping of dictionary references to variables. Table 2) A mapping of basic blocks to program statements. Table 3) A data definition use matrix.

These tables are input to the test case monitor which is part of the PL/I checkout compiler interpreter program. As the test case is executing the test case monitor tracks the interpretation at the interpreter's level.

Internally, the monitor has an analyzer which abstracts the P1/I program into a graph G=(V,E), where the basic blocks are the vertices and the flow between the blocks is the edges. Associated with each vertex is a list of items indicating which data are set or used within that vertex (Table 2). Table 3 is a matrix of variable definitions versus basic blocks. A 1 in the ith row and jth column, indicates that variable definition i can affect a use of that variable found in basic block j.

By using Tables 1 and 3, the test case monitor can indicate those data definition use relations executed by the test case in source language terminology. Table...