SoD-HCER: Comprehensibility as a Design Criterion

SoD-HCER：可理解性作为设计标准

• 批准号: 0613919
• 负责人: Ruben Gamboa
• 金额: --
• 依托单位: University of Wyoming
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2006
• 资助国家: 美国
• 起止时间: 2006-09-01 至 2009-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0613919&HistoricalAwards=false
• 关键词: SoD; HCER; Comprehensibility; Design; Criterion

Directorate for Computer and Information Science and Engineering (CISE)Division Computer and Network Systems (CNS)Science of Design (SoD) ProgramProposal Number: 0613919 P/I: Ruben Gamboa Institution: University of Wyoming Title: "SoD-HCER: Comprehensibility as a Design Criterion"Award: $ 157,428Duration: 24 monthsThe focus of this project is on software design comprehensibility where an objective measure of comprehensibility is proposed that can be determined by the use of automated techniques for detecting program constraints. Using comprehensibility as a criterion for evaluating designs poses a major intellectual challenge because comprehensibility is a subjective notion that complicates the task of detecting it automatically. The proposers' approach toward detecting comprehensibility is to modify two program analysis tools (Daikon and AbsInt) so that those tools can be used to comprehend "good" designs. The project has two main research goals: a) Determine if comprehensibility captures the informal notion of "good" design. This goal represents the empirical validation (or refutation) of the main thesis, that comprehensibility is the key quality shared by good designs; and, b) Identify design features that make designs more comprehensible. The intent here is to analyze different programs that are freely accessible on the Internet to identify designs that are easily comprehended by the tools, and then to see what design features they have in common. This is a highly speculative goal, but it is the main scientific question raised by the research. Moreover, it is one that can have a broad impact on the practice of programming. The thesis of this project, that comprehensibility can be used as a single criterion for evaluating design quality and that this criterion can be measured objectively by using automated tools that infer meaning from programs, provides a single and testable criterion to measure quality. This research brings the art of software design one step closer to a scientific footing. An early benefit of this project will be the identification of design features that lead to greater comprehensibility, hence to better design quality. Moreover, the integration of automated tools to measure design quality objectively is an aspect of this proposal that is unique and innovative. If successful, the project may contribute to the body of knowledge of the science of design by presenting "good" design precepts for practitioners to follow. In addition, the proposed research has the potential to make a significant impact both on computer science education and on the practice of programming in general. If this project is successful in establishing that comprehensibility is an adequate measure of design quality, students and professional designers will have a new and objective way to judge different designs. Program Manager: Anita J. La SalleDate: June 28, 2006

计算机和信息科学与工程理事会 (CISE) 计算机和网络系统 (CNS) 设计科学 (SoD) 计划提案编号：0613919 P/I：Ruben Gamboa 机构：怀俄明大学 标题：“SoD-HCER：可理解性作为设计标准” 奖项：157,428 美元 持续时间：24 个月 该项目的重点是软件设计可理解性，其中客观衡量标准可理解性是 提出可以通过使用自动技术来检测程序约束来确定。使用可理解性作为评估设计的标准提出了重大的智力挑战，因为可理解性是一个主观概念，使自动检测它的任务变得复杂。提议者检测可理解性的方法是修改两个程序分析工具（Daikon 和 AbsInt），以便这些工具可用于理解“好的”设计。该项目有两个主要研究目标： a) 确定可理解性是否抓住了“良好”设计的非正式概念。这个目标代表了对主要论点的实证验证（或反驳），即可理解性是优秀设计所共有的关键品质； b) 确定使设计更易于理解的设计特征。这里的目的是分析可在互联网上免费访问的不同程序，以识别工具易于理解的设计，然后了解它们有哪些共同的设计特征。这是一个高度推测性的目标，但却是该研究提出的主要科学问题。此外，它还可以对编程实践产生广泛的影响。该项目的论文是，可理解性可以用作评估设计质量的单一标准，并且可以通过使用从程序推断含义的自动化工具来客观地测量该标准，从而提供了测量质量的单一且可测试的标准。这项研究使软件设计艺术更接近科学基础。该项目的早期好处是识别设计特征，从而提高可理解性，从而提高设计质量。此外，集成自动化工具来客观地衡量设计质量是该提案独特和创新的一个方面。如果成功，该项目可能会通过向从业者提供可供遵循的“良好”设计规则，为设计科学的知识体系做出贡献。此外，拟议的研究有可能对计算机科学教育和一般编程实践产生重大影响。如果这个项目成功地确立了可理解性是设计质量的充分衡量标准，那么学生和专业设计师将有一种新的、客观的方式来判断不同的设计。项目经理：Anita J. La Salle日期：2006 年 6 月 28 日