Specifications mined from execution traces are largely used to support testing and analysis of software applications with little runtime variability. However, when models are mined from applications that evolve at runtime, the resulting models become quickly obsolete, and thus of little support for any testing and analysis activity. To cope with such systems, mined specifications must be consistently updated every time the software changes. In principle, models can be periodically mined from scratch, but in many cases this solution is too expensive or even impossible. In this paper we describe Revolution, an approach for the automatic evolution of specifications mined by applying state abstraction techniques. Revolution produces models that are continuously updated and thus remain aligned with the actual implementation. Empirical results show that Revolution can suitably address run-time evolving applications.
Mariani, L., Marchetto, A., Nguyen, C., Tonella, P., Baars, A. (2012). Revolution: Automatic Evolution of Mined Specifications. In Proceedings of the International Symposium on Software Reliability Engineering (ISSRE) (pp.241-250). IEEE [10.1109/ISSRE.2012.14].
Revolution: Automatic Evolution of Mined Specifications
MARIANI, LEONARDO;
2012
Abstract
Specifications mined from execution traces are largely used to support testing and analysis of software applications with little runtime variability. However, when models are mined from applications that evolve at runtime, the resulting models become quickly obsolete, and thus of little support for any testing and analysis activity. To cope with such systems, mined specifications must be consistently updated every time the software changes. In principle, models can be periodically mined from scratch, but in many cases this solution is too expensive or even impossible. In this paper we describe Revolution, an approach for the automatic evolution of specifications mined by applying state abstraction techniques. Revolution produces models that are continuously updated and thus remain aligned with the actual implementation. Empirical results show that Revolution can suitably address run-time evolving applications.File | Dimensione | Formato | |
---|---|---|---|
Mariani-Revolution-ISSRE-2012.pdf
accesso aperto
Tipologia di allegato:
Other attachments
Dimensione
395.03 kB
Formato
Adobe PDF
|
395.03 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.