Empreu aquest identificador per citar o enllaçar aquest ítem:
http://hdl.handle.net/10609/77126
Títol: | Smart bound selection for the verification of UML/OCL class diagrams |
Autoria: | Clarisó, Robert González Pérez, Carlos Alberto Cabot, Jordi |
Altres: | University of Luxembourg Universitat Oberta de Catalunya (UOC) Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3) |
Citació: | Clarisó, R., González, C.A. & Cabot, J. (2017). Smart Bound Selection for the Verification of UML/OCL Class Diagrams. IEEE Transactions on Software Engineering. doi: 10.1109/TSE.2017.2777830 |
Resum: | La correcció dels diagrames de classe UML anotats amb restriccions OCL es pot verificar usant tècniques de comprovació limitada, per exemple, resolució SAT o de programació amb restriccions (CP). La comprovació limitada detecta els errors de manera eficient però, d'altra banda, l'absència d'errades no garanteix un comportament correcte fora del domini delimitat. Per tant, l'elecció de límits adequats no és un procés trivial, ja que hi ha una compensació entre el temps de verificació (més ràpid per a dominis més petits) i la seguretat en el resultat (millor per a dominis més grans). Desafortunadament, les eines de comprovació limitada proporcionen poc suport en el procés de selecció vinculat. En aquest article, presentem una tècnica que pot usar-se per a (i) inferir automàticament límits de verificació sempre que sigui possible, (ii) ajustar un conjunt de límits proposats per l'usuari i (iii) guiar a l'usuari en el procés de selecció vinculat. Aquest enfocament pot augmentar la usabilitat de les eines de comprovació limitada UML/OCL i millorar l'eficiència del procés de verificació. |
Paraules clau: | verificació formal UML diagrama de classes OCL propagació de restricció SAT |
DOI: | 10.1109/TSE.2017.2777830 |
Tipus de document: | info:eu-repo/semantics/article |
Versió del document: | info:eu-repo/semantics/submittedVersion |
Data de publicació: | 27-nov-2017 |
Llicència de publicació: | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
Apareix a les col·leccions: | Articles cientÍfics Articles |
Arxius per aquest ítem:
Arxiu | Descripció | Mida | Format | |
---|---|---|---|---|
Cabot_Smart_Bound.pdf | 876,17 kB | Adobe PDF | Veure/Obrir |
Comparteix:
Aquest ítem està subjecte a una llicència de Creative Commons Llicència Creative Commons