Empreu aquest identificador per citar o enllaçar aquest ítem:
http://hdl.handle.net/10609/144708
Títol: | User-driven diverse scenario exploration in model finders |
Autoria: | Clarisó, Robert Cabot, Jordi |
Altres: | Universitat Oberta de Catalunya |
Citació: | Clarisó, R. & Cabot, J. (2022). User-driven diverse scenario exploration in model finders. Science of Computer Programming, 215, 1-20. doi: 10.1016/j.scico.2021.102745 |
Resum: | Model finders can build instances of declarative specifications that satisfy a set of correctness constraints. Some model finders ensure some degree of diversity among the instances they compute. Nevertheless, each model finder uses its own definition of diversity, that may or may not match designer intent. In this paper, we propose a procedure that enables designers to capture the desired notion of diversity they are looking for. Using a simple domain-specific language, they can specify what elements in the specification are relevant when comparing the differences between two instances. This information can then be used to make any model finder diversity-aware while using it as a black box. As a proof of concept, this approach has been implemented on top of the Alloy Analyzer. |
Paraules clau: | enginyeria impulsada per models verificació i validació provar agrupació diversitat |
DOI: | http://doi.org/10.1016/j.scico.2021.102745 |
Tipus de document: | info:eu-repo/semantics/article |
Versió del document: | info:eu-repo/semantics/publishedVersion |
Data de publicació: | 9-nov-2021 |
Llicència de publicació: | https://creativecommons.org/licenses/by/4.0/ |
Apareix a les col·leccions: | Articles cientÍfics Articles |
Arxius per aquest ítem:
Arxiu | Descripció | Mida | Format | |
---|---|---|---|---|
1-s2.0-S0167642321001386-main.pdf | 651,24 kB | Adobe PDF | Veure/Obrir |
Comparteix:
Aquest ítem està subjecte a una llicència de Creative Commons Llicència Creative Commons