User-driven diverse scenario exploration in model finders
| Autor: | Jordi Cabot, Robert Clarisó |
|---|---|
| Přispěvatelé: | Universitat Oberta de Catalunya |
| Jazyk: | angličtina |
| Rok vydání: | 2021 |
| Předmět: |
Correctness
Theoretical computer science verificació i validació Computer science ComputerApplications_COMPUTERSINOTHERSYSTEMS diversity Set (abstract data type) provar Simple (abstract algebra) model-driven engineering diversidad Black box (phreaking) Degree (graph theory) enginyeria impulsada per models verification and validation verificación y validación testing ingeniería basada en modelos Alloy Analyzer Proof of concept Model-driven software architecture agrupació diversitat arquitectura dirigida por modelos agrupamiento arquitectura dirigida per models Software Diversity (business) clustering probar |
| Zdroj: | Science of Computer Programming O2, repositorio institucional de la UOC Universitat Oberta de Catalunya (UOC) |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|