Browse Prior Art Database

Knowledge-Based Test System

IP.com Disclosure Number: IPCOM000102539D
Original Publication Date: 1990-Nov-01
Included in the Prior Art Database: 2005-Mar-17
Document File: 2 page(s) / 109K

Publishing Venue

IBM

Related People

Smith, LG: AUTHOR

Abstract

Described is a general automatic system to reduce software specification analysis for test purposes through the use of a specification browser, as well as dynamically generating test cases and the associated documentation for testing a software system. The test cases are executed as they are generated and the results are automatically verified.

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

Knowledge-Based Test System

       Described is a general automatic system to reduce
software specification analysis for test purposes through the use of
a specification browser, as well as dynamically generating test cases
and the associated documentation for testing a software system. The
test cases are executed as they are generated and the results are
automatically verified.

      The principal component of the tool is a Knowledge Base (KB)
which supports requirements, high-level design, and software
maintenance, and provides more defect prevention and detection. A
Knowledge Base is created by extending a relational database
management system (RDBMS) to support system production rules that
generate query answers. The KB integrates the definition of data and
rules using set and relation theory.  The KB is reusable for multiple
environments (that is, multiple operating systems, as well as
multiple languages).

      The software system's entities are described by
Entity-Relationship modelling. Each component of the system is
depicted in terms of three representational concepts: entities,
attributes, and relationships. An entity, for example, could be a
procedure, a parameter of that procedure, or a data type of that
parameter.

      Every object is described by a set of attributes; every object
is an instance of one class; and classes are related to each other by
subclass relationships. An attribute can be formally defined as a
function which maps from an entity set or a relationship set into a
value set or a Cartesian product of value sets. An attribute of a
parameter, for example, would be the type of parameter (that is,
input or output parameter).

      Petri Nets are applied to model concurrent, asynchronous
activities of extended Finite State Machines. Rules controlling
transitions in an extended finite static machine, which integrates
function and data abstraction, are employed for specifying the system
behavior. The activation of a Petri Net corresponds to a forward
execution of the corresponding rules. The above data and data flow
modelling results in defining many relations (which may be
hierarchical) that exist between different entities that are
represented in the RDBMS. Relations are asserted between objects, not
their names and descriptions.

      The KB achieves uniformity in the specification of a system by
making descriptions of events similar to those of data objects.
Specifically, first-order rules are mapped into recursively defined
data objects and stored in a rule base which is a component of the
KB. Consequently, the rules can be altered independently of the
facts. The rule base consists of a set of several rule modules linked
together in...