A Representation of Model-Based Testing by using Essence Standard Kernel
Los modelos son útiles para representar el dominio de un sistema de software. Algunos modelos conceptuales se pueden usar para generar los casos de prueba de un sistema de software futuro, originando lo que se conoce como pruebas basadas en modelos. Esta práctica se suele representar y explicar con...
- Autores:
-
Zapata Jaramillo, Carlos Mario
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 2025
- Institución:
- Universidad de San Buenaventura
- Repositorio:
- Repositorio USB
- Idioma:
- eng
- OAI Identifier:
- oai:bibliotecadigital.usb.edu.co:10819/29038
- Acceso en línea:
- https://hdl.handle.net/10819/29038
https://doi.org/10.21500/20275846.6480
- Palabra clave:
- Model-based testing
software engineering method and theory
Essence,
practice
english
- Rights
- openAccess
- License
- Ingenierías USBMed - 2025
| id |
SANBUENAV2_1d6762ce788476fb1ef0fe793f91e599 |
|---|---|
| oai_identifier_str |
oai:bibliotecadigital.usb.edu.co:10819/29038 |
| network_acronym_str |
SANBUENAV2 |
| network_name_str |
Repositorio USB |
| repository_id_str |
|
| dc.title.spa.fl_str_mv |
A Representation of Model-Based Testing by using Essence Standard Kernel |
| dc.title.translated.eng.fl_str_mv |
A representation of Model-based Testing on top of the Essence standard kernel |
| title |
A Representation of Model-Based Testing by using Essence Standard Kernel |
| spellingShingle |
A Representation of Model-Based Testing by using Essence Standard Kernel Model-based testing software engineering method and theory Essence, practice english |
| title_short |
A Representation of Model-Based Testing by using Essence Standard Kernel |
| title_full |
A Representation of Model-Based Testing by using Essence Standard Kernel |
| title_fullStr |
A Representation of Model-Based Testing by using Essence Standard Kernel |
| title_full_unstemmed |
A Representation of Model-Based Testing by using Essence Standard Kernel |
| title_sort |
A Representation of Model-Based Testing by using Essence Standard Kernel |
| dc.creator.fl_str_mv |
Zapata Jaramillo, Carlos Mario |
| dc.contributor.author.spa.fl_str_mv |
Zapata Jaramillo, Carlos Mario |
| dc.subject.eng.fl_str_mv |
Model-based testing software engineering method and theory Essence, practice |
| topic |
Model-based testing software engineering method and theory Essence, practice english |
| dc.subject.spa.fl_str_mv |
english |
| description |
Los modelos son útiles para representar el dominio de un sistema de software. Algunos modelos conceptuales se pueden usar para generar los casos de prueba de un sistema de software futuro, originando lo que se conoce como pruebas basadas en modelos. Esta práctica se suele representar y explicar con dibujos informales y esquemas semiformales. Sin embargo, tales esquemas y dibujos normalmente carecen de una descripción completa de la práctica y, además, usan notaciones aisladas difíciles de integrar, ya que se refieren a los mismos elementos en algunos términos diferentes. En este artículo se resuelven tales problemas al representar los elementos principales de las pruebas basadas en modelos con el uso de Essence, el estándar del Object Management Group para la teoría y métodos de ingeniería de software. Se garantiza que esta representación exhibe los mismos elementos de otras prácticas relacionadas con la ingeniería de software y que se unifica la terminología relacionada con las pruebas basadas en modelos de un modo completo y consistente. |
| publishDate |
2025 |
| dc.date.accessioned.none.fl_str_mv |
2025-07-10T11:55:06Z 2025-08-22T17:04:31Z |
| dc.date.available.none.fl_str_mv |
2025-07-10T11:55:06Z 2025-08-22T17:04:31Z |
| dc.date.issued.none.fl_str_mv |
2025-07-10 |
| dc.type.spa.fl_str_mv |
Artículo de revista |
| dc.type.coar.fl_str_mv |
http://purl.org/coar/resource_type/c_2df8fbb1 |
| dc.type.coar.eng.fl_str_mv |
http://purl.org/coar/resource_type/c_6501 |
| dc.type.coarversion.eng.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| dc.type.content.eng.fl_str_mv |
Text |
| dc.type.driver.eng.fl_str_mv |
info:eu-repo/semantics/article |
| dc.type.local.eng.fl_str_mv |
Journal article |
| dc.type.version.eng.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| format |
http://purl.org/coar/resource_type/c_6501 |
| status_str |
publishedVersion |
| dc.identifier.doi.none.fl_str_mv |
10.21500/20275846.6480 |
| dc.identifier.eissn.none.fl_str_mv |
2027-5846 |
| dc.identifier.uri.none.fl_str_mv |
https://hdl.handle.net/10819/29038 |
| dc.identifier.url.none.fl_str_mv |
https://doi.org/10.21500/20275846.6480 |
| identifier_str_mv |
10.21500/20275846.6480 2027-5846 |
| url |
https://hdl.handle.net/10819/29038 https://doi.org/10.21500/20275846.6480 |
| dc.language.iso.eng.fl_str_mv |
eng |
| language |
eng |
| dc.relation.bitstream.none.fl_str_mv |
https://revistas.usb.edu.co/index.php/IngUSBmed/article/download/6480/5662 |
| dc.relation.citationedition.spa.fl_str_mv |
Núm. 1 , Año 2025 : Ingenierías USBMed |
| dc.relation.citationendpage.none.fl_str_mv |
9 |
| dc.relation.citationissue.spa.fl_str_mv |
1 |
| dc.relation.citationstartpage.none.fl_str_mv |
1 |
| dc.relation.citationvolume.spa.fl_str_mv |
16 |
| dc.relation.ispartofjournal.spa.fl_str_mv |
Ingenierías USBMed |
| dc.relation.references.eng.fl_str_mv |
C.M. Zapata-Jaramillo, A. Gelbukh, F. Arango. “Pre-conceptual Schema: A Conceptual-Graph-Like Knowledge Representation for Requirements Elicitation”. Lecture notes in computer science, Vol. 4293, pp. 17–27, 2006. [2] R. Heckel, G. Taentzer. “Graph Transformation for Software Engineers, chapter 7: model-based testing”. Cham: Springer, 2020. [3] E. Villani, R. Pontes, G. Coracini, A. Ambrosio. “Integrating model checking and model based testing for industrial software development”. Computers in industry, Vol. 104, pp. 88–102, 2019. [4] J. Meyer, A. Werner, L. Bichler. “Modellbasiertes Testen bei Infotainmentsystemen”. ATZ Elektron, Vol. 1, pp. 54–59, 2006. [5] K. Petry, E. Olivera Jr., A. Zorzo. “Model-based testing of software product lines: mapping study and research roadmap”. The journal of systems and software, Vol. 167, No. 110608, pp. 1–32, 2020. [6] C. Ma, C. Jordan, J. Provost. “SATE: model-based testing with design-to-test and plant features”. IFAC PapersOnLine, Vol. 51, No. 7, pp. 310–315, 2018. [7] A. Saeed, S. Ab Hamid, M. Mustafa. “The experimental applications of search-based techniques for model-based testing: taxonomy and systematic literature review”. Applied soft computing, Vol. 49, pp. 1094-1117, 2016. [8] J. Singh, S. Sahu, A. Singh. “Implementing test automation framework using model-based testing approach”. In: S. Bhalla et al. (Eds.), Intelligent computing and information and communication. Singapore: Springer, 2018. [9] V. Garousi, A. Keles, Y. Balaman, Z. Güler. “Model-based testing in practice: an experience report from the web applications domain”. The journal of systems and software, Vol. 180, No. 111032, pp. 1–22, 2021. [10] T. Ahmad, J. Iqbal, A. Ashraf, D. Truscan, I. Porres. “Model-based testing using UML activity diagrams: a systematic mapping study”. Computer science review, Vol. 33, pp. 98–112, 2019. [11] C. Gebizli, A. Kirkici, H. Sözer. “Increasing test efficiency by risk-driven model-based testing”. The journal of systems and software, No. 144, pp. 356–365, 2018. [12] A. Dias-Neto, G. Travassos. “Model-based testing approaches selection for software projects”. Information and software technology, Vol. 51, pp. 1487–1504, 2009. [13] I. Jacobson, P.-W. Ng, P. McMahon, I. Spence, S. Lidman. “The Essence of software engineering: applying the SEMAT kernel”. Indianapolis: Addison Wesley, 2013. [14] Object Management Group. “Essence—kernel and language for software engineering methods, version 1.2”. Standard document URL: https://www.omg.org/spec/Essence. [15] A. Barón. “Modelo para la definición unificada de la práctica como constructo Teórico en ingeniería de software”. PhD Thesis, Universidad Nacional de Colombia, Sede Medellín. Director: C. M. Zapata-Jaramillo. Medellín, 2019. [16] G. Li, Ch. Yuan, S. Kamarthi, M. Moghaddam, X. Jin. “Data science skills and domain knowledge requirements in the manufacturing industry: a gap analysis”. Journal of manufacturing systems, Vol. 60, pp. 692–706, 2021. |
| dc.rights.eng.fl_str_mv |
Ingenierías USBMed - 2025 |
| dc.rights.accessrights.eng.fl_str_mv |
info:eu-repo/semantics/openAccess |
| dc.rights.coar.eng.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| dc.rights.uri.eng.fl_str_mv |
https://creativecommons.org/licenses/by-nc-nd/4.0 |
| rights_invalid_str_mv |
Ingenierías USBMed - 2025 http://purl.org/coar/access_right/c_abf2 https://creativecommons.org/licenses/by-nc-nd/4.0 |
| eu_rights_str_mv |
openAccess |
| dc.format.mimetype.eng.fl_str_mv |
application/pdf |
| dc.publisher.spa.fl_str_mv |
Universidad San Buenaventura - USB (Colombia) |
| dc.source.eng.fl_str_mv |
https://revistas.usb.edu.co/index.php/IngUSBmed/article/view/6480 |
| institution |
Universidad de San Buenaventura |
| bitstream.url.fl_str_mv |
https://bibliotecadigital.usb.edu.co/bitstreams/3271d687-29cd-4c55-986a-a0d03d187ab6/download |
| bitstream.checksum.fl_str_mv |
f70488d6e7605c08efb222b39550e3e8 |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 |
| repository.name.fl_str_mv |
Repositorio Institucional Universidad de San Buenaventura Colombia |
| repository.mail.fl_str_mv |
bdigital@metabiblioteca.com |
| _version_ |
1851053598624972800 |
| spelling |
Zapata Jaramillo, Carlos Mario2025-07-10T11:55:06Z2025-08-22T17:04:31Z2025-07-10T11:55:06Z2025-08-22T17:04:31Z2025-07-10Los modelos son útiles para representar el dominio de un sistema de software. Algunos modelos conceptuales se pueden usar para generar los casos de prueba de un sistema de software futuro, originando lo que se conoce como pruebas basadas en modelos. Esta práctica se suele representar y explicar con dibujos informales y esquemas semiformales. Sin embargo, tales esquemas y dibujos normalmente carecen de una descripción completa de la práctica y, además, usan notaciones aisladas difíciles de integrar, ya que se refieren a los mismos elementos en algunos términos diferentes. En este artículo se resuelven tales problemas al representar los elementos principales de las pruebas basadas en modelos con el uso de Essence, el estándar del Object Management Group para la teoría y métodos de ingeniería de software. Se garantiza que esta representación exhibe los mismos elementos de otras prácticas relacionadas con la ingeniería de software y que se unifica la terminología relacionada con las pruebas basadas en modelos de un modo completo y consistente.Models are useful for representing the domain of a software system. Some conceptual models can be used for generating the test cases of a future software system originating what we know as model-based testing. This practice is commonly represented and explained by using informal drawings and semiformal schemas. However, such drawings and schemas commonly lack an entire description of the practice, and they use isolated notations difficult to integrate, since they refer to the same elements in some different terms. In this paper we solve such problems by representing the main elements of model-based testing with the usage of Essence, the Object Management Group standard for the software engineering method and theory. We guarantee our representation exhibit the same elements of other practices related to software engineering and we unify the terminology related to model-based testing in a complete and consistent way.application/pdf10.21500/20275846.64802027-5846https://hdl.handle.net/10819/29038https://doi.org/10.21500/20275846.6480engUniversidad San Buenaventura - USB (Colombia)https://revistas.usb.edu.co/index.php/IngUSBmed/article/download/6480/5662Núm. 1 , Año 2025 : Ingenierías USBMed91116Ingenierías USBMedC.M. Zapata-Jaramillo, A. Gelbukh, F. Arango. “Pre-conceptual Schema: A Conceptual-Graph-Like Knowledge Representation for Requirements Elicitation”. Lecture notes in computer science, Vol. 4293, pp. 17–27, 2006. [2] R. Heckel, G. Taentzer. “Graph Transformation for Software Engineers, chapter 7: model-based testing”. Cham: Springer, 2020. [3] E. Villani, R. Pontes, G. Coracini, A. Ambrosio. “Integrating model checking and model based testing for industrial software development”. Computers in industry, Vol. 104, pp. 88–102, 2019. [4] J. Meyer, A. Werner, L. Bichler. “Modellbasiertes Testen bei Infotainmentsystemen”. ATZ Elektron, Vol. 1, pp. 54–59, 2006. [5] K. Petry, E. Olivera Jr., A. Zorzo. “Model-based testing of software product lines: mapping study and research roadmap”. The journal of systems and software, Vol. 167, No. 110608, pp. 1–32, 2020. [6] C. Ma, C. Jordan, J. Provost. “SATE: model-based testing with design-to-test and plant features”. IFAC PapersOnLine, Vol. 51, No. 7, pp. 310–315, 2018. [7] A. Saeed, S. Ab Hamid, M. Mustafa. “The experimental applications of search-based techniques for model-based testing: taxonomy and systematic literature review”. Applied soft computing, Vol. 49, pp. 1094-1117, 2016. [8] J. Singh, S. Sahu, A. Singh. “Implementing test automation framework using model-based testing approach”. In: S. Bhalla et al. (Eds.), Intelligent computing and information and communication. Singapore: Springer, 2018. [9] V. Garousi, A. Keles, Y. Balaman, Z. Güler. “Model-based testing in practice: an experience report from the web applications domain”. The journal of systems and software, Vol. 180, No. 111032, pp. 1–22, 2021. [10] T. Ahmad, J. Iqbal, A. Ashraf, D. Truscan, I. Porres. “Model-based testing using UML activity diagrams: a systematic mapping study”. Computer science review, Vol. 33, pp. 98–112, 2019. [11] C. Gebizli, A. Kirkici, H. Sözer. “Increasing test efficiency by risk-driven model-based testing”. The journal of systems and software, No. 144, pp. 356–365, 2018. [12] A. Dias-Neto, G. Travassos. “Model-based testing approaches selection for software projects”. Information and software technology, Vol. 51, pp. 1487–1504, 2009. [13] I. Jacobson, P.-W. Ng, P. McMahon, I. Spence, S. Lidman. “The Essence of software engineering: applying the SEMAT kernel”. Indianapolis: Addison Wesley, 2013. [14] Object Management Group. “Essence—kernel and language for software engineering methods, version 1.2”. Standard document URL: https://www.omg.org/spec/Essence. [15] A. Barón. “Modelo para la definición unificada de la práctica como constructo Teórico en ingeniería de software”. PhD Thesis, Universidad Nacional de Colombia, Sede Medellín. Director: C. M. Zapata-Jaramillo. Medellín, 2019. [16] G. Li, Ch. Yuan, S. Kamarthi, M. Moghaddam, X. Jin. “Data science skills and domain knowledge requirements in the manufacturing industry: a gap analysis”. Journal of manufacturing systems, Vol. 60, pp. 692–706, 2021.Ingenierías USBMed - 2025info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-SinDerivadas 4.0.https://creativecommons.org/licenses/by-nc-nd/4.0https://revistas.usb.edu.co/index.php/IngUSBmed/article/view/6480Model-based testingsoftware engineering method and theoryEssence,practiceenglishA Representation of Model-Based Testing by using Essence Standard KernelA representation of Model-based Testing on top of the Essence standard kernelArtículo de revistahttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Textinfo:eu-repo/semantics/articleJournal articleinfo:eu-repo/semantics/publishedVersionPublicationOREORE.xmltext/xml2528https://bibliotecadigital.usb.edu.co/bitstreams/3271d687-29cd-4c55-986a-a0d03d187ab6/downloadf70488d6e7605c08efb222b39550e3e8MD5110819/29038oai:bibliotecadigital.usb.edu.co:10819/290382025-08-22 12:04:31.265https://creativecommons.org/licenses/by-nc-nd/4.0https://bibliotecadigital.usb.edu.coRepositorio Institucional Universidad de San Buenaventura Colombiabdigital@metabiblioteca.com |