Please use this identifier to cite or link to this item:
http://hdl.handle.net/10609/123106
Title: | A feasibility study on using classifying terms in alloy. A case study |
Author: | Clarisó, Robert Gogolla, Martin |
Others: | Universitat Oberta de Catalunya (UOC) University of Bremen |
Citation: | Clarisó, R. & Gogolla, M. (2019). A feasibility study on using classifying terms in alloy. A case study. CEUR Workshop Proceedings, 2513(), 45-58. |
Abstract: | 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. |
Keywords: | software modeling verification and validation testing classifying term OCL Alloy |
Document type: | info:eu-repo/semantics/conferenceObject |
Issue Date: | 16-Sep-2019 |
Publication license: | http://creativecommons.org/licenses/by/4.0/es/ |
Appears in Collections: | Articles cientÍfics Conferències |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Clariso_CEUR_Feasibility.pdf | 916,99 kB | Adobe PDF | View/Open |
Share:
This item is licensed under a Creative Commons License