Reference : Syntactic-Semantic Incrementality for Agile Verification |
Scientific journals : Article | |||
Engineering, computing & technology : Computer science | |||
http://hdl.handle.net/10993/10656 | |||
Syntactic-Semantic Incrementality for Agile Verification | |
English | |
Bianculli, Domenico ![]() | |
Filieri, Antonio [University of Stuttgart] | |
Ghezzi, Carlo [Politecnico di Milano] | |
Mandrioli, Dino [Politecnico di Milano] | |
Jan-2015 | |
Science of Computer Programming | |
Elsevier Science | |
97 | |
0 | |
47-54 | |
Yes (verified by ORBilu) | |
International | |
0167-6423 | |
[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. | |
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab) | |
http://hdl.handle.net/10993/10656 | |
10.1016/j.scico.2013.11.026 |
File(s) associated to this reference | ||||||||||||||
Fulltext file(s):
| ||||||||||||||
All documents in ORBilu are protected by a user license.