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

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
*
Author to whom correspondence should be addressed.
This paper is an extended version of our paper published in the Symposium on Languages, Applications and Technologies 2017.
Information 2017, 8(4), 129; https://doi.org/10.3390/info8040129
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)
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
Show Figures

Figure 1

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. https://doi.org/10.3390/info8040129

AMA 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(4):129. https://doi.org/10.3390/info8040129

Chicago/Turabian Style

Gonçalves, Ricardo, Miguel Areias, and Ricardo Rocha. 2017. "On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems" Information 8, no. 4: 129. https://doi.org/10.3390/info8040129

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

Article Access Map by Country/Region

1
Back to TopTop