A polymorphic type system for PROLOG.
Artificial Intelligence
A functional approach to program testing and analysis
IEEE Transactions on Software Engineering
Rational debugging in logic programming
Proceedings on Third international conference on logic programming
Application of PROLOG to test sets generation from algebraic specifications
Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) on Formal Methods and Software, Vol.2: Colloquium on Software Engineering (CSE)
Efficient loop detection in Prolog using the tortoise-and-hare technique
Journal of Logic Programming
Programming in Prolog
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Foundations of deductive databases and logic programming
Mockingbird: a logical methodology for testing
Journal of Logic Programming - Logic programming applications
A type system for logic program
Journal of Logic Programming
Analyzing Partition Testing Strategies
IEEE Transactions on Software Engineering
Automated Module Testing in Prolog
IEEE Transactions on Software Engineering
Progress toward automated software testing
ICSE '91 Proceedings of the 13th international conference on Software engineering
Validating and Verifying Knowledge-Based Systems
Validating and Verifying Knowledge-Based Systems
Algorithmic Program DeBugging
Test-Case Generation from Prolog-Based Specifications
IEEE Software
An evaluation of software test environment architectures
Proceedings of the 18th international conference on Software engineering
Test frame updating in CPM testing of Prolog programs
Software Quality Control
Automatic Generation of Test Inputs for Mercury
Logic-Based Program Synthesis and Transformation
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
A novel test case generation method for prolog programs based on call patterns semantics
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
| Hi-index | 0.00 |
In this paper, we describe the PROTest II (PROlog Test Environment, Version 2) system to test logic programs in an interactive support environment. Logic programs are augmented with declarative information about the types and modes of the arguments of a predicate. Modes correspond to in, out, and in-out parameters. With this information PROTest II statically checks the types of Prolog programs, generates test cases, executes Prolog programs, and produces reports summarizing results including information about new test coverage metrics. Thus, PROTest II enables both static analysis and dynamic testing uniformly using a Prolog-based test language DTL/1. The strength of PROTest II stems from its idea of defining coverage in real logic programming terms, rather than adapting imperative programming ideas.