A built-in test language for PROLOG to validate knowledge-based systems

Authors:
F. Belli;I. Camara;A. Schmidt
Affiliations:
The University of Paderborn, Federal Republic of Germany;The University of Paderborn, Federal Republic of Germany;The University of Paderborn, Federal Republic of Germany
Venue:
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Year:
1990

Citing 5
Cited 0

A polymorphic type system for PROLOG.

Artificial Intelligence
Some aspects on the development and validation of FIREX: a knowledge-based system for the transport of dangerous goods and fire department consulting

IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
An extension of PROLOG for object-oriented programming in logic

IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Algorithmic Program DeBugging

Algorithmic Program DeBugging
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper refines and completes the results of our previous work represented in /3/. Our present work concentrates on the implementation of a uniform, white-box test environment PROTest (PROLOG Test Environment). PROTest supports the development of object-oriented, rule and knowledge-based expert systems which will be implemented in PROLOG. PROTest assists the programmer - as well as the quality engineer - in particular to generate test cases, to exercise his or her programs by means of these test cases, to produce test reports after the test execution etc (Testing in the Large).The special feature of PROTest as a novelty in the field stems from its built-in object-oriented logic test language (TL) which is being used. The major benefit of this approach is given through the high adaptability potential of the test procedures whenever the functional part of the programs has been changed.