CAREER: Toward a Design Environment for Recovering and Maintaining the Structure of Software Systems

职业：建立一个恢复和维护软件系统结构的设计环境

• 批准号: 9733569
• 负责人: Spiros Mancoridis
• 金额: $ 20.6万
• 依托单位: Drexel University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1998
• 资助国家: 美国
• 起止时间: 1998-06-01 至 2003-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9733569&HistoricalAwards=false
• 关键词: CAREER; Toward; Design; Environment; Recovering

9733569 More than ever, society relies on software systems that operate correctly. Modifying software systems to insure their reliability poses major technical and economic challenges. The difficulties that face software engineers include absent or incorrect documentation, poorly structured code, and the effort required to understand handed-down systems. To maintain software, one must recover, understand, correct, and maintain the design-level structure of the software. The goal of this research is to develop techniques and implement tools to simplify software maintenance. The proposed tools support three activities: first, design recovery to extract structural information from systems; second, design visualization to facilitate the viewing of recovered software structures; third, design maintenance to determine the quality of designs, identify problematic areas, measure the impact of software modifications, and so on. Central to our design maintenance approach is a formalism for specifying constraints on software structures. From these specifications, the design maintenance tools are automatically generated to detect violations of such constraints. Currently, in the absense of such tools, designers have difficulty preserving the structural integrity of systems that undergo continuous modification. The outcome of this work should benefit software practitioners and inspire educators to integrate software maintenance techniques and tools into their curricula.***

9733569社会比以往任何时候都更依赖于正常运行的软件系统。修改软件系统以确保其可靠性提出了重大的技术和经济挑战。软件工程师面临的困难包括缺少或不正确的文档，结构不良的代码，以及理解传世系统所需要的努力。为了维护软件，必须恢复、理解、纠正和维护软件的设计级结构。本研究的目标是开发技术和实现工具来简化软件维护。提出的工具支持三个活动：首先，设计恢复以从系统中提取结构信息；第二，设计可视化，方便查看恢复后的软件结构；第三，设计维护，以确定设计的质量，识别问题区域，测量软件修改的影响，等等。我们的设计维护方法的核心是用于指定软件结构约束的形式化方法。从这些规范中，自动生成设计维护工具来检测这些约束的违反。目前，在缺乏此类工具的情况下，设计人员难以保持经过连续修改的系统的结构完整性。这项工作的结果应该有利于软件从业者，并激励教育者将软件维护技术和工具集成到他们的课程中