CAREER: A Two-Tier Approach for the Analysis and Evolution of High-Integrity Software Product Lines

提案编号：CCR-0133956CAREER：高完整性软件产品线的分析和演化的两层方法PI：Gerald C.甘诺德本项目研究部分的目标是开发软件架构分析和软件逆向工程技术，以支持现有软件向软件产品线的演化，重点是高完整性系统。为此，本研究将首先开发一种从体系结构和组件视图分析软件的方法，以支持不同质量属性维度的评估。该方法将包括用于静态和动态分析的模型以及用于确定符合质量属性约束的程度的模拟。其次，这项研究将涉及开发一种方法，用于在体系结构和组件级别修改和发展软件，以确保符合不同的质量属性约束和目标。对于软件体系结构社区，这项研究将解决对分析方法的需求，这些方法允许软件架构师评估软件体系结构满足各种质量问题的程度。此外，这项研究的结果将促进基于长期产品线目标的软件体系结构的长期发展。对于软件逆向工程和维护社区，本研究解决了对允许软件维护员确定单个组件对各种质量属性的支持程度的方法的需求，并提供了一种促进组件修改以确保符合质量约束的技术。

Proposal Number: CCR-0133956CAREER: A Two-Tier Approach for the Analysis and Evolution of High-Integrity Software Product LinesPI: Gerald C. GannodThe objective of the research component of this project is to develop software architecture analysis and software reverse engineering techniques that support the evolution of existing software into software product lines with an emphasis on high-integrity systems. To this end, this research will first involve the development of an approach for analyzing software from both the architecture and component views in order to support assessment along different quality attribute dimensions. The approach will consist of models for static and dynamic analysis as well as simulation to determine level of compliance with quality attribute constraints. Second, this research will involve the development of a methodology for modifying and evolving software at both the architecture and component levels in order to ensure compliance with different quality attribute constraints and goals. For the software architecture community, this research will address a need for analysis approaches that allow software architects to assess the extent to which a software architecture meets various quality concerns. In addition, the results of this research will facilitate the long-term evolution of a software architecture based on long-term product-line goals. For the software reverse engineering and maintenance community, this research addresses the need for approaches that allow a software maintainer to determine the extent of the support for various quality attributes by individual components and provides a technique that facilitates component modification in order to ensure compliance to quality constraints.