Towards an Automated Test Bench Environment for Prolog Systems
Ricardo Gonçalves, Miguel Areias and Ricardo Rocha
June 2017
Abstract
Software testing and benchmarking is a key component of the software
development process. Nowadays, a good practice in big 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 doing 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 and in a
set of new Jenkins plugins to manage the underneath infrastructure. We
present the key design and implementation aspects of YAPTBE and show
its most important features, such as its graphical user interface and
the automated process that builds and runs Prolog systems and
benchmarks.
Bibtex
@InProceedings{goncalves-slate17,
author = {R. Gonçalves and M. Areias and R. Rocha},
title = {{Towards an Automated Test Bench Environment for Prolog Systems}},
booktitle = {Proceedings of the 6th Symposium on Languages, Applications and Technologies (SLATE 2017)},
pages = {2:1--2:13},
editor = {R. Queirós and M. Pinto and A. Simões and J. Paulo Leal and M. João Varanda},
month = {June},
year = {2017},
address = {Vila do Conde, Portugal},
}
Download Paper
PDF file
OASIcs OpenAccess Series in Informatics