Pruebas dirigidas por modelos para sistemas distribuidos: Estudio de caso curso de sistemas distribuidos Universidad del Cauca

Vista sencilla de ítem
dc.contributor.authorPito, Luis C.spa
dc.contributor.authorGaviria, Ruben J.spa
dc.contributor.authorMage, Pablo A.spa
dc.contributor.authorHurtado, Julio A.spa
dc.date.accessioned2020-10-27T00:20:30Z
dc.date.available2020-10-27T00:20:30Z
dc.date.issued2012-12-01
dc.description.abstractActualmente el software y sus servicios derivados se evalúan de manera intuitiva y subjetiva, dependiendo del nivel de satisfacción de quien los consume. La calidad es una cualidad que cualquier servicio o producto debe poseer y mantener para asegurar su permanencia en el mercado. Particularmente, en el curso Laboratorio de Sistemas Distribuidos es demandante realizar la evaluación de los productos resultantes de las prácticas debido a su complejidad y el esfuerzo que demanda al evaluador. Para abordar esta problemática en este artículo se propone un proceso de pruebas software basado en el paradigma del desarrollo dirigido por modelos en el contexto de los Sistemas Distribuidos. Para soportar el enfoque se desarrolló una infraestructura de pruebas basada en modelos y se aplicó en un estudio de caso. Entre los principales resultados se muestra la aplicabilidad del modelo y la capacidad de reutilización de activos de prueba, así como las dificultades que deberán enfrentar las empresas al adoptar el enfoque por primera vez.spa
dc.description.abstractenglishCurrently the software and its derived services are evaluated on a intuitive and subjective, depending on the level of satisfaction of the person who consume. Quality is a quality that any service or product must own and maintain to ensure its permanence in the market. Particularly, in the Distributed Systems Laboratory course, it is plaintiff carry out the evaluation of the products resulting from the practices due to its complexity and the effort it demands from the evaluator. To board this problem in this article a software testing process is proposed based on the model-driven development paradigm in the context of Distributed systems. To support the approach, a model-based testing framework and applied in a case study. The main results show the applicability of the model and the reusability of test assets, as well as the difficulties that companies will face when first adopting the approach.eng
dc.format.mimetypeapplication/pdfspa
dc.identifier.instnameinstname:Universidad Autónoma de Bucaramanga UNABspa
dc.identifier.issn2539-2115
dc.identifier.issn1657-2831
dc.identifier.repourlrepourl:https://repository.unab.edu.co
dc.identifier.urihttp://hdl.handle.net/20.500.12749/8922
dc.language.isospaspa
dc.publisherUniversidad Autónoma de Bucaramanga UNAB
dc.relationhttps://revistas.unab.edu.co/index.php/rcc/article/view/2127/1895
dc.relation.referencesJ. S. Osmundson, J. B. Michael, M. J. Machniak, and M. A. Grossman, “Quality management metrics for software development,” vol. 2033, pp. 1–14, 2002.
dc.relation.referencesM. Utting and B. Legeard, Practical model-based testing a tools approach, 1st ed. San Francisco: Elsevier Inc, 2006, p. 455.
dc.relation.referencesM. Lahami, F. Fakhfakh, M. Krichen, and M. Jmaiel, “Towards a TTCN-3 Test System for Runtime,” pp. 71–86, 2012.
dc.relation.referencesC. Serrano, “Un Modelo Integral para un Profesional en Ingeniería,” Univ. del Cauca, 2003.
dc.relation.referencesS. W. Ambler, “The Agile Unified Process (AUP),” 2006. [Online]. Available: www.ambysoft.com/unifiedprocess/ agileUP.html.
dc.relation.referencesD. C. Schmidt, “Model-Driven Engineering,” no. February, pp.25–31, 2006.
dc.relation.referencesM. R. John Hutchinson Jon Whittle, “Model-Driven Engineering P ractices in Indust ry.” School o f Computing and Communications, Lancaster University, UK, 2011.
dc.relation.referencesR. V Binder, “Model-based Testing User Survey: Results and Analysis.” System Verification Associates Technical Report, p. 6, 2011.
dc.relation.referencesM. Utting, A. Pretschner, and B. Legeard, “A Taxonomy of Model-Based Testing.” School of Computing and Mathematical Sciences, University of Waikato, Hamilton, New Zealand, 2006.
dc.relation.referencesA. C. Dias-Neto and G. H. Travassos, “Model-based testing approaches selection for software projects,” Inf. Softw. Technol., vol. 51, no. 11, pp. 1487–1504, Nov. 2009.
dc.relation.referencesJ. Tretmans, F. Prester, P. Helle, and W. Schamai, “Model-Based Testing 2010: Short Abstracts,” Electron. Notes Theor. Comput. Sci., vol. 264, no. 3, pp. 85–99, Dec. 2010.
dc.relation.referencesK. Nylund, E. Östman, D. Truscan, and R. Teittinen, “Towards Rapid Creation of Test Adaptation in On-line Model-Based Testing,” in 2011 IEEE 35th Annual Computer Software and Applications Conference Workshops, 2011, pp. 174–179.
dc.relation.referencesL. C. Briand, Y. Labiche, and S. He, “Automating regression test selection based on UML designs,” Inf. Softw. Technol., vol. 51, no. 1, pp. 16–30, Jan. 2009.
dc.relation.referencesObject Management Group, “Unified Modeling Language, Infrastructure,” 2011.
dc.relation.referencesM. Hebach, “MDA with QVT,” Present. Borl. Together, 2006.
dc.relation.referencesM. Wooldridge, An Introduction to MultiAgent Systems. Department of Computer Science, University of Liverpool, UK: John Wiley & Sons, Ltd, 2002
dc.relation.referencesG. Coulouris, J. Dollimore, and T. Kindberg, Distributed Systems: Concepts and Design Edition 3, vol. 15. 2001, p. 4.
dc.relation.referencesJ. D. Ahmad Saifan, “Model-Based Testing of Distributed Systems,” p. 57, 2008.
dc.relation.referencesI. García-Magariño, R. Fuentes-Fernández, and J. J. Gómez-Sanz, “Guideline for the definition of EMF metamodels using an EntityRelationship approach,” Inf. Softw. Technol., vol. 51, no. 8, pp. 1217–1230, 2009.
dc.relation.referencesEclipse Modeling Framework: A Developer's Guide. AddisonWesley Professional, 2004, p. 680.
dc.relation.referencesD. Watkins and D. Thompson, “Adding semantics to interface definition languages,” in Proceedings 1998 Australian Software Engineering Conference (Cat. No.98EX233), 1998, pp. 66–78.
dc.relation.referencesH. Owens II and J. H. Hill, “Generating Valid Interface Definition Language from Succinct Models,” in 2011 14th IEEE International Symposium on Object/Component/ServiceOriented Real-Time Distributed Computing, 2011, pp. 205–212.
dc.relation.referencesP. Baker, Z. R. Dai, J. Grabowski, Ø. Haugen, I. Schieferdecker, and C. Williams, Model-driven testing. Using the UML Testing Profile. 2008, p. 188.
dc.relation.referencesOMG, “UML Testing Profile.” 2005.
dc.relation.references“An introduction to UML profiles,” UML …, 2004.
dc.relation.referencesJ. Boberg, “Early fault detection with model-based testing,” Proc. 7th ACM SIGPLAN Work. …, 2008.
dc.relation.referencesW. Prenninger and A. Pretschner, “Abstractions for Model-Based Testing,” Electron. Notes Theor. Comput. Sci., pp. 59–71, 2005.
dc.relation.referencesD. Streitferdt, F. Kantz, P. Nenninger, T. Ruschival, H. Kaul, T. Bauer, T. Hussain, and R. Eschbach, “Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain,” Int. J. Embed. Real-Time Commun. Syst., vol. 2, no. 2, pp. 22–41, 2011.
dc.relation.referencesA. Bertolino, E. Marchetti, and H. Muccini, “Introducing a Reasonably Complete and Coherent Approach for Model-based Testing,” Electron. Notes Theor. Comput. Sci., vol. 116, pp. 85–97, Jan. 2005.
dc.relation.referencesF. Abbors, A. Bäcklund, and D. Truscan, “MATERA - An Integrated Framework for Model-Based Testing,” in 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2010, pp. 321–328.
dc.relation.referencesJ. Botella, F. Bouquet, J.-F. Capuron, F. Lebeau, B. Legeard, and F. Schadle, “Model-Based Testing of Cryptographic Components -- Lessons Learned from Experience,” in 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, 2013, pp. 192–201.
dc.relation.referencesS. R. Shahamiri, W. M. N. W. Kadir, and S. Z. Mohd-Hashim, “A Comparative Study on Automated Software Test Oracle Methods,” in 2009 Fourth International Conference on Software Engineering Advances, 2009, pp. 140–145.
dc.relation.referencesF. Abbors, A. Bäcklund, and D. Truscan, “MATERA - An Integrated Framework for Model-Based Testing,” in 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2010, pp. 321–328.
dc.relation.referencesI. Rauf, M. Z. Z. Iqbal, and Z. I. Malik, “UML Based Modeling of Web Service Composition - A Survey,” in 2008 Sixth International Conference on Software Engineering Research, Management and Applications, 2008, pp. 301–307.
dc.relation.referencesM. Cristia, “Introducción al Testing de Software,” pp. 1–8, 2009.
dc.relation.referencesP. Runeson and M. Höst, “Guidelines for conducting and reporting case study research in software engineering,” Empir. Softw. Eng., 2009.
dc.relation.referencesGineth Andrea López Hoyos, “Modelado y propuesta de Mejora de Procesos de Desarrollo para un entorno académico,” 2013.
dc.relation.referencesH. Maimbo, G. Pervan, and W. Perth, “Designing a case study protocol for application in IS research,” Proc. Ninth Pacific Asia …, 2005.
dc.relation.referencesI. Benbasat, D. Goldstein, and M. Mead, “The case research strategy in studies of information systems,” MIS Q., 1987.
dc.relation.referencesR. Yin, “Case study research: Design and methods,” 2009.
dc.relation.referencesH. Klein and M. Myers, “A set of principles for conducting and evaluating interpretive field studies in information systems,” MIS Q., 1999.
dc.relation.referencesP. B. Lakey, “A Measurement Framework for Assessing ModelBased Testing Quality,” in 2010 Third International Conference on Software Testing, Verification, and Validation Workshops, 2010, pp. 19–27.
dc.relation.urihttps://revistas.unab.edu.co/index.php/rcc/article/view/2127
dc.rightsDerechos de autor 2012 Revista Colombiana de Computación
dc.rights.accessrightsinfo:eu-repo/semantics/openAccessspa
dc.rights.creativecommonsAttribution-NonCommercial-ShareAlike 4.0 International*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/4.0/*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/2.5/co/
dc.sourceRevista Colombiana de Computación; Vol. 13 Núm. 2 (2012): Revista Colombiana de Computación; 94-123
dc.subjectPruebas Software
dc.subjectSistemas Distribuidos
dc.subjectPruebas Dirigidas por Modelos
dc.subjectCalidad de Software
dc.subjectMetamodelos
dc.subjectTransformación de Modelos a texto
dc.subject.keywordsSoftware Testingeng
dc.subject.keywordsDistributed Systemseng
dc.subject.keywordsModel Driven Testingeng
dc.subject.keywordsSoftware Qualityeng
dc.subject.keywordsMetamodelseng
dc.subject.keywordsTransformation of Models to texteng
dc.subject.keywordsTechnological innovationseng
dc.subject.keywordsComputer's scienceeng
dc.subject.keywordsTechnological developmenteng
dc.subject.keywordsSystems engineereng
dc.subject.keywordsResearch
dc.subject.keywordsTechnology of the information and communicationeng
dc.subject.lembInnovaciones tecnológicasspa
dc.subject.lembCiencias de la computaciónspa
dc.subject.lembDesarrollo tecnológicospa
dc.subject.lembIngeniería de sistemasspa
dc.subject.lembInvestigaciones
dc.subject.lembTecnologías de la información y la comunicaciónspa
dc.subject.proposalPruebas softwarespa
dc.subject.proposalSistemas distribuidosspa
dc.subject.proposalPruebas dirigidas por modelosspa
dc.subject.proposalCalidad de softwarespa
dc.subject.proposalMetamodelosspa
dc.subject.proposalTransformaciones de modelo a textospa
dc.titlePruebas dirigidas por modelos para sistemas distribuidos: Estudio de caso curso de sistemas distribuidos Universidad del Caucaspa
dc.title.translatedModel Driven Testing for Distributed Systems: Case Study Distributed Systems Course Universidad del Caucaeng
dc.type.coarhttp://purl.org/coar/resource_type/c_7a1f
dc.type.driverinfo:eu-repo/semantics/article
dc.type.hasversionInfo:eu-repo/semantics/publishedVersion
dc.type.hasversioninfo:eu-repo/semantics/acceptedVersionspa
dc.type.localArtículospa
dc.type.redcolhttp://purl.org/redcol/resource_type/CJournalArticle

Archivos

Bloque original

Mostrando 1 - 1 de 1
Miniatura
Nombre:
2012_Articulo_Pruebas dirigidas por modelos para sistemas distribuidos Estudio de caso curso de sistemas distribuidos Universidad del Cauca.pdf
Tamaño:
650.75 KB
Formato:
Adobe Portable Document Format
Descripción:
Artículo
Descargar

Colecciones

Revista Colombiana de Computación