Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
Logic for problem-solving
Automated Module Testing in Prolog
IEEE Transactions on Software Engineering
ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems
Software Quality Control
| Hi-index | 0.00 |
For the validation of the kernel system calls of a family of UNIX 1) systems a knowledge based test environment was conceived. A prototype version is currently implemented in Prolog. The knowledge base consists essentially of three parts:test case specifications of the various system calls,a test suite generator with predicates including information about UNIX system properties and sound test practices, anda test protocol archive including utilities to extract and prepare reports about the test results.All information in the knowledge base is stored as Horn clauses, i.e. facts and rules immediately to be consulted and executed by a Prolog interpreter.