Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/10609/77126
Título : | Smart bound selection for the verification of UML/OCL class diagrams |
Autoría: | Clarisó, Robert González Pérez, Carlos Alberto Cabot, Jordi |
Otros: | University of Luxembourg Universitat Oberta de Catalunya (UOC) Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3) |
Citación : | 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 |
Resumen : | La corrección de los diagramas de clase UML anotados con restricciones OCL puede verificarse usando técnicas de comprobación limitada, por ejemplo, resolución SAT o de programación con restricciones (CP). La comprobación limitada detecta los fallos de manera eficiente pero, por otro lado, la ausencia de fallos no garantiza un comportamiento correcto fuera del dominio delimitado. Por lo tanto, la elección de límites adecuados no es un proceso trivial, ya que hay una compensación entre el tiempo de verificación (más rápido para dominios más pequeños) y la seguridad en el resultado (mejor para dominios más grandes). Desafortunadamente, las herramientas de comprobación limitada proporcionan poco soporte en el proceso de selección vinculado. En este artículo, presentamos una técnica que puede usarse para (i) inferir automáticamente límites de verificación siempre que sea posible, (ii) ajustar un conjunto de límites propuestos por el usuario y (iii) guiar al usuario en el proceso de selección vinculado. Este enfoque puede aumentar la usabilidad de las herramientas de comprobación limitada UML/OCL y mejorar la eficiencia del proceso de verificación. |
Palabras clave : | verificación formal UML diagrama de clases OCL propagación de restricción SAT |
DOI: | 10.1109/TSE.2017.2777830 |
Tipo de documento: | info:eu-repo/semantics/article |
Versión del documento: | info:eu-repo/semantics/submittedVersion |
Fecha de publicación : | 27-nov-2017 |
Licencia de publicación: | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
Aparece en las colecciones: | Articles cientÍfics Articles |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
Cabot_Smart_Bound.pdf | 876,17 kB | Adobe PDF | Visualizar/Abrir |
Comparte:
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons