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

Program Checking Method

IP.com Disclosure Number: IPCOM000076616D
Original Publication Date: 1972-Mar-01
Included in the Prior Art Database: 2005-Feb-24
Document File: 2 page(s) / 13K

Publishing Venue

IBM

Related People

Vermot-Gauchy, J: AUTHOR

Abstract

The present method makes it possible, in the course of an application involving a plurality of programs executed in succession, to automatically perform checks on certain quantities selected at the time of the analysis, to diagnose such checks, and, as the case may be, to interrupt the operations underway whenever errors are encountered.

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

Page 1 of 2

Program Checking Method

The present method makes it possible, in the course of an application involving a plurality of programs executed in succession, to automatically perform checks on certain quantities selected at the time of the analysis, to diagnose such checks, and, as the case may be, to interrupt the operations underway whenever errors are encountered.

In any application involving a chain of programs, checks must be performed on certain intermediate results obtained during the execution of the programs to determine whether the various operations are being performed normally.

Heretofore, such checks were not program-controlled. Upon completion of each program or set of programs, the more significant results were printed out and appropriate comparisons and calculations were then made to determine whether they were correct or at least plausible. This process was laborious and involved some risk or error.

The present method eliminates the need for "manual" checks and provides complete reliability.

The present method involves: - two resident files, namely, the parameter data set and the counter data set, stored in a random-access memory. - two macro-instructions, designated A and B, for PL/1 language. - one utility program.

The parameter data set, which is established at the time the application is analyzed and may be updated during the execution of the programs, indicates the calculations and comparisons which must be performed on the counters of the counter data set.

T...