License
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.SLATE.2017.2
URN: urn:nbn:de:0030-drops-79385
URL: http://drops.dagstuhl.de/opus/volltexte/2017/7938/
Go to the corresponding OASIcs Volume Portal


Gonçalves, Ricardo ; Areias, Miguel ; Rocha, Ricardo

Towards an Automated Test Bench Environment for Prolog Systems

pdf-format:
OASIcs-SLATE-2017-2.pdf (0.7 MB)


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 - Entry

@InProceedings{gonalves_et_al:OASIcs:2017:7938,
  author =	{Ricardo Gon{\c{c}}alves and Miguel Areias and Ricardo Rocha},
  title =	{{Towards an Automated Test Bench Environment for Prolog Systems}},
  booktitle =	{6th Symposium on Languages, Applications and Technologies (SLATE 2017)},
  pages =	{2:1--2:13},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-056-9},
  ISSN =	{2190-6807},
  year =	{2017},
  volume =	{56},
  editor =	{Ricardo Queir{\'o}s and M{\'a}rio Pinto and Alberto Sim{\~o}es and Jos{\'e} Paulo Leal and Maria Jo{\~a}o Varanda},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2017/7938},
  URN =		{urn:nbn:de:0030-drops-79385},
  doi =		{10.4230/OASIcs.SLATE.2017.2},
  annote =	{Keywords: Software Engineering, Program Correctness, Benchmarking, Prolog}
}

Keywords: Software Engineering, Program Correctness, Benchmarking, Prolog
Seminar: 6th Symposium on Languages, Applications and Technologies (SLATE 2017)
Issue Date: 2017
Date of publication: 28.09.2017


DROPS-Home | Fulltext Search | Imprint Published by LZI