[en] Modern software systems are continuously evolving, often because
systems requirements change over time. Responding to requirements changes
is one of the principles of agile methodologies. In this paper we
envision the seamless integration of automated verification techniques
within agile methodologies, thanks to the support for
incrementality. Incremental verification accommodates the changes that
occur within the schedule of frequent releases of software agile
processes. We propose a general approach to developing families of verifiers that can support incremental verification for different kinds of artifacts and properties. The proposed syntactic-semantic approach is rooted in operator precedence grammars and
their support for incremental parsing. Incremental verification
procedures are encoded as attribute grammars, whose incremental evaluation goes
hand in hand with incremental parsing.
Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Computer science
Author, co-author :
BIANCULLI, Domenico ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Filieri, Antonio; University of Stuttgart
Ghezzi, Carlo; Politecnico di Milano
Mandrioli, Dino; Politecnico di Milano
External co-authors :
yes
Language :
English
Title :
Syntactic-Semantic Incrementality for Agile Verification
scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.