Next Article in Journal
The Current Role of Image Compression Standards in Medical Imaging
Next Article in Special Issue
Source Code Documentation Generation Using Program Execution
Previous Article in Journal
Neutrosophic Commutative N -Ideals in BCK-Algebras
Article Menu

Export Article

Open AccessArticle
Information 2017, 8(4), 129;

On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems

CRACS & INESC TEC and Faculty of Sciences, University of Porto, Rua do Campo Alegre, 1021/1055, 4169-007 Porto, Portugal
This paper is an extended version of our paper published in the Symposium on Languages, Applications and Technologies 2017.
Author to whom correspondence should be addressed.
Received: 13 September 2017 / Revised: 10 October 2017 / Accepted: 13 October 2017 / Published: 19 October 2017
(This article belongs to the Special Issue Special Issues on Languages Processing)
Full-Text   |   PDF [518 KB, uploaded 19 October 2017]   |  


Software testing and benchmarking are key components of the software development process. Nowadays, a good practice in large software projects is the continuous integration (CI) software development technique. The key idea of CI is to let developers integrate their work as they produce it, instead of performing the integration at the end of each software module. In this paper, we extend a previous work on a benchmark suite for the YAP Prolog system, and we propose a fully automated test bench environment for Prolog systems, named Yet Another Prolog Test Bench Environment (YAPTBE), aimed to assist developers in the development and CI of Prolog systems. YAPTBE is based on a cloud computing architecture and relies on the Jenkins framework as well as a new Jenkins plugin to manage the underlying infrastructure. We present the key design and implementation aspects of YAPTBE and show its most important features, such as its graphical user interface (GUI) and the automated process that builds and runs Prolog systems and benchmarks. View Full-Text
Keywords: software engineering; program correctness; benchmarking; Prolog software engineering; program correctness; benchmarking; Prolog

Figure 1

This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0).

Share & Cite This Article

MDPI and ACS Style

Gonçalves, R.; Areias, M.; Rocha, R. On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems. Information 2017, 8, 129.

Show more citation formats Show less citations formats

Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Related Articles

Article Metrics

Article Access Statistics



[Return to top]
Information EISSN 2078-2489 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert
Back to Top