Browse Prior Art Database

Program Checker

IP.com Disclosure Number: IPCOM000114496D
Original Publication Date: 1994-Dec-01
Included in the Prior Art Database: 2005-Mar-28
Document File: 2 page(s) / 32K

Publishing Venue

IBM

Related People

Mitsui, K: AUTHOR [+2]

Abstract

Disclosed is a system for checking program constraints that cannot be tested by a compiler or other software tools. For example, the system checks the consistency of a program with its design document and the programming conventions specific to a development organization.

This text was extracted from an ASCII text file.
This is the abbreviated version, containing approximately 100% of the total text.

Program Checker

      Disclosed is a system for checking program constraints that
cannot be tested by a compiler or other software tools.  For example,
the system checks the consistency of a program with its design
document and the programming conventions specific to a development
organization.

      As shown in the Figure, the system consists of four subsystems:
(1) a rule base, (2) a program analyzer, (3) a program database, and
(4) a user interface.  The rule base stores constraints on a program.
The program to be checked is analyzed and stored in the program
database.  When a query is issued to the rule base, the system checks
whether the program in the program database satisfies the constraints
in the rule base.  The user interface receives and displays the
answer.  It also maintains the relationship among the program, the
query, and the answer.

      The rule base can store not only constraints but also
directions on how to eliminate violations.  By displaying these
directions, the system can help users correct their programs.