Mostrar el registro sencillo del ítem
dc.contributor.author | Pérez-Rubio, Sergio | es_ES |
dc.contributor.author | Tamarit Muñoz, Salvador | es_ES |
dc.date.accessioned | 2021-01-15T04:31:23Z | |
dc.date.available | 2021-01-15T04:31:23Z | |
dc.date.issued | 2019 | es_ES |
dc.identifier.issn | 0302-9743 | es_ES |
dc.identifier.uri | http://hdl.handle.net/10251/159137 | |
dc.description.abstract | [EN] Recently, a new approach to perform regression testing has been defined: the point of interest (POI) testing. A POI, in this context, is any expression of a program. The approach receives as input a set of relations between POIs from a version of a program and POIs from another version, and also a sequence of entry points, i.e. test cases. Then, a program instrumentation, an input test case generation and different comparison functions are used to obtain the final report which indicates whether the alternative version of the program behaves as expected, e.g. it produces the same outputs or it uses less CPU/memory. In this paper, we present a method to improve POI testing by including additional context information for a certain type of POIs. Concretely, we use this method to obtain an enhanced tracing of calls. Additionally, it enables new comparison modes and a categorization of unexpected behaviours. | 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 the Generalitat Valenciana under grant PROMETEOII/2015/013 (SmartLogic). Salvador Tamarit was partially supported by the Conselleria de Educación, Investigación, Cultura y Deporte de la Generalitat Valenciana under grant APOSTD/2016/036. | es_ES |
dc.language | Inglés | es_ES |
dc.publisher | Springer-Verlag | es_ES |
dc.relation.ispartof | Lecture Notes in Computer Science | es_ES |
dc.relation.ispartof | Functional and Constraint Logic Programming | es_ES |
dc.rights | Reserva de todos los derechos | es_ES |
dc.subject | Code evolution control | es_ES |
dc.subject | Automated regression testing | es_ES |
dc.subject | Call traces | es_ES |
dc.subject | Tracing | es_ES |
dc.subject.classification | CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL | es_ES |
dc.subject.classification | LENGUAJES Y SISTEMAS INFORMATICOS | es_ES |
dc.title | Enhancing POI Testing Approach through the Use of Additional Information | es_ES |
dc.type | Artículo | es_ES |
dc.type | Comunicación en congreso | es_ES |
dc.type | Capítulo de libro | es_ES |
dc.identifier.doi | 10.1007/978-3-030-16202-3_5 | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/GVA//PROMETEOII%2F2015%2F013/ES/SmartLogic: Logic Technologies for Software Security and Performance/ | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/GVA//APOSTD%2F2016%2F036/ | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/MINECO//TIN2016-76843-C4-1-R/ES/METODOS RIGUROSOS PARA EL INTERNET DEL FUTURO/ | 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 | Pérez-Rubio, S.; Tamarit Muñoz, S. (2019). Enhancing POI Testing Approach through the Use of Additional Information. Lecture Notes in Computer Science. 11285:74-90. https://doi.org/10.1007/978-3-030-16202-3_5 | es_ES |
dc.description.accrualMethod | S | es_ES |
dc.relation.conferencename | 26th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2018) | es_ES |
dc.relation.conferencedate | Septiembre 06-06,2018 | es_ES |
dc.relation.conferenceplace | Frankfurt am Main, Germany | es_ES |
dc.relation.publisherversion | https://doi.org/10.1007/978-3-030-16202-3_5 | es_ES |
dc.description.upvformatpinicio | 74 | es_ES |
dc.description.upvformatpfin | 90 | es_ES |
dc.type.version | info:eu-repo/semantics/publishedVersion | es_ES |
dc.description.volume | 11285 | es_ES |
dc.relation.pasarela | S\403309 | es_ES |
dc.contributor.funder | Generalitat Valenciana | es_ES |
dc.contributor.funder | European Regional Development Fund | es_ES |
dc.contributor.funder | Ministerio de Economía y Competitividad | es_ES |
dc.description.references | Erlang (1986). http://www.erlang.org/ | es_ES |
dc.description.references | Anand, S., et al.: An orchestrated survey of methodologies for automated software test case generation. J. Syst. Softw. 86(8), 1978–2001 (2013) | es_ES |
dc.description.references | Caballero, R., Martin-Martin, E., Riesco, A., Tamarit, S.: EDD: a declarative debugger for sequential erlang programs. In: Ábrahám, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 581–586. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-642-54862-8_49 | es_ES |
dc.description.references | M. Cronqvist. redbug (2017). https://github.com/massemanet/redbug | es_ES |
dc.description.references | Danglot, B., Vera-Perez, O., Yu, Z., Monperrus, M., Baudry, B.: The emerging field of test amplification: a survey. CoRR, abs/1705.10692 (2017) | es_ES |
dc.description.references | Engström, E., Runeson, P.: A qualitative survey of regression testing practices. In: Ali Babar, M., Vierimaa, M., Oivo, M. (eds.) PROFES 2010. LNCS, vol. 6156, pp. 3–16. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-13792-1_3 | es_ES |
dc.description.references | Ericsson AB. dbg (2017). http://erlang.org/doc/man/dbg.html | es_ES |
dc.description.references | Ericsson AB. Trace tool builder (2017). http://erlang.org/doc/apps/observer/ttb_ug.html | es_ES |
dc.description.references | Insa, D., Pérez, S., Silva, J., Tamarit, S.: Behaviour preservation across code versions in Erlang. Sci. Program. 2018, 1–42 (2018) | es_ES |
dc.description.references | Jumpertz, E.: Using QuickCheck and semantic analysis to verify correctness of Erlang refactoring transformations. Master’s thesis, Radboud University Nijmegen (2010) | es_ES |
dc.description.references | Reps, T., Ball, T., Das, M., Larus, J.: The use of program profiling for software maintenance with applications to the year 2000 problem. In: Jazayeri, M., Schauer, H. (eds.) ESEC/SIGSOFT FSE -1997. LNCS, vol. 1301, pp. 432–449. Springer, Heidelberg (1997). https://doi.org/10.1007/3-540-63531-9_29 | es_ES |
dc.description.references | Shapiro, E.Y.: Algorithmic Program Debugging. MIT Press, Cambridge (1982) | es_ES |
dc.description.references | Taylor, R., Hall, M., Bogdanov, K., Derrick, J.: Using behaviour inference to optimise regression test sets. In: Nielsen, B., Weise, C. (eds.) ICTSS 2012. LNCS, vol. 7641, pp. 184–199. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-34691-0_14 | es_ES |
dc.description.references | Till, A.: erlyberly (2017). https://github.com/andytill/erlyberly | es_ES |
dc.description.references | Tóth, I.B.M., Horváth, Z.: Reduction of regression tests for Erlang based on impact analysis (2013) | es_ES |
dc.description.references | Xie, T., Notkin, D.: Checking inside the black box: regression testing by comparing value spectra. IEEE Trans. Softw. Eng. 31(10), 869–883 (2005) | es_ES |
dc.description.references | Yoo, S., Harman, M.: Regression testing minimization, selection and prioritization: a survey. Softw. Test. Verif. Reliab. 22(2), 67–120 (2012) | es_ES |