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.| 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.
