Type of Document Master's Thesis Author Tansey, Wesley URN etd-05272008-161318 Title Automated Adaptive Software Maintenance: A Methodology and Its Applications Degree Master of Science Department Computer Science Advisory Committee
Advisor Name Title Tilevich, Eli Committee Chair Back, Godmar V. Committee Member Ribbens, Calvin J. Committee Member Keywords
- Adaptive Maintenance
- Software Maintenance
- Program Synthesis
Date of Defense 2008-05-22 Availability unrestricted AbstractIn modern software development, maintenance accounts for the majority of the total cost and effort in a software project. Especially burdensome are those tasks which require applying a new technology in order to adapt an application to changed requirements or a different environment.
This research explores methodologies, techniques, and approaches for automating such adaptive maintenance tasks. By combining high-level specifications and generative techniques, a new methodology shapes the design of approaches to automating adaptive maintenance tasks in the application domains of high performance computing (HPC) and enterprise software. Despite the vast differences of these domains and their respective requirements, each approach is shown to be effective at alleviating their adaptive maintenance burden.
This thesis proves that it is possible to effectively automate tedious and error-prone adaptive maintenance tasks in a diverse set of domains by exploiting high-level specifications to synthesize specialized low-level code. The specific contributions of this thesis are as follows: (1) a common methodology for designing automated approaches to adaptive maintenance, (2) a novel approach to automating the generation of efficient marshaling logic for HPC applications from a high-level visual model, and (3) a novel approach to automatically upgrading legacy enterprise applications to use annotation-based frameworks.
The technical contributions of this thesis have been realized in two software tools for automated adaptive maintenance: MPI Serializer, a marshaling logic generator for MPI applications, and Rosemari, an inference and transformation engine for upgrading enterprise applications.
This thesis is based on research papers accepted to IPDPS '08 and OOPSLA '08.
Filename Size Approximate Download Time (Hours:Minutes:Seconds)
28.8 Modem 56K Modem ISDN (64 Kb) ISDN (128 Kb) Higher-speed Access thesis.pdf 746.15 Kb 00:03:27 00:01:46 00:01:33 00:00:46 00:00:03
If you have questions or technical problems, please Contact DLA.