We generalize the principle of counter example-guided data abstraction refinement (CEGAR) to guided refinement of Software Product Lines (SPL) and of analysis tools. We also add a problem decomposition step. The result is a framework for formal SPL analysis via guided refinement and divide-and-conquer, through sound orchestration of multiple tools.

Abstraction refinement for the analysis of software product lines

DAMIANI, Ferruccio;LIENHARDT, Michael
2017-01-01

Abstract

We generalize the principle of counter example-guided data abstraction refinement (CEGAR) to guided refinement of Software Product Lines (SPL) and of analysis tools. We also add a problem decomposition step. The result is a framework for formal SPL analysis via guided refinement and divide-and-conquer, through sound orchestration of multiple tools.
2017
11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017
deu
2017
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Springer Verlag
10375
3
20
9783319614663
https://link.springer.com/chapter/10.1007%2F978-3-319-61467-0_1
Theoretical Computer Science; Computer Science (all)
Damiani, Ferruccio; Hähnle, Reiner; Lienhardt, Michael
File in questo prodotto:
File Dimensione Formato  
LNCS-TAP-2017-Damiani-et-al.pdf

Accesso riservato

Descrizione: Articolo principale (conferenza)
Tipo di file: PDF EDITORIALE
Dimensione 1.46 MB
Formato Adobe PDF
1.46 MB Adobe PDF   Visualizza/Apri   Richiedi una copia
TAP-2017_Damiani-EtAl-OPEN.pdf

Open Access dal 19/06/2018

Descrizione: Articolo principale (conferenza)
Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 642.51 kB
Formato Adobe PDF
642.51 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1648641
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact