Mostrar el registro sencillo del ítem
dc.contributor.author | Granda Juca, María Fernanda | es_ES |
dc.contributor.author | Condori-Fernández, Nelly | es_ES |
dc.contributor.author | Vos, Tanja Ernestina | es_ES |
dc.contributor.author | Pastor López, Oscar | es_ES |
dc.date.accessioned | 2022-01-18T08:11:17Z | |
dc.date.available | 2022-01-18T08:11:17Z | |
dc.date.issued | 2016-06-17 | es_ES |
dc.identifier.isbn | 978-3-319-39695-8 | es_ES |
dc.identifier.uri | http://hdl.handle.net/10251/179782 | |
dc.description.abstract | [EN] Mutation Testing is a well-established technique for assessing the quality of test cases by checking how well they detect faults injected into a software artefact (mutant). Using this technique, the most critical activity is the adequate design of mutation operators so that they reflect typical defects of the artefact under test. This paper presents the design of a set of mutation operators for Conceptual Schemas (CS) based on UML Class Diagrams (CD). In this paper, the operators are defined in accordance with an existing defects classification for UML CS and relevant elements identified from the UML-CD meta-model. The operators are subsequently used to generate first order mutants for a CS under test. Finally, in order to analyse the usefulness of the mutation operators, we measure some basic characteristics of mutation operators with three different CSs under test. | es_ES |
dc.description.sponsorship | This work has been developed with the financial support by SENESCYT of the Republic of Ecuador, European Commission (CaaS project) and Generalitat Valenciana (PROMETEOII/2014/039) | es_ES |
dc.language | Inglés | es_ES |
dc.publisher | Springer | es_ES |
dc.relation.ispartof | Advanced Information Systems Engineering. CAiSE 2016 | es_ES |
dc.relation.ispartofseries | Lecture Notes in Computer Science;9694 | es_ES |
dc.rights | Reserva de todos los derechos | es_ES |
dc.subject | Mutation testing | es_ES |
dc.subject | Mutation operators | es_ES |
dc.subject | Test cases quality | es_ES |
dc.subject | Conceptual schemas | es_ES |
dc.subject | Class diagram mutation | es_ES |
dc.subject.classification | LENGUAJES Y SISTEMAS INFORMATICOS | es_ES |
dc.title | Mutation Operators for UML Class Diagrams | 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-319-39696-5_20 | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/EC/FP7/611351/EU/ | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/GENERALITAT VALENCIANA//PROMETEOII%2F2014%2F039//IDEO: Innovative services for Digital Enterprises with ORCA (Servicios Innovadores para Empresas Digitales con ORCA)/ | es_ES |
dc.rights.accessRights | Abierto | es_ES |
dc.contributor.affiliation | Universitat Politècnica de València. Centro de Investigación en Métodos de Producción de Software - Centre d'Investigació en Mètodes de Producció de Software | 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 | Granda Juca, MF.; Condori-Fernández, N.; Vos, TE.; Pastor López, O. (2016). Mutation Operators for UML Class Diagrams. Springer. 325-341. https://doi.org/10.1007/978-3-319-39696-5_20 | es_ES |
dc.description.accrualMethod | S | es_ES |
dc.relation.conferencename | 28th International Conference on Advanced Information Systems Engineering (CAiSE 2016) | es_ES |
dc.relation.conferencedate | Junio 13-17,2016 | es_ES |
dc.relation.conferenceplace | Ljubljana, Slovenia | es_ES |
dc.relation.publisherversion | https://doi.org/10.1007/978-3-319-39696-5_20 | es_ES |
dc.description.upvformatpinicio | 325 | es_ES |
dc.description.upvformatpfin | 341 | es_ES |
dc.type.version | info:eu-repo/semantics/publishedVersion | es_ES |
dc.relation.pasarela | S\326589 | es_ES |
dc.contributor.funder | GENERALITAT VALENCIANA | es_ES |
dc.contributor.funder | COMISION DE LAS COMUNIDADES EUROPEA | es_ES |
dc.contributor.funder | Secretaría de Educación Superior, Ciencia, Tecnología e Innovación, Ecuador | es_ES |
dc.description.references | Olivé, A.: Conceptual Modeling of Information System. Springer, Heidelberg (2007) | es_ES |
dc.description.references | Pastor, O., Molina, J.C.: Model-Driven Architecture in Practice. Springer, Berlin Heidelberg, Cambridge (2007) | es_ES |
dc.description.references | Granda, M.F.: Testing-based conceptual schema validation in a model-driven environment. In: CAiSE 2013 Doctoral Consortium, Valencia (2013) | es_ES |
dc.description.references | Granda, M.F., Condori-Fernandez, N., Vos, T.E.J., Pastor, O.: Towards the automated generation of abstract test cases from requirements models. In: 1st International Workshop on Requirements Engineering and Testing, pp. 39–46. IEEE, Karlskrona, Sweden (2014) | es_ES |
dc.description.references | Jia, Y., Harman, M.: An analysis and survey of the development of mutation testing. Softw. Eng. IEEE Trans. 37, 1–31 (2011) | es_ES |
dc.description.references | Jia, Y., Harman, M.: Higher order mutation testing. Inf. Softw. Technol. 51, 1379–1393 (2009) | es_ES |
dc.description.references | Object Management Group: Unified Modeling Language (UML) (2015) | es_ES |
dc.description.references | Andrews, J.H., Briand, L.C., Labiche, Y.: Is mutation an appropriate tool for testing experiments? In: Proceedings of 27th International Conference on Software Engineering, ICSE, pp. 402–411 (2005) | es_ES |
dc.description.references | Granda, M.F., Condori-fernández, N., Vos, T.E.J., Pastor, O.: What do we know about the defect types detected in conceptual models? In: IEEE 9th International Conference on Research Challenges in Information Science (RCIS), pp. 96–107. IEEE, Athens, Greece (2015) | es_ES |
dc.description.references | Object Management Group: Action Language for Foundational UML (ALF) (2013) | es_ES |
dc.description.references | Object Management Group: Semantics of a Foundational Subset for Executable UML Models (fUML) (2012) | es_ES |
dc.description.references | IEEE: IEEE Standard Classification for Software Anomalies (2010) | es_ES |
dc.description.references | DeMillo, R., Lipton, R., Sayward, F.G.: Hints on test data selection: help for the practicing programmer. Comput. (Long. Beach. Calif.) 11, 34–41 (1978) | es_ES |
dc.description.references | Offutt, J.: Investigations of the software testing coupling effect. ACM Trans. Softw. Eng. Methodol. 1, 5–20 (1992) | es_ES |
dc.description.references | Woodward, M.R.: Errors in algebraic specifications and an experimental mutation testing tool. Softw. Eng. J. 4, 211–224 (1993) | es_ES |
dc.description.references | Derezińska, A.: Object-oriented mutation to assess the quality of tests. In: Proceedings of Conference on EUROMICRO, pp. 417–420 (2003) | es_ES |
dc.description.references | Dinh-Trong, T., Ghosh, S., France, R.: A taxonomy of faults for UML designs. In: 2nd MoDeVa workshop - in Conjunction with MoDELS (2005) | es_ES |
dc.description.references | Strug, J.: Classification of mutation operators applied to design models. Adv. Des. Manuf. 572, 539–542 (2014) | es_ES |
dc.description.references | España, S., González, A., Pastor, Ó., Ruiz, M.: Technical Report Communication Analysis and the OO-Method: Manual Derivation of the Conceptual Model the SuperStationery Co. Lab Demo, Valencia (2011) | es_ES |
dc.description.references | Tort, A., Olivé, A.: Case study: conceptual modeling of basic sudoku. http://guifre.lsi.upc.edu/Sudoku.pdf | es_ES |
dc.description.references | MutUML Tool. https://staq.dsic.upv.es/webstaq/mutuml.html | es_ES |
dc.description.references | Hamlet, R.G.: Testing programs with the aid of a compiler. IEEE Trans. Softw. Eng. SE-3, 279–290 (1977) | es_ES |
dc.description.references | Fabbri, S.C., Maldonado, J.C., Masiero, P.C., Delamaro, M.E.: Mutation analysis testing for finite state machines. In: 5th International Symposium Soft Reliability Engineering, pp. 220–229 (1994) | es_ES |
dc.description.references | Ferraz, S., Maldonado, J.C., Sugeta, T., Masiero, P.: Mutation testing applied to validate specifications based on statecharts. In: Proceedings 10th International Symposium on Software Reliability Engineering, pp. 210–219. IEEE, Boca Raton, FL (1999) | es_ES |
dc.description.references | Farooq, U., Lam, C.P.: Mutation analysis for the evaluation of AD models. In: International Conference on Computer Intelligent Model Control Automation CIMCA, pp. 296–301 (2008) | es_ES |
dc.description.references | Strug, J.: Mutation testing approach to evaluation of design models. Adv. Des. Manuf. 572, 543–546 (2014) | es_ES |
dc.description.references | Sommerville, I.: Software Engineering. Addison-Wesley, Boston (2011) | es_ES |