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

• 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