A slicing method for semantics-based change-merging of software prototypes

Download
Author
Dampier, David A.
Berzins, Valdis
Luqi
Shing, Mantak
Dolk, Daniel R.
Rassmussen, Craig W.
Date
1995-08Metadata
Show full item recordAbstract
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.
Description
This report was presented as a paper at the Computers in Engineering Symposium in Houston, TX, on 30 January 1995.
Rights
This 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.Collections
Related items
Showing items related by title, author, creator and subject.
-
A formal method for semantics-based change-merging of software prototypes
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 ... -
Version and variation control of a design database for a computer aided prototyping system
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 ... -
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 ...