CSTL Processor

Introducció

El processador CSTL és una eina de proves que suporta proves automatitzades d’esquemes conceptuals especificats en UML / OCL i definits mitjançant l’ús de USEx syntax. Les proves automatitzades s’escriuen al document Conceptual Schema Testing Language (CSTL).

Instal·lació

El processador CSTL és un programa java que cal instal·lar al vostre ordinador segons les instruccions següents:

Instrucciones de instalación

  1. Trieu la versió descarregable del processador CSTL que s'ajusti millor a les vostres necessitats i la descarregueu al vostre ordinador:

    Edició estandar

    Version 1.0. (Last version) - ZIP file

    ER Course edition

    Aquesta versió està destinada a ser utilitzada en el context del curs ER (Requirements Engineering) l impartit a la Barcelona School of Informations - Universitat Politècnica de Catalunya - BarcelonaTech.

    Aquesta versió inclou botons per enviar automàticament informació sobre cada iteració als professors del curs ER.

    Version 1.0. (Last version) - ZIP file

  2. Descomprimiu el fitxer descarregat. Es crearà una nova carpeta.
  3. Executeu el fitxer CSTLProcessor.bat. Espereu fins que aparegui la interfície gràfica.
  4. Verifiqueu que el processador CSTL estigui instal·lat correctament provant l’exemple descrit al capítol 4 del document​ Getting Started guide.

Requerriments

  • Sistema operatiu Windows
  • Entorn de temps d'execució de Java

Ús

Es pot utilitzar el processador CSTL

Anàlisi de cobertures i esquemes conceptuals

Un esquema conceptual defineix el coneixement general que un sistema d’informació ha de saber per complir les seves funcions. Dues propietats fonamentals de qualitat d’un esquema conceptual són la correcció (és a dir, el coneixement definit és cert per al domini) i la integritat (és a dir, es defineix tot el coneixement rellevant).

L'objectiu principal de les proves d'esquema conceptual és assegurar la correcció i la integritat dels esquemes conceptuals executables especificats en UML / OCL, segons un conjunt de casos de prova que formalitzen històries d'usuaris i les seves afirmacions esperades.

El processador CSTL també realitza l'anàlisi d'un conjunt bàsic de criteris d'adequació de proves que permet comprovar quins tipus de base, tipus derivats i tipus d'esdeveniments de domini s'han provat almenys en un escenari consistent i quins elements d'esquema no han estat provats. D'aquesta manera, es poden identificar els elements d'esquema la pertinència i les condicions necessàries per a la seva correcció no es demostra pel conjunt de proves. Aquests elements d'esquema que no compleixin els criteris d'adequació poden necessitar més proves per validar-los.

VIDEO-TUTORIAL

Al següent tutorial de vídeo mostrem com es pot utilitzar el processador CSTL per analitzar la validesa d'un esquema conceptual segons un conjunt d'històries d'usuaris definits com a casos de prova. Aquest tutorial de vídeo també inclou un exemple senzill d’anàlisi de cobertura destinat a detectar quins elements no s’han provat. El tutorial de vídeo utilitza l'esquema conceptual d'un sistema de registre civil com a exemple d'execució. Using the CSTLProcessor for conceptual schema validation

PUBLICACIONS RELACIONADES

Desenvolupament controlat d'esquemes d'esquemes conceptuals

Test-Driven Conceptual Modeling (TDCM) és un mètode iteratiu per al desenvolupament de l'esquema conceptual d'un sistema d'informació. A TDCM, els esquemes conceptuals es defineixen de manera incremental i continuen validats, segons les necessitats i expectatives dels grups d'interès.

TDCM utilitza casos de prova per conduir l’activitat de modelització conceptual. Un cas de prova escrit en un llenguatge de prova d'esquema conceptual és una història concreta executable d'una interacció entre l'usuari i el sistema. Un cas de prova també especifica les expectatives dels usuaris formalitzades com a afirmacions de prova. El veredicte d’un cas de prova és Pass si l’esquema conceptual inclou el coneixement per satisfer aquestes expectatives dels usuaris.

A TDCM, l’esquema conceptual es defineix de forma incremental en iteracions curtes. Una iteració comença afegint un nou cas de prova al conjunt de proves de pas de la iteració anterior (conjunt de proves anterior). L’objectiu de cada iteració és canviar l’esquema de manera que inclogui el coneixement per executar correctament el nou cas de prova.

VIDEO-TUTORIAL

Al següent tutorial de vídeo mostrem com es pot utilitzar el processador CSTL per al desenvolupament d’un esquema conceptual basat en proves mitjançant l’ús de modelatge conceptual controlat per test (TDCM).

Using the CSTLProcessor for TDCM 
 

Provar la satisfacció del esquema conceptual

La satisfacció és una de les propietats que han de tenir tots els esquemes conceptuals. La satisfacció s'aplica tant a les parts estructurals com a les del comportament d’un esquema conceptual.

Estructuralment, un esquema conceptual és satisfactori si cada tipus d’entitat de base o de desviació de l’esquema pot tenir una població no buida en un moment determinat. Comportamentalment, un esquema conceptual és satisfactori si per a cada tipus d’esdeveniment hi ha almenys un estat consistent de la base d’informació i un esdeveniment d’aquest tipus amb un conjunt de característiques tals que es compleixin les restriccions d'esdeveniments i els efectes de l’esdeveniment surten de base d’informació en estat que sigui consistent i satisfaci les postcondicions de l’esdeveniment.

Hi ha hagut molta feina en procediments de raonament automatitzats per comprovar la satisfacció, però és ben sabut que el problema del raonament amb restriccions d’integritat i regles de derivació en la seva generalitat és indecidible. Les proves d’esquema conceptual poden ser un enfocament alternatiu a la comprovació de la satisfacció quan es desenvolupen esquemes conceptuals en el context d’un entorn que permeti les seves proves, per exemple, quan utilitzeu el processador CSTL.

PUBLICACIONS RELACIONADES
  • 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).

Quant a

Documentació

Documentació bàsica

  • Getting started with the CSTL Processor

    Aquesta documentació conté les instruccions d’instal·lació, una visió general del prototip i una secció "comença per l’exemple", que us introdueix al prototip mitjançant un exemple d’un sistema de planificació de reunions.

  • The USEx language guide

    El processador CSTL permet provar esquemes conceptuals UML / OCL definits en el llenguatge USEx. Aquesta és una guia sobre aquest idioma.

 

Tutoriales

 

Publicaciones relacionadas

Contacte

Per a qualsevol pregunta o suggeriment, no dubteu a posar-vos en contacte amb nosaltres enviant un correu electrònic a atort@essi.upc.edu

Treball Futur

Suggeriments

A continuació, us proposem treballs futurs sobre l’evolució de l’eina del processador CSTL:

  • Implementació d’una nova versió del nucli de l’eina, incloent la integració de les noves funcions proporcionades per la versió més recent de l’eina USE tool , que és el component principal.
  • Implementació d’una interfície d’usuari comercial per tal de redissenyar l’implementació del prototip. Alguns suggeriments realitzats pels participants en el procés d’avaluació poden ser útils (més instal·lacions als editors, esquemes d’entrada per un editor gràfic, etc.).
  • Desenvolupament i implementació de criteris de cobertura addicionals.
  • Integració a les eines CASE existents.
  • Implementació d’un assistent per ajudar en l’aplicació de TDCMmitjançant l’ús d’aquesta eina.
  • Adaptació de l’eina a les noves versions de l’eina USE, el nucli del qual s’utilitza en la implementació. Cal analitzar el codi font i adaptar la façana que comunica l'eina USE tool amb les funcions del processador CSTL.