- -

Behaviour Preservation across Code Versions in Erlang

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Behaviour Preservation across Code Versions in Erlang

Show simple item record

Files in this item

dc.contributor.author Insa Cabrera, David es_ES
dc.contributor.author Pérez-Rubio, Sergio es_ES
dc.contributor.author Silva, Josep es_ES
dc.contributor.author Tamarit Muñoz, Salvador es_ES
dc.date.accessioned 2019-07-05T20:02:04Z
dc.date.available 2019-07-05T20:02:04Z
dc.date.issued 2018 es_ES
dc.identifier.issn 1058-9244 es_ES
dc.identifier.uri http://hdl.handle.net/10251/123230
dc.description.abstract [EN] In any alive and nontrivial program, the source code naturally evolves along the lifecycle for many reasons such as the implementation of new functionality, the optimization of a bottleneck, or the refactoring of an obscure function. Frequently, these code changes affect various different functions and modules, so it can be difficult to know whether the correct behaviour of the previous version has been preserved in the new version. In this paper, we face this problem in the context of the Erlang language, where most developers rely on a previously defined test suite to check the behaviour preservation. We propose an alternative approach to automatically obtain a test suite that specifically focusses on comparing the old and new versions of the code. Our test case generation is directed by a sophisticated combination of several already existing tools such as TypEr, CutEr, and PropEr; and it introduces novel ideas such as allowing the programmer to choose one or more expressions of interest that must preserve the behaviour, or the recording of the sequences of values to which those expressions are evaluated. All the presented work has been implemented in an open-source tool that is publicly available on GitHub. es_ES
dc.description.sponsorship This work has been partially supported by MINECO/AEI/FEDER (EU) under Grant TIN2016-76843-C4-1-R and by Generalitat Valenciana under Grant PROMETEO-II/2015/013 (SmartLogic). Salvador Tamarit was partially supported by Conselleria de Educacion, Investigacion, Cultura y Deporte de la Generalitat Valenciana, under Grant APOSTD/2016/036. es_ES
dc.language Inglés es_ES
dc.publisher Hindawi Limited es_ES
dc.relation AEI/TIN2016-76843-C4-1-R es_ES
dc.relation GENERALITAT VALENCIANA/PROMETEO/2011/052 es_ES
dc.relation GENERALITAT VALENCIANA/APOSTD/2016/036 es_ES
dc.relation GENERALITAT VALENCIANA/PROMETEOII/2015/013 es_ES
dc.relation.ispartof Scientific Programming es_ES
dc.rights Reconocimiento (by) es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.subject.classification CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL es_ES
dc.title Behaviour Preservation across Code Versions in Erlang es_ES
dc.type Artículo es_ES
dc.identifier.doi 10.1155/2018/9251762 es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació es_ES
dc.description.bibliographicCitation Insa Cabrera, D.; Pérez-Rubio, S.; Silva, J.; Tamarit Muñoz, S. (2018). Behaviour Preservation across Code Versions in Erlang. Scientific Programming. 2018:9251762:1-9251762:42. https://doi.org/10.1155/2018/9251762 es_ES
dc.description.accrualMethod S es_ES
dc.relation.publisherversion https://doi.org/10.1155/2018/9251762 es_ES
dc.description.upvformatpinicio 9251762:1 es_ES
dc.description.upvformatpfin 9251762:42 es_ES
dc.type.version info:eu-repo/semantics/publishedVersion es_ES
dc.description.volume 2018 es_ES
dc.relation.pasarela 361145 es_ES
dc.contributor.funder GENERALITAT VALENCIANA es_ES
dc.contributor.funder AGENCIA ESTATAL DE INVESTIGACION es_ES


This item appears in the following Collection(s)

Show simple item record