Pruebas dirigidas por modelos para sistemas distribuidos: Estudio de caso curso de sistemas distribuidos Universidad del Cauca
Actualmente 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, e...
- Autores:
-
Pito, Luis C.
Gaviria, Ruben J.
Mage, Pablo A.
Hurtado, Julio A.
- Tipo de recurso:
- Trabajo de grado de pregrado
- Fecha de publicación:
- 2012
- Institución:
- Universidad Autónoma de Bucaramanga - UNAB
- Repositorio:
- Repositorio UNAB
- Idioma:
- spa
- OAI Identifier:
- oai:repository.unab.edu.co:20.500.12749/8922
- Acceso en línea:
- http://hdl.handle.net/20.500.12749/8922
- Palabra clave:
- Pruebas Software
Sistemas Distribuidos
Pruebas Dirigidas por Modelos
Calidad de Software
Metamodelos
Transformación de Modelos a texto
Software Testing
Distributed Systems
Model Driven Testing
Software Quality
Metamodels
Transformation of Models to text
Technological innovations
Computer's science
Technological development
Systems engineer
Technology of the information and communication
Research
Innovaciones tecnológicas
Ciencias de la computación
Desarrollo tecnológico
Ingeniería de sistemas
Tecnologías de la información y la comunicación
Investigaciones
Pruebas software
Sistemas distribuidos
Pruebas dirigidas por modelos
Calidad de software
Metamodelos
Transformaciones de modelo a texto
- Rights
- License
- Derechos de autor 2012 Revista Colombiana de Computación
id |
UNAB2_27cc1204a290f9c5a28bacc8979c84f9 |
---|---|
oai_identifier_str |
oai:repository.unab.edu.co:20.500.12749/8922 |
network_acronym_str |
UNAB2 |
network_name_str |
Repositorio UNAB |
repository_id_str |
|
dc.title.spa.fl_str_mv |
Pruebas dirigidas por modelos para sistemas distribuidos: Estudio de caso curso de sistemas distribuidos Universidad del Cauca |
dc.title.translated.eng.fl_str_mv |
Model Driven Testing for Distributed Systems: Case Study Distributed Systems Course Universidad del Cauca |
title |
Pruebas dirigidas por modelos para sistemas distribuidos: Estudio de caso curso de sistemas distribuidos Universidad del Cauca |
spellingShingle |
Pruebas dirigidas por modelos para sistemas distribuidos: Estudio de caso curso de sistemas distribuidos Universidad del Cauca Pruebas Software Sistemas Distribuidos Pruebas Dirigidas por Modelos Calidad de Software Metamodelos Transformación de Modelos a texto Software Testing Distributed Systems Model Driven Testing Software Quality Metamodels Transformation of Models to text Technological innovations Computer's science Technological development Systems engineer Technology of the information and communication Research Innovaciones tecnológicas Ciencias de la computación Desarrollo tecnológico Ingeniería de sistemas Tecnologías de la información y la comunicación Investigaciones Pruebas software Sistemas distribuidos Pruebas dirigidas por modelos Calidad de software Metamodelos Transformaciones de modelo a texto |
title_short |
Pruebas dirigidas por modelos para sistemas distribuidos: Estudio de caso curso de sistemas distribuidos Universidad del Cauca |
title_full |
Pruebas dirigidas por modelos para sistemas distribuidos: Estudio de caso curso de sistemas distribuidos Universidad del Cauca |
title_fullStr |
Pruebas dirigidas por modelos para sistemas distribuidos: Estudio de caso curso de sistemas distribuidos Universidad del Cauca |
title_full_unstemmed |
Pruebas dirigidas por modelos para sistemas distribuidos: Estudio de caso curso de sistemas distribuidos Universidad del Cauca |
title_sort |
Pruebas dirigidas por modelos para sistemas distribuidos: Estudio de caso curso de sistemas distribuidos Universidad del Cauca |
dc.creator.fl_str_mv |
Pito, Luis C. Gaviria, Ruben J. Mage, Pablo A. Hurtado, Julio A. |
dc.contributor.author.spa.fl_str_mv |
Pito, Luis C. Gaviria, Ruben J. Mage, Pablo A. Hurtado, Julio A. |
dc.subject.none.fl_str_mv |
Pruebas Software Sistemas Distribuidos Pruebas Dirigidas por Modelos Calidad de Software Metamodelos Transformación de Modelos a texto |
topic |
Pruebas Software Sistemas Distribuidos Pruebas Dirigidas por Modelos Calidad de Software Metamodelos Transformación de Modelos a texto Software Testing Distributed Systems Model Driven Testing Software Quality Metamodels Transformation of Models to text Technological innovations Computer's science Technological development Systems engineer Technology of the information and communication Research Innovaciones tecnológicas Ciencias de la computación Desarrollo tecnológico Ingeniería de sistemas Tecnologías de la información y la comunicación Investigaciones Pruebas software Sistemas distribuidos Pruebas dirigidas por modelos Calidad de software Metamodelos Transformaciones de modelo a texto |
dc.subject.keywords.eng.fl_str_mv |
Software Testing Distributed Systems Model Driven Testing Software Quality Metamodels Transformation of Models to text Technological innovations Computer's science Technological development Systems engineer Technology of the information and communication |
dc.subject.keywords.none.fl_str_mv |
Research |
dc.subject.lemb.spa.fl_str_mv |
Innovaciones tecnológicas Ciencias de la computación Desarrollo tecnológico Ingeniería de sistemas Tecnologías de la información y la comunicación |
dc.subject.lemb.none.fl_str_mv |
Investigaciones |
dc.subject.proposal.spa.fl_str_mv |
Pruebas software Sistemas distribuidos Pruebas dirigidas por modelos Calidad de software Metamodelos Transformaciones de modelo a texto |
description |
Actualmente 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. |
publishDate |
2012 |
dc.date.issued.none.fl_str_mv |
2012-12-01 |
dc.date.accessioned.none.fl_str_mv |
2020-10-27T00:20:30Z |
dc.date.available.none.fl_str_mv |
2020-10-27T00:20:30Z |
dc.type.coar.fl_str_mv |
http://purl.org/coar/resource_type/c_2df8fbb1 |
dc.type.coarversion.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
dc.type.driver.none.fl_str_mv |
info:eu-repo/semantics/article |
dc.type.local.spa.fl_str_mv |
Artículo |
dc.type.coar.none.fl_str_mv |
http://purl.org/coar/resource_type/c_7a1f |
dc.type.redcol.none.fl_str_mv |
http://purl.org/redcol/resource_type/CJournalArticle |
format |
http://purl.org/coar/resource_type/c_7a1f |
dc.identifier.issn.none.fl_str_mv |
2539-2115 1657-2831 |
dc.identifier.uri.none.fl_str_mv |
http://hdl.handle.net/20.500.12749/8922 |
dc.identifier.instname.spa.fl_str_mv |
instname:Universidad Autónoma de Bucaramanga UNAB |
dc.identifier.repourl.none.fl_str_mv |
repourl:https://repository.unab.edu.co |
identifier_str_mv |
2539-2115 1657-2831 instname:Universidad Autónoma de Bucaramanga UNAB repourl:https://repository.unab.edu.co |
url |
http://hdl.handle.net/20.500.12749/8922 |
dc.language.iso.spa.fl_str_mv |
spa |
language |
spa |
dc.relation.none.fl_str_mv |
https://revistas.unab.edu.co/index.php/rcc/article/view/2127/1895 |
dc.relation.uri.none.fl_str_mv |
https://revistas.unab.edu.co/index.php/rcc/article/view/2127 |
dc.relation.references.none.fl_str_mv |
J. S. Osmundson, J. B. Michael, M. J. Machniak, and M. A. Grossman, “Quality management metrics for software development,” vol. 2033, pp. 1–14, 2002. M. Utting and B. Legeard, Practical model-based testing a tools approach, 1st ed. San Francisco: Elsevier Inc, 2006, p. 455. M. Lahami, F. Fakhfakh, M. Krichen, and M. Jmaiel, “Towards a TTCN-3 Test System for Runtime,” pp. 71–86, 2012. C. Serrano, “Un Modelo Integral para un Profesional en Ingeniería,” Univ. del Cauca, 2003. S. W. Ambler, “The Agile Unified Process (AUP),” 2006. [Online]. Available: www.ambysoft.com/unifiedprocess/ agileUP.html. D. C. Schmidt, “Model-Driven Engineering,” no. February, pp.25–31, 2006. M. R. John Hutchinson Jon Whittle, “Model-Driven Engineering P ractices in Indust ry.” School o f Computing and Communications, Lancaster University, UK, 2011. R. V Binder, “Model-based Testing User Survey: Results and Analysis.” System Verification Associates Technical Report, p. 6, 2011. M. 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. A. 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. J. 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. K. 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. L. 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. Object Management Group, “Unified Modeling Language, Infrastructure,” 2011. M. Hebach, “MDA with QVT,” Present. Borl. Together, 2006. M. Wooldridge, An Introduction to MultiAgent Systems. Department of Computer Science, University of Liverpool, UK: John Wiley & Sons, Ltd, 2002 G. Coulouris, J. Dollimore, and T. Kindberg, Distributed Systems: Concepts and Design Edition 3, vol. 15. 2001, p. 4. J. D. Ahmad Saifan, “Model-Based Testing of Distributed Systems,” p. 57, 2008. I. 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. Eclipse Modeling Framework: A Developer's Guide. AddisonWesley Professional, 2004, p. 680. D. Watkins and D. Thompson, “Adding semantics to interface definition languages,” in Proceedings 1998 Australian Software Engineering Conference (Cat. No.98EX233), 1998, pp. 66–78. H. 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. P. Baker, Z. R. Dai, J. Grabowski, Ø. Haugen, I. Schieferdecker, and C. Williams, Model-driven testing. Using the UML Testing Profile. 2008, p. 188. OMG, “UML Testing Profile.” 2005. “An introduction to UML profiles,” UML …, 2004. J. Boberg, “Early fault detection with model-based testing,” Proc. 7th ACM SIGPLAN Work. …, 2008. W. Prenninger and A. Pretschner, “Abstractions for Model-Based Testing,” Electron. Notes Theor. Comput. Sci., pp. 59–71, 2005. D. 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. A. 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. F. 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. J. 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. S. 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. F. 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. I. 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. M. Cristia, “Introducción al Testing de Software,” pp. 1–8, 2009. P. Runeson and M. Höst, “Guidelines for conducting and reporting case study research in software engineering,” Empir. Softw. Eng., 2009. Gineth Andrea López Hoyos, “Modelado y propuesta de Mejora de Procesos de Desarrollo para un entorno académico,” 2013. H. Maimbo, G. Pervan, and W. Perth, “Designing a case study protocol for application in IS research,” Proc. Ninth Pacific Asia …, 2005. I. Benbasat, D. Goldstein, and M. Mead, “The case research strategy in studies of information systems,” MIS Q., 1987. R. Yin, “Case study research: Design and methods,” 2009. H. Klein and M. Myers, “A set of principles for conducting and evaluating interpretive field studies in information systems,” MIS Q., 1999. P. 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.rights.none.fl_str_mv |
Derechos de autor 2012 Revista Colombiana de Computación |
dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
dc.rights.uri.*.fl_str_mv |
http://creativecommons.org/licenses/by-nc-sa/4.0/ |
dc.rights.uri.none.fl_str_mv |
http://creativecommons.org/licenses/by-nc-nd/2.5/co/ |
dc.rights.creativecommons.*.fl_str_mv |
Attribution-NonCommercial-ShareAlike 4.0 International |
rights_invalid_str_mv |
Derechos de autor 2012 Revista Colombiana de Computación http://creativecommons.org/licenses/by-nc-sa/4.0/ http://creativecommons.org/licenses/by-nc-nd/2.5/co/ Attribution-NonCommercial-ShareAlike 4.0 International http://purl.org/coar/access_right/c_abf2 |
dc.format.mimetype.spa.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Universidad Autónoma de Bucaramanga UNAB |
publisher.none.fl_str_mv |
Universidad Autónoma de Bucaramanga UNAB |
dc.source.none.fl_str_mv |
Revista Colombiana de Computación; Vol. 13 Núm. 2 (2012): Revista Colombiana de Computación; 94-123 |
institution |
Universidad Autónoma de Bucaramanga - UNAB |
bitstream.url.fl_str_mv |
https://repository.unab.edu.co/bitstream/20.500.12749/8922/1/2012_Articulo_Pruebas%20dirigidas%20por%20modelos%20para%20sistemas%20distribuidos%20Estudio%20de%20caso%20curso%20de%20sistemas%20distribuidos%20Universidad%20del%20Cauca.pdf https://repository.unab.edu.co/bitstream/20.500.12749/8922/2/2012_Articulo_Pruebas%20dirigidas%20por%20modelos%20para%20sistemas%20distribuidos%20Estudio%20de%20caso%20curso%20de%20sistemas%20distribuidos%20Universidad%20del%20Cauca.pdf.jpg |
bitstream.checksum.fl_str_mv |
ce1c6644d5aaac855b4bc593ada5fbbb 2d4f80d824adf2fe2c7a6a24fd877ac8 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
repository.name.fl_str_mv |
Repositorio Institucional | Universidad Autónoma de Bucaramanga - UNAB |
repository.mail.fl_str_mv |
repositorio@unab.edu.co |
_version_ |
1814278471681048576 |
spelling |
Pito, Luis C.14fbd9f1-88e5-43e5-a42c-52e702a542f3Gaviria, Ruben J.8188a5b9-43e8-4ad2-b7a8-af9c1c9b3fe0Mage, Pablo A.660086e8-84a5-446e-9c07-f8b0cebf8ee3Hurtado, Julio A.dfb0a188-639a-416b-b390-4177e3465d6e2020-10-27T00:20:30Z2020-10-27T00:20:30Z2012-12-012539-21151657-2831http://hdl.handle.net/20.500.12749/8922instname:Universidad Autónoma de Bucaramanga UNABrepourl:https://repository.unab.edu.coActualmente 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.Currently 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.application/pdfspaUniversidad Autónoma de Bucaramanga UNABhttps://revistas.unab.edu.co/index.php/rcc/article/view/2127/1895https://revistas.unab.edu.co/index.php/rcc/article/view/2127J. S. Osmundson, J. B. Michael, M. J. Machniak, and M. A. Grossman, “Quality management metrics for software development,” vol. 2033, pp. 1–14, 2002.M. Utting and B. Legeard, Practical model-based testing a tools approach, 1st ed. San Francisco: Elsevier Inc, 2006, p. 455.M. Lahami, F. Fakhfakh, M. Krichen, and M. Jmaiel, “Towards a TTCN-3 Test System for Runtime,” pp. 71–86, 2012.C. Serrano, “Un Modelo Integral para un Profesional en Ingeniería,” Univ. del Cauca, 2003.S. W. Ambler, “The Agile Unified Process (AUP),” 2006. [Online]. Available: www.ambysoft.com/unifiedprocess/ agileUP.html.D. C. Schmidt, “Model-Driven Engineering,” no. February, pp.25–31, 2006.M. R. John Hutchinson Jon Whittle, “Model-Driven Engineering P ractices in Indust ry.” School o f Computing and Communications, Lancaster University, UK, 2011.R. V Binder, “Model-based Testing User Survey: Results and Analysis.” System Verification Associates Technical Report, p. 6, 2011.M. 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.A. 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.J. 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.K. 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.L. 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.Object Management Group, “Unified Modeling Language, Infrastructure,” 2011.M. Hebach, “MDA with QVT,” Present. Borl. Together, 2006.M. Wooldridge, An Introduction to MultiAgent Systems. Department of Computer Science, University of Liverpool, UK: John Wiley & Sons, Ltd, 2002G. Coulouris, J. Dollimore, and T. Kindberg, Distributed Systems: Concepts and Design Edition 3, vol. 15. 2001, p. 4.J. D. Ahmad Saifan, “Model-Based Testing of Distributed Systems,” p. 57, 2008.I. 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.Eclipse Modeling Framework: A Developer's Guide. AddisonWesley Professional, 2004, p. 680.D. Watkins and D. Thompson, “Adding semantics to interface definition languages,” in Proceedings 1998 Australian Software Engineering Conference (Cat. No.98EX233), 1998, pp. 66–78.H. 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.P. Baker, Z. R. Dai, J. Grabowski, Ø. Haugen, I. Schieferdecker, and C. Williams, Model-driven testing. Using the UML Testing Profile. 2008, p. 188.OMG, “UML Testing Profile.” 2005.“An introduction to UML profiles,” UML …, 2004.J. Boberg, “Early fault detection with model-based testing,” Proc. 7th ACM SIGPLAN Work. …, 2008.W. Prenninger and A. Pretschner, “Abstractions for Model-Based Testing,” Electron. Notes Theor. Comput. Sci., pp. 59–71, 2005.D. 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.A. 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.F. 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.J. 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.S. 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.F. 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.I. 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.M. Cristia, “Introducción al Testing de Software,” pp. 1–8, 2009.P. Runeson and M. Höst, “Guidelines for conducting and reporting case study research in software engineering,” Empir. Softw. Eng., 2009.Gineth Andrea López Hoyos, “Modelado y propuesta de Mejora de Procesos de Desarrollo para un entorno académico,” 2013.H. Maimbo, G. Pervan, and W. Perth, “Designing a case study protocol for application in IS research,” Proc. Ninth Pacific Asia …, 2005.I. Benbasat, D. Goldstein, and M. Mead, “The case research strategy in studies of information systems,” MIS Q., 1987.R. Yin, “Case study research: Design and methods,” 2009.H. Klein and M. Myers, “A set of principles for conducting and evaluating interpretive field studies in information systems,” MIS Q., 1999.P. 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.Derechos de autor 2012 Revista Colombiana de Computaciónhttp://creativecommons.org/licenses/by-nc-sa/4.0/http://creativecommons.org/licenses/by-nc-nd/2.5/co/Attribution-NonCommercial-ShareAlike 4.0 Internationalhttp://purl.org/coar/access_right/c_abf2Revista Colombiana de Computación; Vol. 13 Núm. 2 (2012): Revista Colombiana de Computación; 94-123Pruebas SoftwareSistemas DistribuidosPruebas Dirigidas por ModelosCalidad de SoftwareMetamodelosTransformación de Modelos a textoSoftware TestingDistributed SystemsModel Driven TestingSoftware QualityMetamodelsTransformation of Models to textTechnological innovationsComputer's scienceTechnological developmentSystems engineerTechnology of the information and communicationResearchInnovaciones tecnológicasCiencias de la computaciónDesarrollo tecnológicoIngeniería de sistemasTecnologías de la información y la comunicaciónInvestigacionesPruebas softwareSistemas distribuidosPruebas dirigidas por modelosCalidad de softwareMetamodelosTransformaciones de modelo a textoPruebas dirigidas por modelos para sistemas distribuidos: Estudio de caso curso de sistemas distribuidos Universidad del CaucaModel Driven Testing for Distributed Systems: Case Study Distributed Systems Course Universidad del Caucainfo:eu-repo/semantics/articleArtículohttp://purl.org/coar/resource_type/c_7a1fhttp://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/redcol/resource_type/CJournalArticlehttp://purl.org/coar/version/c_970fb48d4fbd8a85ORIGINAL2012_Articulo_Pruebas dirigidas por modelos para sistemas distribuidos Estudio de caso curso de sistemas distribuidos Universidad del Cauca.pdf2012_Articulo_Pruebas dirigidas por modelos para sistemas distribuidos Estudio de caso curso de sistemas distribuidos Universidad del Cauca.pdfArtículoapplication/pdf666370https://repository.unab.edu.co/bitstream/20.500.12749/8922/1/2012_Articulo_Pruebas%20dirigidas%20por%20modelos%20para%20sistemas%20distribuidos%20Estudio%20de%20caso%20curso%20de%20sistemas%20distribuidos%20Universidad%20del%20Cauca.pdfce1c6644d5aaac855b4bc593ada5fbbbMD51open accessTHUMBNAIL2012_Articulo_Pruebas dirigidas por modelos para sistemas distribuidos Estudio de caso curso de sistemas distribuidos Universidad del Cauca.pdf.jpg2012_Articulo_Pruebas dirigidas por modelos para sistemas distribuidos Estudio de caso curso de sistemas distribuidos Universidad del Cauca.pdf.jpgIM Thumbnailimage/jpeg6018https://repository.unab.edu.co/bitstream/20.500.12749/8922/2/2012_Articulo_Pruebas%20dirigidas%20por%20modelos%20para%20sistemas%20distribuidos%20Estudio%20de%20caso%20curso%20de%20sistemas%20distribuidos%20Universidad%20del%20Cauca.pdf.jpg2d4f80d824adf2fe2c7a6a24fd877ac8MD52open access20.500.12749/8922oai:repository.unab.edu.co:20.500.12749/89222023-02-03 22:00:54.551open accessRepositorio Institucional | Universidad Autónoma de Bucaramanga - UNABrepositorio@unab.edu.co |