SHF: Small: Towards a Holistic Causal Model for Continuous Software Traceability

SHF:小型:迈向连续软件可追溯性的整体因果模型

基本信息

  • 批准号:
    2007246
  • 负责人:
  • 金额:
    $ 50万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2020
  • 资助国家:
    美国
  • 起止时间:
    2020-10-01 至 2024-09-30
  • 项目状态:
    已结题

项目摘要

The construction of a software system leads to the creation of several different artifacts, including requirements and code. Requirements, written in natural language, stipulate the system functionality; code then implements and tests the specified functionality. To ensure that a system has been properly implemented and tested, software engineers attempt to match and link requirements to code (and other artifacts) in a process known as software traceability. Unfortunately, the traceability process can be both difficult and time consuming due to the complexity of the underlying system and the fact that modern development practices tend to prioritize implemented functionality over traceability. This project will develop novel techniques for automating the software traceability process by predicting accurate links for developers and explaining why these predictions were made. The proposed techniques will allow software engineers to establish and manage software traceability in a more efficient and effective manner, ultimately leading to a better understanding of a given system and more robust guarantees that it is functioning as intended. The project will also produce and disseminate educational materials on best practices for requirements engineering and program comprehension. We expect these materials to be integrated into existing computer literacy courses at all levels of education. In addition, the project will focus on recruiting and retaining computer science students from traditionally underrepresented categories.The project is centered on three specific goals. First, it will develop novel techniques that are capable of combining (i) orthogonal measures of the textual similarity of software artifacts, (ii) developer feedback, and (iii) transitive links that exist between artifacts, in order to predict accurate trace links between software artifacts. This component will adapt and build upon techniques for machine learning, information retrieval, and statistical modeling. Second, it will develop a method for using evolutionary software histories to improve trace-link quality. This evolutionary component to the automated traceability system will adapt recent advancements in dynamic statistical-modeling techniques. Finally, the project will leverage causal inference and intelligent agents to aid in explaining predicted trace links and supporting developers in the trace-link evaluation process. The automated techniques developed during the course of this project will be thoroughly validated with industry partners, and are expected to become a powerful tool for developers in establishing and managing trace links for software systems.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.
软件系统的构建导致创建几个不同的构件,包括需求和代码。用自然语言编写的需求规定了系统功能;然后代码实现并测试指定的功能。为了确保系统得到了正确的实现和测试,软件工程师试图在一个称为软件可跟踪性的过程中将需求与代码(和其他构件)进行匹配和链接。遗憾的是,由于底层系统的复杂性以及现代开发实践倾向于将实现的功能优先于可跟踪性的事实,可跟踪性过程可能既困难又耗时。这个项目将开发新的技术,通过为开发人员预测准确的链接并解释为什么做出这些预测来实现软件可跟踪性过程的自动化。拟议的技术将使软件工程师能够以更有效率和更有效的方式建立和管理软件可追溯性,最终导致对给定系统的更好理解,并更有力地保证其按预期运行。该项目还将制作和传播关于需求工程和方案理解的最佳做法的教育材料。我们期望将这些材料纳入各级教育中现有的计算机扫盲课程。此外,该项目将专注于从传统上代表性较低的类别中招聘和留住计算机科学专业的学生。该项目围绕三个具体目标展开。首先,它将开发新的技术,这些技术能够组合(I)软件构件的文本相似性的正交度量,(Ii)开发人员反馈,以及(Iii)存在于构件之间的传递链接,以便预测软件构件之间的准确跟踪链接。这一构成部分将采用并建立机器学习、信息检索和统计建模的技术。其次,它将开发一种使用进化软件历史来提高跟踪链接质量的方法。自动可追溯性系统的这一不断演变的组成部分将适应动态统计建模技术的最新进展。最后,该项目将利用因果推理和智能代理来帮助解释预测的跟踪链接,并在跟踪链接评估过程中支持开发人员。在此项目过程中开发的自动化技术将得到行业合作伙伴的全面验证,并有望成为开发人员建立和管理软件系统跟踪链接的强大工具。该奖项反映了NSF的法定使命,并通过使用基金会的智力优势和更广泛的影响审查标准进行评估,被认为值得支持。

项目成果

期刊论文数量(11)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
A Systematic Literature Review on the Use of Deep Learning in Software Engineering Research
An Empirical Investigation into the Use of Image Captioning for Automated Software Documentation
Code to Comment Translation: A Comparative Study on Model Effectiveness & Errors
  • DOI:
    10.18653/v1/2021.nlp4prog-1.1
  • 发表时间:
    2021-06
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Junayed Mahmud;FAHIM FAISAL;Raihan Islam Arnob;Antonios Anastasopoulos;Kevin Moran
  • 通讯作者:
    Junayed Mahmud;FAHIM FAISAL;Raihan Islam Arnob;Antonios Anastasopoulos;Kevin Moran
Enhancing Mobile App Bug Reporting via Real-Time Understanding of Reproduction Steps
  • DOI:
    10.1109/tse.2022.3174028
  • 发表时间:
    2022-03
  • 期刊:
  • 影响因子:
    7.4
  • 作者:
    M. Fazzini;Kevin Moran;Carlos Bernal Cardenas;Tyler Wendland;A. Orso;D. Poshyvanyk
  • 通讯作者:
    M. Fazzini;Kevin Moran;Carlos Bernal Cardenas;Tyler Wendland;A. Orso;D. Poshyvanyk
An Empirical Study on the Usage of BERT Models for Code Completion
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Denys Poshyvanyk其他文献

MASC: A Tool for Mutation-Based Evaluation of Static Crypto-API Misuse Detectors
MASC:基于突变的静态加密 API 滥用检测器评估工具

