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).
El processador CSTL és un programa java que cal instal·lar al vostre ordinador segons les instruccions següents:
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.
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-TUTORIALAl 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
- 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)
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-TUTORIALAl 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
- 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)
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).
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.
El processador CSTL permet provar esquemes conceptuals UML / OCL definits en el llenguatge USEx. Aquesta és una guia sobre aquest idioma.
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
A continuació, us proposem treballs futurs sobre l’evolució de l’eina del processador CSTL: