Specification recovery is a necessary step of many reverse engineering and reuse efforts. This paper deals with recovering the semantic part of a component's interface. It focuses on stateful components that provide data abstractions. Recovery is achieved by following a black-box strategy, i.e. by observing the component's dynamic behavior. Among the published approaches, Heureka recovers algebraic specifications from Java classes. Another approach (Adabu) recovers behavioral models. The work we describe here adapts the latter, which provides an approximate semantic description for the class, to significantly optimize the former. The resulting approach, called Adiheu, is described in the paper with a preliminary assessment.
Efficient recovery of algebraic specifications for stateful components / C. Ghezzi, A. Mocci, M. Monga - In: Foundations of Software Engineering : Ninth international workshop on Principles of software evolution : in conjunction with the 6th ESEC/FSE joint meetingNew York : ACM, 2007. - ISBN 9781595937223. - pp. 98-105 (( Intervento presentato al 9. convegno international workshop on Principles of software evolution tenutosi a Dubrovnik, Croazia nel 2007 [10.1145/1294948.1294972].
Efficient recovery of algebraic specifications for stateful components
M. MongaUltimo
2007
Abstract
Specification recovery is a necessary step of many reverse engineering and reuse efforts. This paper deals with recovering the semantic part of a component's interface. It focuses on stateful components that provide data abstractions. Recovery is achieved by following a black-box strategy, i.e. by observing the component's dynamic behavior. Among the published approaches, Heureka recovers algebraic specifications from Java classes. Another approach (Adabu) recovers behavioral models. The work we describe here adapts the latter, which provides an approximate semantic description for the class, to significantly optimize the former. The resulting approach, called Adiheu, is described in the paper with a preliminary assessment.Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.