Australian Software Engineering Conference (ASWEC '97)
A Generic Model for Fine Grained Configuration Management Including Version Control and Traceability
Sydney, AUSTRALIA
September 28-October 02
ISBN: 0-8186-8081-4
Peter Lindsey, Software Verification Res. Centre, Queensland Univ., Australia
Yaowei Liu, Software Verification Res. Centre, Queensland Univ., Australia
Owen Traynor, Software Verification Res. Centre, Queensland Univ., Australia
This paper describes the implementation of a prototype system that supports fine-grained configuration and version management. The development has been undertaken in the context of providing trusted support for high-integrity software development. The starting point of this paper is a formal specification of the consistency and completeness criteria that our system must meet. The main issues are illustrated using a simple example: a system which supports the evolution of requirements and design documents and maintains the relationships between these two artifacts. The prototype was developed using a sophisticated object-oriented database system. Finally we draw conclusions about the integration of fine-grained configuration and version management facilities into a single framework.
Index Terms:
configuration management, fine grained configuration management, version control, traceability, prototype system, trusted support, high-integrity software development, formal specification, consistency, completeness, requirements, design documents, object-oriented database
Citation:
Peter Lindsey, Yaowei Liu, Owen Traynor, "A Generic Model for Fine Grained Configuration Management Including Version Control and Traceability," aswec, pp.27, Australian Software Engineering Conference (ASWEC '97), 1997