Support for Structural Evolution in Software Development

支持软件开发中的结构演化

• 批准号: 9110861
• 负责人: Philip Johnson
• 金额: $ 5.48万
• 依托单位: University of Hawaii
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-09-01 至 1994-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9110861&HistoricalAwards=false
• 关键词: Support; Structural; Evolution; Software; Development

The objective of this research is to provide analysis tools and techniques to support the evolutionary maturation of a software system from an early prototype implementation used to explore requirements to a robust, production implementation. The approach taken is to first develop automated analysis mechanisms for the generation of detailed structural models for highly evolutionary or "exploratory" software systems. These mechanisms will then be applied to representative software systems, and the resulting models will be analyzed both individually and collectively for information that supports incremental improvements in structural robustness and reliability. The tools and techniques will build upon prior experiences with type flow analysis, a program analysis technique in support of exploratory software development. This research will yield new insight into the phenomena of software evolution, new tools for automated support of software development, and insights into the appropriate characteristics of languages for prototyping and production quality implementations.

本研究的目的是提供分析工具和技术，以支持软件系统从用于探索需求的早期原型实现到健壮的生产实现的逐步成熟。所采取的方法是首先开发自动化的分析机制，为高度进化或“探索性”软件系统生成详细的结构模型。然后，这些机制将被应用到代表性的软件系统中，得到的模型将被单独地和集体地分析，以获得支持结构稳健性和可靠性的增量改进的信息。工具和技术将建立在先前的类型流分析经验之上，类型流分析是一种支持探索性软件开发的程序分析技术。这项研究将产生对软件进化现象的新见解，对软件开发的自动化支持的新工具，以及对原型设计和产品质量实现的语言的适当特征的见解。