Denys Poshyvanyk的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Denys Poshyvanyk', 18)}}的其他基金

Collaborative Research: SHF: Medium: Toward Understandability and Interpretability for Neural Language Models of Source Code
合作研究:SHF:媒介:实现源代码神经语言模型的可理解性和可解释性
  • 批准号:
    2311469
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
DASS: Enabling Comprehensive and Interactive Open Source Software License Compliance
DASS:实现全面、交互式的开源软件许可证合规性
  • 批准号:
    2217733
  • 财政年份:
    2022
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Medium: Bug Report Management 2.0
协作研究:SHF:中:错误报告管理 2.0
  • 批准号:
    1955853
  • 财政年份:
    2020
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
EAGER: Mapping Future Synergies between Deep Learning and Software Engineering
EAGER:绘制深度学习与软件工程之间的未来协同效应
  • 批准号:
    1927679
  • 财政年份:
    2019
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SHF: Small: Natural GUI-Based Testing of Mobile Apps via Mining Software Repositories
SHF:小型:通过挖掘软件存储库对移动应用程序进行基于 GUI 的自然测试
  • 批准号:
    1815186
  • 财政年份:
    2018
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
CI-EN: Collaborative Research: TraceLab Community Infrastructure for Replication, Collaboration, and Innovation
CI-EN:协作研究:用于复制、协作和创新的 TraceLab 社区基础设施
  • 批准号:
    1510239
  • 财政年份:
    2015
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SHF: Small: Deep Learning Software Repositories
SHF:小型:深度学习软件存储库
  • 批准号:
    1525902
  • 财政年份:
    2015
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
CAREER: Enabling License Compliance Analysis and Verification for Evolving Software
职业:为不断发展的软件提供许可证合规性分析和验证
  • 批准号:
    1253837
  • 财政年份:
    2013
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
Supporting student travel from underrepresented groups to the 28th IEEE International Conference on Software Maintenance (ICSM 2012)
支持代表性不足群体的学生参加第 28 届 IEEE 软件维护国际会议 (ICSM 2012)
  • 批准号:
    1240505
  • 财政年份:
    2012
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
III: Small: Collaborative Research: Linking Evolving Software Requirements and Acceptance Tests
III:小:协作研究:将不断发展的软件需求和验收测试联系起来
  • 批准号:
    1218129
  • 财政年份:
    2012
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant

相似国自然基金

昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
  • 批准号:
    n/a
  • 批准年份:
    2022
  • 资助金额:
    10.0 万元
  • 项目类别:
    省市级项目
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
  • 批准号:
    32000033
  • 批准年份:
    2020
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
  • 批准号:
    31972324
  • 批准年份:
    2019
  • 资助金额:
    58.0 万元
  • 项目类别:
    面上项目
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
  • 批准号:
    81900988
  • 批准年份:
    2019
  • 资助金额:
    21.0 万元
  • 项目类别:
    青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
  • 批准号:
    31870821
  • 批准年份:
    2018
  • 资助金额:
    56.0 万元
  • 项目类别:
    面上项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
  • 批准号:
    31802058
  • 批准年份:
    2018
  • 资助金额:
    26.0 万元
  • 项目类别:
    青年科学基金项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
  • 批准号:
    31772128
  • 批准年份:
    2017
  • 资助金额:
    60.0 万元
  • 项目类别:
    面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
  • 批准号:
    81704176
  • 批准年份:
    2017
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
  • 批准号:
    91640114
  • 批准年份:
    2016
  • 资助金额:
    85.0 万元
  • 项目类别:
    重大研究计划

相似海外基金

CCF: SHF: CORE: Small: Towards Systematic Quality Control of Physically Unclonable Functions (PUFs)
CCF:SHF:CORE:小型:迈向物理不可克隆功能(PUF)的系统质量控制
  • 批准号:
    2244479
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: Towards Robust Deep Learning Computing on GPUs
合作研究:SHF:小型:在 GPU 上实现稳健的深度学习计算
  • 批准号:
    2301940
  • 财政年份:
    2022
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: Towards Variability-Aware Software Analysis and Testing
协作研究:SHF:小型:迈向可变性感知软件分析和测试
  • 批准号:
    2211589
  • 财政年份:
    2022
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: Towards Variability-Aware Software Analysis and Testing
协作研究:SHF:小型:迈向可变性感知软件分析和测试
  • 批准号:
    2211588
  • 财政年份:
    2022
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SHF: Small: Towards High Performance Serverless Edge Computing for Data-intensive Applications
SHF:小型:面向数据密集型应用程序的高性能无服务器边缘计算
  • 批准号:
    2230620
  • 财政年份:
    2022
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: Towards Robust Deep Learning Computing on GPUs
合作研究:SHF:小型:在 GPU 上实现稳健的深度学习计算
  • 批准号:
    2114514
  • 财政年份:
    2021
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SHF: Small: Towards High-Performance Machine Learning on Graphs
SHF:小型:迈向图上的高性能机器学习
  • 批准号:
    2127207
  • 财政年份:
    2021
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: Towards Robust Deep Learning Computing on GPUs
合作研究:SHF:小型:在 GPU 上实现稳健的深度学习计算
  • 批准号:
    2114519
  • 财政年份:
    2021
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: Towards Robust Deep Learning Computing on GPUs
合作研究:SHF:小型:在 GPU 上实现稳健的深度学习计算
  • 批准号:
    2114526
  • 财政年份:
    2021
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SHF: Small: Pa3S: Towards Pointer Analysis as a Service
SHF:小型:Pa3S:迈向指针分析即服务
  • 批准号:
    2006450
  • 财政年份:
    2020
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了