Leicester Research Archive

Leicester Research Archive >
College of Science and Engineering >
Computer Science, Department of >
Conference Papers & Presentations, Dept. of Computer Science >

Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/10883

Title: Computing the Structural Difference between State-Based Models
Authors: Bogdanov, Kirill
Walkinshaw, Neil
Issue Date: Oct-2009
Presented at: 16th Working Conference on Reverse Engineering, Lille, France, 13-16 October 2009
Start Date: 13-Oct-2009
End Date: 16-Oct-2009
Publisher: Institute of Electrical and Electronics Engineers (IEEE) Computer Society
Citation: Reverse Engineering, 2009, (WCRE '09), 16th Working Conference on, pp. 177-186 (10)
Abstract: Software behaviour models play an important role in software development. They can be manually generated to specify the intended behaviour of a system, or they can be reverse-engineered to capture the actual behaviour of the system. Models may differ when they correspond to different versions of the system, or they may contain faults or inaccuracies. In these circumstances, it is important to be able to concisely capture the differences between models a task that becomes increasingly challenging with complex models. This paper presents the PLTSDiff algorithm that addresses this problem. Given two state machines, the algorithm can identify which states and transitions are different. This can be used to generate a 'patch' with differences or to evaluate the extent of the differences between the machines. The paper also shows how the Precision and Recall measure can be adapted to quantify the similarity of two state machines.
DOI Link: 10.1109/WCRE.2009.17
ISBN: 978-0-7695-3867-9
Links: http://ieeexplore.ieee.org/xpl/articleDetails(...)
http://hdl.handle.net/2381/10883
Version: Post-print
Status: Peer-reviewed
Type: Conference Paper
Rights: Copyright © 2009 IEEE. Deposited with reference to the publisher's archiving policy available on the SHERPA/RoMEO website. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works.
Appears in Collections:Conference Papers & Presentations, Dept. of Computer Science

Files in This Item:

File Description SizeFormat
wcre2009.pdfPost-review (final submitted)338.7 kBAdobe PDFView/Open
View Statistics

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.

 

MAINTAINER