权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

SHF: Small: Programming with Semantic Revision Requests

SHF：小型：使用语义修改请求进行编程

基本信息

批准号：
2008369
负责人：
Bor-Yuh Evan Chang
金额：
$ 49.92万
依托单位：
University of Colorado at Boulder
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2020
资助国家：
美国
起止时间：
2020-06-01 至 2024-05-31
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=2008369&HistoricalAwards=false
关键词：
SHF Small Programming Semantic Revision

项目摘要

Software development today is a social process, and the workflow ofprogrammers is increasingly centered around discussing programrevisions - that is, artifacts that document small, incremental programchanges. Meanwhile, traditional research on testing, debugging, and analyzingprograms focuses on one program version at a time, ignoring any preceding orsucceeding versions of the same software artifact. The project's noveltiesare a foundational examination of program revisions and the investigation ofautomated techniques that cooperatively assist software-engineering teamswith reasoning about them. The project's impacts are to enhance the wayengineering teams collaboratively evolve their software and thus enable themto more effectively create secure and reliable software on which societydepends.The project's core contribution is defining the notion of a "semanticrevision request" that enables treating program revisions as first-classentities for debugging and analysis tools. A semantic view of programrevisions enables programmers to run or analyze the program revision (bothbefore and after a change simultaneously), not merely each of the two programversions, as supported by today's conventional tools. By focusing ondebugging and analyzing program revisions - not their individual programversions - the resulting tools come closer to capturing the intent of theprogrammer as they develop and commit program changes. The intended broaderimpact from a technical perspective is that these executable and analyzablespecifications will supplement, or even replace, informal descriptions abouthow software systems evolve, by providing an unambiguous way to communicatehigh-level programmer intent.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

今天的软件开发是一个社会过程，程序员的工作流程越来越多地以讨论程序修订为中心--即记录小的、增量的程序更改的构件。同时，传统的测试、调试和分析程序的研究一次只关注一个程序版本，而忽略了同一软件构件的任何先前或后续版本。该项目的创新之处在于对程序修订的基础性检查，以及对自动化技术的研究，这些自动化技术合作地帮助软件工程团队对它们进行推理。该项目的影响是增强了工程团队协作发展他们的软件的方式，从而使他们能够更有效地创建社会依赖的安全可靠的软件。该项目的核心贡献是定义了“语义修订请求”的概念，使得能够将程序修订视为调试和分析工具的一流实体。程序修订的语义视图使程序员能够运行或分析程序修订(同时在更改之前和之后)，而不是像今天的传统工具所支持的那样，仅仅运行或分析两个程序版本中的每一个。通过专注于调试和分析程序版本--而不是它们各自的程序版本--所产生的工具更接近于捕捉程序员在开发和提交程序更改时的意图。从技术角度看，预期的更广泛影响是，这些可执行和可分析的规范将通过提供一种明确的方式来沟通高级程序员的意图，从而补充甚至取代关于软件系统发展的非正式描述。该奖项反映了NSF的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。