Specification and Design Support for Software Evolution

软件演进的规范和设计支持

• 批准号: 9633428
• 负责人: Nancy Leveson
• 金额: $ 8万
• 依托单位: University of Washington
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1996
• 资助国家: 美国
• 起止时间: 1996-09-01 至 1999-05-18
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9633428&HistoricalAwards=false
• 关键词: Specification; Design; Support; Software; Evolution

This research is investigating specification and design support for software evolution by applying hierarchical abstractions based on intent rather than the aggregation and information-hiding abstractions commonly used in software engineering. Cognitive psychologists have shown that intent abstraction is consistent with human problem-solving processes. The hypothesis being evaluated in this research is that new types of specifications and designs based on this concept can assist in understanding existing software, capture the most important design rationale information in an efficient and economical way, and support the process of identifying and analyzing required changes to minimize the introduction of errors during maintenance. To evaluate these hypotheses, protocol analysis techniques are being used to explore the processes involved in software evolution tasks, and other empirical studies are being used to evaluate the impact of this new form of specification and design on these processes. ***

这项研究是调查规范和设计支持软件进化的应用层次抽象的基础上的意图，而不是聚合和信息隐藏的抽象通常用于软件工程。认知心理学家已经证明，意图抽象与人类解决问题的过程是一致的。在这项研究中评估的假设是，新类型的规范和设计的基础上，这一概念可以帮助理解现有的软件，捕获最重要的设计原理信息，在一个有效的和经济的方式，并支持识别和分析所需的更改，以尽量减少在维护过程中引入错误的过程。为了评估这些假设，协议分析技术被用来探索软件进化任务中涉及的过程，其他实证研究被用来评估这种新形式的规范和设计对这些过程的影响。 ***