课题基金 / 基金详情

SHF: Small: Reusing Debugging Knowledge

SHF: Small: Reusing Debugging Knowledge
SHF:小:重用调试知识
批准号:
1117603
负责人:
Zhendong Su
金额:
$50.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2011
资助国家:
美国
项目状态:
已结题
起止时间:
2011-08-01 至 2016-07-31

项目摘要

项目成果

Zhendong Su的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Developers spend most of their time debugging software. This effortresults in perfective changes to their applications, but is otherwiselost. No central repository exists that stores all bug descriptionsand fixes. The reason for this state of affairs is the belief thatdebugging is an idiosyncratic, context-specific task that does notgeneralize. In contrast, this project hypothesizes that applicationsdecompose into smaller, similar problems and that limitations of thehuman mind imply that we are likely to make similar errors whenconfronted by similar problems. In practice, most developersagree. When fixing a bug, a developer often begins by searching forsimilar bugs that have been reported and resolved in the past, becausea fix for a similar bug can help him understand his bug, or evendirectly fix his bug. In short, the problem is that the knowledgegained during debugging is wasted---either not stored or notsearchable.This project seeks to revolutionize debugging by capturing and reusingdebugging knowledge. Developers can leverage the knowledge of thecommunity to speed up debugging. To this end, it proposes to create auniversal bug repository capable of storing all bug information,indexed on bug traces. To speed debugging, this repository willsupport efficiently finding similar bugs and their fixes. It will bethe basis of automatic debugging tools that match closed bugs to anopen bug, then test the applicability of their fixes to that openbug. Programmers will consult the proposed bug repository as a matterof course during debugging. Monitors that compare the currentexecution against traces in the repository can also prevent bugs andimprove software reliability. This project promises to significantlyspeed up debugging and reduce software production cost. The proposededucational innovations and outreach efforts can also help train morecapable IT professionals for the workforce.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: Testing and Analysis for Reliable Numerical Software
  • 批准号:
    1618158
  • 项目类别:
    Standard Grant
  • 资助金额:
    $50.0万
  • 财政年份:
    2016
  • 负责人:
    Zhendong Su
  • 依托单位:
SHF: Small: Compiler Validation via Equivalence Modulo Inputs
  • 批准号:
    1528133
  • 项目类别:
    Standard Grant
  • 资助金额:
    $50.0万
  • 财政年份:
    2015
  • 负责人:
    Zhendong Su
  • 依托单位:
TWC: Small: Collaborative: Similary-Based Program Analyses for Eliminating Vulnerabilities
  • 批准号:
    1319187
  • 项目类别:
    Standard Grant
  • 资助金额:
    $25.0万
  • 财政年份:
    2013
  • 负责人:
    Zhendong Su
  • 依托单位:
EAGER: Toward Numerically Robust Software
  • 批准号:
    1349528
  • 项目类别:
    Standard Grant
  • 资助金额:
    $30.0万
  • 财政年份:
    2013
  • 负责人:
    Zhendong Su
  • 依托单位:
国内基金
海外基金
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2024
  • 负责人:
  • 依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    10.0万元
  • 批准年份:
    2022
  • 负责人:
    张祥忠
  • 依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
  • 批准号:
    31972324
  • 项目类别:
    面上项目
  • 资助金额:
    58.0万元
  • 批准年份:
    2019
  • 负责人:
    高学文
  • 依托单位: