Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/10609/123106
Título : | A feasibility study on using classifying terms in alloy. A case study |
Autoría: | Clarisó, Robert Gogolla, Martin |
Otros: | Universitat Oberta de Catalunya (UOC) University of Bremen |
Citación : | Clarisó, R. & Gogolla, M. (2019). A feasibility study on using classifying terms in alloy. A case study. CEUR Workshop Proceedings, 2513(), 45-58. |
Resumen : | To perform the analysis of a structural model of a software system (like a class diagram), it is often necessary to compute sample valid instantiations (like object diagrams), for example, for testing purposes. Classifying terms (CTs) provide a technique for improving diversity in the instantiation generation process. CTs have been proposed and studied in the context of UML class diagrams annotated with OCL invariants. Nevertheless, they can also be employed in other declarative specification languages. This paper explores the feasibility of using CTs in the context of Alloy. The discussion considers both the Alloy notation and the integration with the Alloy Analyzer. |
Palabras clave : | software de modelado verificación y validación OCL pruebas término clasificador Alloy |
Tipo de documento: | info:eu-repo/semantics/conferenceObject |
Fecha de publicación : | 16-sep-2019 |
Licencia de publicación: | http://creativecommons.org/licenses/by/4.0/es/ |
Aparece en las colecciones: | Articles cientÍfics Conferències |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
Clariso_CEUR_Feasibility.pdf | 916,99 kB | Adobe PDF | Visualizar/Abrir |
Comparte:
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons