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

Tool to Support Initial Testing of a Propositional Interface

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

Publishing Venue

IBM

Related People

Goeser, S: AUTHOR

Abstract

This tool supports syntactic and partial semantic testing, where syntactic test checks error freeness in processing complex propositions and semantic test checks correctness of proposition interpretation w.r.t. a (partial) subsumption ordering in the interface language. That is, if there are propositions q[1],q[2] such that q[1] subsumes q[2] and the result subset of q[2] is not a subset of the result set of q[1], then subsumption is not satisfied and an error has been identified.

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

Tool to Support Initial Testing of a Propositional Interface

      This tool supports syntactic and partial semantic testing,
where syntactic test checks error freeness in processing complex
propositions and semantic test checks correctness of proposition
interpretation w.r.t.  a (partial) subsumption ordering in the
interface language.  That is, if there are propositions q[1],q[2]
such that q[1]  subsumes q[2]  and the result subset of q[2] is not a
subset of the result set of q[1], then subsumption is not satisfied
and an error has been identified.

Definitions:

PROPOSITION - a non-qualified predicate calculus formula

FORMAL LANGUAGE - a (possibly infinite) set of propositions that has
a semantic interpretation over a lattice-theoretic domain

PROPOSITIONAL INTERFACE - an interface to an information process
organized as a formal language such that the language interpretation
is provided by the result data structures of the system.

SUBSUMPTION - relation of logical power between two formulae a, b,
where >= b means that a subsumes b.

The components of the tool are displayed in the Figure.

o   There are two query generators, implemented in PROLOG/2.  QGsyn
    generates arbitrary single propositions with random selection of
    basic data as, e.g., words.  QGsem, on the other hand, generates
    pairs of propositions such that one proposition subsumes the
    other, and a list of these subsumption pairs.  Propositions and
    the subsumption relatio...