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

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提出可以通过使用自动化技术来检测程序约束来确定的。使用可理解性作为评估设计的标准会带来一个主要的智力挑战，因为可理解性是一种主观的概念，使自动检测到它的任务变得复杂。提议者检测可理解性的方法是修改两个程序分析工具（Daikon和Absint），以便可以使用这些工具来理解“良好”设计。该项目有两个主要的研究目标：a）确定可理解性是否捕获了“良好”设计的非正式概念。这个目标代表了主论文的经验验证（或反驳），可理解性是良好设计所共有的关键质量。并且，b）确定使设计更容易理解的设计功能。这里的目的是分析在Internet上可以自由访问的不同程序，以识别工具容易理解的设计，然后查看它们具有共同的设计功能。这是一个高度投机的目标，但这是研究提出的主要科学问题。此外，它可以对编程实践产生广泛影响。该项目的论点是，可以将可理解性用作评估设计质量的单个标准，并且可以通过使用从程序中推断含义的自动化工具来客观地衡量此标准，从而提供了一个单一可测试的标准来衡量质量。这项研究使软件设计的艺术更接近科学基础。该项目的早期优势将是确定设计功能，这些功能会导致更大的理解性，从而提高设计质量。此外，自动化工具的集成以客观地衡量设计质量是该提案独特且创新的一个方面。如果成功的话，该项目可能会通过为从业人员效仿的“良好”设计戒律来促进设计科学知识的体系。此外，拟议的研究有可能对计算机科学教育和总体编程实践产生重大影响。如果该项目成功地确定可理解性是对设计质量的足够衡量，那么学生和专业设计师将有一种新的客观方法来判断不同的设计。计划经理：Anita J. La Salledate：2006年6月28日