Browse Prior Art Database

Supplying And Controlling Input Parameters From the User Interface

IP.com Disclosure Number: IPCOM000102656D
Original Publication Date: 1990-Dec-01
Included in the Prior Art Database: 2005-Mar-17
Document File: 1 page(s) / 44K

Publishing Venue

IBM

Related People

Dingankar, AT: AUTHOR [+2]

Abstract

Disclosed is a method of to allow the user interface to communicate with the Knowledge Bases to obtain needed information for generating Implementation Verification Programs.

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

Supplying And Controlling Input Parameters From the User Interface

       Disclosed is a method of to allow the user interface to
communicate with the Knowledge Bases to obtain needed information for
generating Implementation Verification Programs.

      As the user requests the User Interface (UI) to generate a
particular function or fault in a test case, there must be a
mechanism to inform the user that the values chosen are invalid.  In
many cases, the user has no idea of the input range.

      Create a CHK_DEFAULTS facet for each argument of the function.
A facet, attached to a slot, is a property of a slot.  It is used
to further define that slot.  A function argument is typically a
register field; therefore, if the register is a read-write register,
all of its fields (slots) must have the CHK_DEFAULTS facet.

      The CHK_DEFAULTS facet has four LISP functions whose names vary
depending on the data type of the slot (range, list of values, etc.)
The expert system recognizes those functions strictly depending on
their positions and processes them accordingly.  These functions are:

      - GET-RANGE is the first function in the CHK_DEFAULTS facet.
Its purpose is to supply the UI with the range or a list of values
one can use for this slot (register field).

      - CHECK-RANGE is the second function.  Its purpose is to check
the user supplied value for validity.

      - GENERATE-VALUE is the third function.  It will generate a
valu...