A slicing method for semantics-based change-merging of software prototypes
Dampier, David A.
Dolk, Daniel R.
Rassmussen, Craig W.
MetadataShow full item record
This report outlines a formal method for merging changes in independently developed versions of software prototypes. A useful semantics-based method, which is guaranteed to detect all conflicts, is outlined. Prototype slicing is used to determine the affected parts of each variation and the preserved part of the base in both variations. The affected parts are then combined with the preserved part to complete the merge. Our slicing theorem guarantees that this method produces a prototype that correctly exhibits the significant behavior of each of the input versions, provided the changes do not conflict. Correctness is achieved by comparing the slices of the variation and the merged program with respect to the affected parts of each variation. If the slices are the same, then the result is correct, otherwise a diagnostic message results. Preliminary testing shows that this tool will enhance the ability of the prototype developer to deliver a prototype more quickly by allowing more concurrency in the development effort.
This report was presented as a paper at the Computers in Engineering Symposium in Houston, TX, on 30 January 1995.
Showing items related by title, author, creator and subject.
Twigg, Katherine L. (Monterey, California. Naval Postgraduate School, 2007-09);Surface electromagnetic propagation over the ocean is highly sensitive to near-surface atmospheric variability, particularly the height of the evaporation duct. Seasonal variation in near-surface meterological factors and ...
Dampier, David A. (Monterey, California. Naval Postgraduate School, 1994-06);This dissertation addresses the need for a formal method to support the merging of changes in independently developed versions of a prototype in a computer-aided rapid prototyping system. The goal is to provide the prototype ...
O'Loughlin, Michael Dennis (Monterey, California. Naval Postgraduate School, 1992-06);The Computer Aided Prototyping System (CAPS) was created for rapidly prototyping real-time systems to determine early in the software development life cycle whether system requirements can be met. The CAPS consists of ...