权益分类	功能权益	普通用户	{{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的法定使命，并被认为值得通过使用基金会的知识价值和更广泛的影响评审标准进行评估来支持。