- -

Mutation Operators for UML Class Diagrams

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Mutation Operators for UML Class Diagrams

Mostrar el registro completo del ítem

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

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/179782

Ficheros en el ítem

Thumbnail
Nombre: GrandaCondori-Fer ...
Tamaño: 768.8Kb
Formato: PDF
Descripción: Versión del Autor.
Abrir/Preview
[Cerrado]
Nombre: Proceedings_Caise ...
Tamaño: 2.088Mb
Formato: PDF
Descripción: Versión editorial
Solicitar una copia al autor

Metadatos del ítem

Título: Mutation Operators for UML Class Diagrams
Autor: Granda Juca, María Fernanda Condori-Fernández, Nelly Vos, Tanja Ernestina Pastor López, Oscar
Entidad UPV: 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
Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
[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 ...[+]
Palabras clave: Mutation testing , Mutation operators , Test cases quality , Conceptual schemas , Class diagram mutation
Derechos de uso: Reserva de todos los derechos
ISBN: 978-3-319-39695-8
Fuente:
Advanced Information Systems Engineering. CAiSE 2016.
DOI: 10.1007/978-3-319-39696-5_20
Editorial:
Springer
Versión del editor: https://doi.org/10.1007/978-3-319-39696-5_20
Título del congreso: 28th International Conference on Advanced Information Systems Engineering (CAiSE 2016)
Lugar del congreso: Ljubljana, Slovenia
Fecha congreso: Junio 13-17,2016
Serie: Lecture Notes in Computer Science;9694
Código del Proyecto:
info:eu-repo/grantAgreement/EC/FP7/611351/EU/
info:eu-repo/grantAgreement/GENERALITAT VALENCIANA//PROMETEOII%2F2014%2F039//IDEO: Innovative services for Digital Enterprises with ORCA (Servicios Innovadores para Empresas Digitales con ORCA)/
Agradecimientos:
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)
Tipo: Comunicación en congreso Capítulo de libro

References

Olivé, A.: Conceptual Modeling of Information System. Springer, Heidelberg (2007)

Pastor, O., Molina, J.C.: Model-Driven Architecture in Practice. Springer, Berlin Heidelberg, Cambridge (2007)

Granda, M.F.: Testing-based conceptual schema validation in a model-driven environment. In: CAiSE 2013 Doctoral Consortium, Valencia (2013) [+]
Olivé, A.: Conceptual Modeling of Information System. Springer, Heidelberg (2007)

Pastor, O., Molina, J.C.: Model-Driven Architecture in Practice. Springer, Berlin Heidelberg, Cambridge (2007)

Granda, M.F.: Testing-based conceptual schema validation in a model-driven environment. In: CAiSE 2013 Doctoral Consortium, Valencia (2013)

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)

Jia, Y., Harman, M.: An analysis and survey of the development of mutation testing. Softw. Eng. IEEE Trans. 37, 1–31 (2011)

Jia, Y., Harman, M.: Higher order mutation testing. Inf. Softw. Technol. 51, 1379–1393 (2009)

Object Management Group: Unified Modeling Language (UML) (2015)

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)

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)

Object Management Group: Action Language for Foundational UML (ALF) (2013)

Object Management Group: Semantics of a Foundational Subset for Executable UML Models (fUML) (2012)

IEEE: IEEE Standard Classification for Software Anomalies (2010)

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)

Offutt, J.: Investigations of the software testing coupling effect. ACM Trans. Softw. Eng. Methodol. 1, 5–20 (1992)

Woodward, M.R.: Errors in algebraic specifications and an experimental mutation testing tool. Softw. Eng. J. 4, 211–224 (1993)

Derezińska, A.: Object-oriented mutation to assess the quality of tests. In: Proceedings of Conference on EUROMICRO, pp. 417–420 (2003)

Dinh-Trong, T., Ghosh, S., France, R.: A taxonomy of faults for UML designs. In: 2nd MoDeVa workshop - in Conjunction with MoDELS (2005)

Strug, J.: Classification of mutation operators applied to design models. Adv. Des. Manuf. 572, 539–542 (2014)

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)

Tort, A., Olivé, A.: Case study: conceptual modeling of basic sudoku. http://guifre.lsi.upc.edu/Sudoku.pdf

MutUML Tool. https://staq.dsic.upv.es/webstaq/mutuml.html

Hamlet, R.G.: Testing programs with the aid of a compiler. IEEE Trans. Softw. Eng. SE-3, 279–290 (1977)

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)

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)

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)

Strug, J.: Mutation testing approach to evaluation of design models. Adv. Des. Manuf. 572, 543–546 (2014)

Sommerville, I.: Software Engineering. Addison-Wesley, Boston (2011)

[-]

recommendations

 

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem