University of Leicester


Visual Contract Extractor


A Tool for Reverse Engineering Visual Contracts from Java

Home
Experiment
Tool Demonstration
Publications

Overview


Visual contracts model the operations of classes, components or services by pre- and post-conditions formalised as graph transformation rules. They provide a precise but intuitive notation to test, document and analyse software systems. However, due to their detailed level of specification of data states and transformations, modelling a real application is a complex and error-prone process.

Rather than adopting a top-down modelling approach, we follow a dynamic bottom-up approach to reverse engineer visual contracts from object-oriented programs based on tracing the execution of operations. We developed the Visual Contract Extractor (VCE), a dynamic analysis tool which supports the reverse engineering of visual operation contracts from Java programs, for more details, click here to take a look at our Prezi presentation


Prezi presentation

http://prezi.com/eqwd9wyesdzy/?utm_campaign=share&utm_medium=copy&rc=ex0share



Contact us


© May 2016, Department of Computer Science, University of Leicester