Una representación de las pruebas basadas en modelos usando el núcleo del estándar Essence

• Carlos Mario Zapata Jaramillo ^[1]
  1. [1] Universidad Nacional de Colombia

     Universidad Nacional de Colombia

     Colombia

     
• Localización: Revista Ingenierías USBMed, ISSN-e 2027-5846, Vol. 16, Nº. 1, 2025, págs. 1-9
• Idioma: español
• Títulos paralelos:
  • A Representation of Model-Based Testing by using Essence Standard Kernel
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

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

  • English

    Models are useful for representing the domain of a software system. Some conceptual models can be used for generating test casesfor a future software system resulting in what we know as model-based testing. This practice is commonly represented and explained by using informal drawings and semiformal diagrams. However, such drawings and diagrams typically 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 such problems are solved by representing the main elements of model-based testing with the use of Essence, the Object Management Group standard for software engineering methods and theory. This representation is guaranteed to exhibit the same elements of other practices related to software engineering and unifying model-based testing terminology in a complete and consistent way.