SHF: Small: Reusing Debugging Knowledge
SHF: Small: Reusing Debugging Knowledge
批准号:
1117603
负责人:
Zhendong Su
金额:
$50.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2011
资助国家:
美国
项目状态:
已结题
起止时间:
2011-08-01 至 2016-07-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
依托单位:
TC: Small: Runtime and Static Analysis for Web Application Security
-
批准号:0917392
-
项目类别:Standard Grant
-
资助金额:$42.4万
-
财政年份:2009
-
负责人:Zhendong Su
-
依托单位:
Program Analysis for Reliable Numerical Software
-
批准号:0702622
-
项目类别:Continuing Grant
-
资助金额:$40.0万
-
财政年份:2007
-
负责人:Zhendong Su
-
依托单位:
CAREER: Reliability and Security of Database and Web Applications
-
批准号:0546844
-
项目类别:Continuing Grant
-
资助金额:$45.0万
-
财政年份:2006
-
负责人:Zhendong Su
-
依托单位:
Collaborative Research: CT-T: A Vertical Systems Framework for Effective Defense against Memory-Based Attacks
-
批准号:0627749
-
项目类别:Continuing Grant
-
资助金额:$50.0万
-
财政年份:2006
-
负责人:Zhendong Su
-
依托单位:
国内基金
海外基金
登录
查看更多内容
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:
-
依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2022
-
负责人:张祥忠
-
依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
-
批准号:32000033
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:林平
-
依托单位:
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
-
批准号:31972324
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2019
-
负责人:高学文
-
依托单位:
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
-
批准号:81900988
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2019
-
负责人:毛梦莹
-
依托单位:
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
-
批准号:31870821
-
项目类别:面上项目
-
资助金额:56.0万元
-
批准年份:2018
-
负责人:陈江宁
-
依托单位:
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
-
批准号:31802058
-
项目类别:青年科学基金项目
-
资助金额:26.0万元
-
批准年份:2018
-
负责人:麻慧
-
依托单位:
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
-
批准号:31772128
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2017
-
负责人:吴建国
-
依托单位:
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
-
批准号:81704176
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2017
-
负责人:赵继梦
-
依托单位:
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
-
批准号:91640114
-
项目类别:重大研究计划
-
资助金额:85.0万元
-
批准年份:2016
-
负责人:何祖华
-
依托单位: