Support for Structural Evolution in 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.