CSTL Processor

El procesador CSTL se puede utilizar para

• Conceptual schema testing & Coverage analysis
• Test-driven development of conceptual schemas
• Testing conceptual schema satisfiability

Pruebas de esquemas conceptuales y análisis de cobertura

Un esquema conceptual define el conocimiento general que un sistema de información necesita conocer para realizar sus funciones. Dos propiedades de calidad fundamentales de un esquema conceptual son la corrección (es decir, el conocimiento definido es verdadero para el dominio) y la integridad (es decir, se define todo el conocimiento relevante).

El objetivo principal de las pruebas de esquemas conceptuales es garantizar la exactitud y la integridad de los esquemas conceptuales ejecutables especificados en UML / OCL, de acuerdo con un conjunto de casos de prueba que formalizan las historias de usuario y sus afirmaciones esperadas.

El CSTLProcessor también realiza el análisis de un conjunto básico de criterios de adecuación de prueba que permite verificar qué tipos de base, tipos derivados y tipos de eventos de dominio se han probado en al menos un escenario coherente y qué elementos de esquema no se han probado en absoluto. De esta manera, puede identificar elementos de esquema cuya relevancia y condiciones necesarias para su corrección no están probadas por el conjunto de pruebas. Aquellos elementos del esquema que no cumplan con los criterios de adecuación pueden necesitar más pruebas para validarlos.

VIDEO-TUTORIAL

En el siguiente video-tutorial mostramos cómo se puede usar el procesador CSTL para analizar la validez de un esquema conceptual de acuerdo con un conjunto de historias de usuario definidas como casos de prueba. Este video-tutorial también incluye un ejemplo simple de análisis de cobertura dirigido a detectar qué elementos no se han probado. El video-tutorial utiliza el esquema conceptual de un sistema de registro civil como un ejemplo en ejecución Using the CSTLProcessor for conceptual schema validation

PUBLICACIONES RELACIONADAS

• Tort, A., Olivé, A.: An Approach to Testing Conceptual Schemas. Data&Knowledge Engineering. 69(6) 598-619(2010).
• Tort, A., Olivé, A., Sancho, M.R.: On Checking Executable Conceptual Schema Validity by Testing. In: DEXA 2012. LNCS, vol. 7446, pp. 249-264. Springer (2012)
• Tort, A.: Testing and Test-Driven Development of Conceptual Schemas. PhD Thesis. Universitat Politècnica de Catalunya-BarcelonaTech. 2012.
• Tort, A.: Testing the osCommerce Conceptual Schema by Using CSTL. Research Report. UPC (2009)
• Tort, A.: A basic set of test cases for a fragment of the osCommerce conceptual schema. Research Report. UPC (2009)

Desarrollo guiado por pruebas de esquemas conceptuales.

Test-Driven Conceptual Modeling (TDCM) es un método iterativo para el desarrollo del esquema conceptual de un sistema de información. En TDCM, los esquemas conceptuales se definen incrementalmente y se validan continuamente, de acuerdo con las necesidades y expectativas de los interesados.

TDCM utiliza casos de prueba para impulsar la actividad de modelado conceptual. Un caso de prueba escrito en un lenguaje de prueba de esquema conceptual es una historia concreta ejecutable de una interacción de usuario-sistema. Un caso de prueba también especifica las expectativas del usuario formalizadas como afirmaciones de prueba. El veredicto de un caso de prueba es Pasar si el esquema conceptual incluye el conocimiento para satisfacer estas expectativas del usuario.

En TDCM, el esquema conceptual se define incrementalmente en iteraciones cortas. Se inicia una iteración agregando un nuevo caso de prueba al conjunto de prueba aprobado de la iteración anterior (conjunto de prueba anterior). El objetivo de cada iteración es cambiar el esquema para que incluya el conocimiento para ejecutar correctamente el nuevo caso de prueba.

VIDEO-TUTORIAL

En el siguiente video tutorial, mostramos cómo se puede usar el procesador CSTL para el desarrollo basado en pruebas de un esquema conceptual utilizando el modelado conceptual dirigido por pruebas (TDCM).

Using the CSTLProcessor for TDCM 

PUBLICACIONES RELACIONADAS

• Tort, A., Olivé, A.: An Approach to Test-Driven Development of Conceptual Schemas. Data&Knowledge Engineering 70(12) 1088-1111(2011).
• Tort, A.: Testing and Test-Driven Development of Conceptual Schemas. PhD Thesis. Universitat Politècnica de Catalunya-BarcelonaTech. 2012.
• Tort, A.: Development of the conceptual schema of the osTicket system by applying TDCM. Research Report. UPC (2011)
• Tort, A.: Development of the conceptual schema of a bowling game system by applying TDCM. Research Report. UPC (2011)

Pruebas de satisfacción del esquema conceptual

La satisfacción es una de las propiedades que deben tener todos los esquemas conceptuales. La satisfacción se aplica tanto a las partes estructurales como a las de comportamiento de un esquema conceptual.

Estructuralmente, un esquema conceptual es satisfactorio si cada entidad base o deudora y el tipo de relación del esquema pueden tener una población no vacía en un momento determinado. Desde el punto de vista del comportamiento, un esquema conceptual es satisfactorio si para cada tipo de evento hay al menos un estado coherente de la base de información y un evento de ese tipo con un conjunto de características tales que se cumplan las restricciones del evento y los efectos del evento dejen el Base de información en el estado que es consistente y satisface las postcondiciones del evento.

Se ha trabajado mucho en los procedimientos de razonamiento automatizados para verificar la satisfacción, pero es bien sabido que el problema del razonamiento con restricciones de integridad y las reglas de derivación en su totalidad general es indecidible. Las pruebas de esquemas conceptuales pueden ser un enfoque alternativo a la verificación de la satisfacción cuando los esquemas conceptuales se desarrollan en el contexto de un entorno que permite su prueba, por ejemplo cuando se usa el procesador CSTL.

PUBLICACIONES RELACIONADAS

• Olivé, A., Tort, A.: Testing Conceptual Schema Satisfiability. In: Nurcan, S., Salinesi, C., Souveyet, C., Ralyté, J. (Eds.), Intentional Perspectives on Information Systems Engineering, LNCS, Springer (2010).