Modernsoftwaresystemsarecontinuouslyevolving,oftenbecausesystemsrequirementschangeovertime.Respondingtorequirementschangesisoneoftheprinciplesofagilemethodologies.Inthispaperweenvisiontheseamlessintegrationofautomatedverificationtechniqueswithinagilemethodologies,thankstothesupportforincremental-ity.Incrementalverificationaccommodatesthechangesthatoccurwithinthescheduleoffrequentreleasesofsoftwareagileprocesses.Weproposeageneralapproachtodevelopingfamiliesofverifiersthatcansupportincrementalverificationfordifferentkindsofartifactsandproerties.Theproposedsyntactic-semanticapproachisrootedinoperatorprecedencegrammarsandtheirsupportforincrementalparsing.Incrementalverificationproceduresareencodedasattributegrammars,whoseincrementalevaluationgoeshandinhandwithincrementalparsing.

Syntactic-semantic incrementality for agile verification

GHEZZI, CARLO;MANDRIOLI, DINO
2015-01-01

Abstract

Modernsoftwaresystemsarecontinuouslyevolving,oftenbecausesystemsrequirementschangeovertime.Respondingtorequirementschangesisoneoftheprinciplesofagilemethodologies.Inthispaperweenvisiontheseamlessintegrationofautomatedverificationtechniqueswithinagilemethodologies,thankstothesupportforincremental-ity.Incrementalverificationaccommodatesthechangesthatoccurwithinthescheduleoffrequentreleasesofsoftwareagileprocesses.Weproposeageneralapproachtodevelopingfamiliesofverifiersthatcansupportincrementalverificationfordifferentkindsofartifactsandproerties.Theproposedsyntactic-semanticapproachisrootedinoperatorprecedencegrammarsandtheirsupportforincrementalparsing.Incrementalverificationproceduresareencodedasattributegrammars,whoseincrementalevaluationgoeshandinhandwithincrementalparsing.
2015
Agile development; Formal verification; Operator-precedence grammars; Attribute grammars; Incremental algorithms
File in questo prodotto:
File Dimensione Formato  
lafous13_submission_6.pdf

accesso aperto

Descrizione: Articolo principale
: Pre-Print (o Pre-Refereeing)
Dimensione 178.14 kB
Formato Adobe PDF
178.14 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/11311/859936
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 10
  • ???jsp.display-item.citation.isi??? 7
social impact