Maintenance and Analysis of Structurally Enhanced Programs

结构增强程序的维护和分析

• 批准号: 9303484
• 负责人: Leon Sterling
• 金额: $ 11.61万
• 依托单位: Case Western Reserve University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1993
• 资助国家: 美国
• 起止时间: 1993-08-15 至 1995-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9303484&HistoricalAwards=false
• 关键词: Maintenance; Analysis; Structurally; Enhanced; Programs

A calculus of operations are being developed to facilitate maintenance of programs by non-specialist programmers. Operations are to be performed on an "enhancement structure" of a program rather than the (more complicated) program text. Enhancement structures are based on the methodology of stepwise enhancement developed under a previous NSF grant. This continuation award includes a supplement to support research experience for an undergraduate participant. %%% Previously a tool, PT, was built to support the major steps of stepwise enhancement, applying techniques to skeletons, and composition of programs enhanced from the skeleton. Enhancement structures have now been defined formally. The specific task to be performed by the undergraduate student is to enhance PT to directly manipulate enhancement structures. The maintenance operations would be performed directly on the enhancement structures, rather than by reapplying operations directly on programs as is the case currently.

正在开发一种运算演算，以方便非专业程序员维护程序。 操作将在程序的“增强结构”上执行，而不是在（更复杂的）程序文本上执行。 增强结构基于先前 NSF 拨款开发的逐步增强方法。 该继续奖包括支持本科生参与者研究经验的补充。 %%% 以前构建了一个工具 PT，用于支持逐步增强、将技术应用于骨架以及从骨架增强的程序组合的主要步骤。 增强结构现已正式定义。 本科生要执行的具体任务是增强PT以直接操纵增强结构。 维护操作将直接在增强结构上执行，而不是像目前的情况那样直接在程序上重新应用操作。