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...

Full description

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