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

Supplying Special Values for Arguments

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

Publishing Venue

IBM

Related People

Dingankar, AT: AUTHOR [+2]

Abstract

Disclosed is a method to allow the user interface to obtain special values for functions, environments or faults while generating Implementation Verification Programs.

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

Supplying Special Values for Arguments

       Disclosed is a method to allow the user interface to
obtain special values for functions, environments or faults while
generating Implementation Verification Programs.

      The designers or the test engineers may intuitively recognize
that some special parameter values given to a function may cause
special effects or create a failure.  For example, the divisor of the
divide function would cause an error if it has a value of 0.  It also
has a special effect if the divisor has a value of 1, the dividend, a
number divisible by the dividend or a number not divisible by the
dividend.

      Create a LAND_MARKS facet for arguments of the function.  The
LAND_MARKS facet is a function that produces a set of special values
for the argument (or any slot, e.g., register fields).  The simplest
form of this function is a list of land marks.  Some arguments may
not have any land mark at the beginning.  However, as the test cases
are generated, and problems are encountered, the test engineers or
the designers may add additional values to the LAND_MARKS facet.
This is a heuristic process: as the engineers get smarter, the
knowledge bases get more sophisticated.

      In the above example, the LAND_MARKS facet of the DIVISOR
argument of the DIVISION function could be (0 1 (divisor dividend)),
where (divisor dividend) is the function that provides all numbers
that are divisible by the dividend.

      The LAND_MARKS...