A framework for analysing the effect of "change" in legacy code

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Zhou, Shikun
dc.contributor.author Zedan, Hussein
dc.contributor.author Cau, A. (Antonio)
dc.date.accessioned 2005-09-05T20:06:45Z
dc.date.available 2005-09-05T20:06:45Z
dc.date.issued 2005-09-05
dc.identifier.other IR/2005/28
dc.identifier.uri http://hdl.handle.net/2086/51
dc.description.abstract We propose a sound and practical approach, based on a formal method (known as Interval Temporal Logic), to cope with “change” and analyse its effect. The approach allows us to capture a snapshot of system’s behaviour over which various interesting properties, such as liveness, timeliness and safety properties, can be validated compositionally. These properties may include invariants that are required to be valid after changes have taken place. We also present and evaluate design and implementation of a formal tool, AnaTempura, which supports the developed approach. A case study is presented to illustrate our approach and the tool. en
dc.description.sponsorship Funding received from the UK Engineering and Physical Sciences Research Council (EPSRC) through the Research Grant GR/M/02583 en
dc.format.extent 159860 bytes
dc.format.extent 539901 bytes
dc.format.mimetype application/pdf
dc.format.mimetype application/postscript
dc.language.iso en en
dc.relation.ispartofseries STRL en
dc.relation.ispartofseries 1999-1 en
dc.subject EPSRC en
dc.title A framework for analysing the effect of "change" in legacy code en
dc.type Article en
dc.researchgroup Software Technology Research Laboratory (STRL)

Files in this item

This item appears in the following Collection(s)

Show simple item record