Ingenierías USBMed · 2025
Una representación de las pruebas basadas en modelos usando el núcleo del estándar Essence
Solo ficha. El repositorio marca este trabajo como «Acceso abierto»: el PDF no es público, así que aquí no hay texto para leer. Ver la ficha en el repositorio.
Resumen
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.