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.
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Showing items related by title, author, creator and subject.
Dampier, David A. (Monterey, California. Naval Postgraduate School, 1994);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);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 ...
Guidance and navigation software architecture design for the Autonomous Multi-Agent Physically Interacting Spacecraft (AMPHIS) test bed Eikenberry, Blake D. (Monterey California. Naval Postgraduate School, 2006-12);The Autonomous Multi-Agent Physically Interacting Spacecraft (AMPHIS) test bed examines the problem of multiple spacecraft interacting at close proximity. This thesis contributes to this on-going research by addressing the ...