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 的法定使命，并被认为是值得的通过使用基金会的智力优势和更广泛的影响审查标准进行评估来获得支持。