View Full Document

A Field Study in Static Extraction of Runtime Architectures1



View the full content.
View Full Document
View Full Document

4 views

Unformatted text preview:

A Field Study in Static Extraction of Runtime Architectures1 Marwan Abi Antoun Jonathan Aldrich June 2008 CMU ISR 08 133 School of Computer Science Carnegie Mellon University Pittsburgh PA 15213 Abstract We recently developed a static analysis to extract runtime architectures from object oriented programs written in existing languages The approach relies on adding ownership domain annotations to the code and statically extracts a hierarchical runtime architecture from an annotated program We present promising results from a week long on site field study to evaluate the method and the tools on a 30 KLOC module of a 250 KLOC commercial system In a few days we were able to add the annotations to the module and extract a top level architecture for review by a developer 1 A shorter version is to appear as Abi Antoun M and Aldrich J A Field Study in Static Extraction of Runtime Architectures In ACM SIGPLAN SIGSOFT Workshop on Program Analysis for Software Tools and Engineering PASTE 2008 This work was supported in part by NSF CAREER award CCF 0546550 DARPA contract HR00110710019 the Department of Defense and the Software Industry Center at Carnegie Mellon University and its sponsors especially the Alfred P Sloan Foundation Keywords runtime architecture architecture recovery ownership types field study Contents 1 Introduction 2 2 Overview 2 1 Mapping Source to High Level Models 2 2 Ownership Domains 2 3 Static Analysis 2 2 3 4 3 Field Study 3 1 Setup and Methodology 3 2 Extraction Process 5 6 7 4 Results 4 1 Quantitative Data 4 2 Qualitative Data 4 3 Validity 9 9 9 12 5 Related Work 12 6 Conclusion 14 List of Figures 1 2 3 4 5 A Document View architecture Two tiered system with annotations High level module and runtime views Developer s diagram Extracted runtime architecture 1 4 5 7 17 18 An object oriented program s runtime structure often bears little resemblance to its code structure The code structure is frozen at compile time it consists of classes in fixed



Access the best Study Guides, Lecture Notes and Practice Exams

Loading Unlocking...
Login

Join to view A Field Study in Static Extraction of Runtime Architectures1 and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view A Field Study in Static Extraction of Runtime Architectures1 and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?