SHF: Small: Reusing Debugging Knowledge
SHF:小:重用调试知识
基本信息
- 批准号:1117603
- 负责人:
- 金额:$ 50万
- 依托单位:
- 依托单位国家:美国
- 项目类别: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.
开发人员花大部分时间调试软件。这一努力的结果是在完善的变化,他们的应用程序,但otherwislost。不存在存储所有错误预防和修复的中央存储库。出现这种情况的原因是人们相信调试是一项特殊的、特定于上下文的任务,不能一概而论。相反,这个项目假设应用程序分解成更小的,类似的问题,人类思维的局限性意味着当我们遇到类似的问题时,我们可能会犯类似的错误。在实践中,大多数开发人员都同意。当修复一个bug时,开发人员通常从搜索过去报告和解决的类似bug开始,因为类似bug的修复可以帮助他了解他的bug,甚至直接修复他的bug。简而言之,问题是在调试过程中获得的知识被浪费了---要么不存储,要么不可搜索。这个项目试图通过捕获和重用调试知识来彻底改变调试。 开发人员可以利用计算机的知识来加速调试。为此,它建议创建一个通用的bug存储库,能够存储所有的bug信息,并根据bug跟踪进行索引。为了加快调试速度,这个存储库将支持有效地查找类似的错误及其修复。它将成为自动调试工具的基础,这些工具将关闭的bug与打开的bug相匹配,然后测试它们修复的bug的适用性。程序员在调试过程中将参考建议的错误存储库作为理所当然的事情。将当前数据与存储库中的跟踪进行比较的方法还可以防止错误并提高软件的可靠性。该项目有望大大加快调试速度,降低软件生产成本。拟议的教育创新和推广工作也可以帮助培训更多的IT专业人员的劳动力。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
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 }}
Zhendong Su其他文献
Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior
精炼的输入,降级的输出:编译器行为的反直觉世界
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Theodoros Theodoridis;Zhendong Su - 通讯作者:
Zhendong Su
Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations
扩展论文:用于测试静态类型实现的 API 驱动程序综合
- DOI:
10.48550/arxiv.2311.04527 - 发表时间:
2023 - 期刊:
- 影响因子:0
- 作者:
Thodoris Sotiropoulos;Stefanos Chaliasos;Zhendong Su - 通讯作者:
Zhendong Su
Comparing Cognitive Load Among Undergraduate Students Programming in Python and the Visual Language Algot
比较本科生使用 Python 和视觉语言算法编程的认知负荷
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Sverrir Thorgeirsson;Theo B. Weidmann;Karl;Zhendong Su - 通讯作者:
Zhendong Su
Mutant Kras co-opts a proto-oncogenic enhancer network in inflammation-induced metaplastic progenitor cells to initiate pancreatic cancer.
- DOI:
https://doi.org/10.1038/s43018-020-00134-z - 发表时间:
2020 - 期刊:
- 影响因子:22.7
- 作者:
Yong Li;Yi He;Junya Peng;Zhendong Su;Zeyao Li;Bingjie Zhang;Jing Ma;Meilian Zhuo;Di Zou;Xinde Liu;Xinhong Liu;Wenze Wang;Dan Huang;Mengyue Xu;Jianbin Wang;Haiteng Deng;Jing Xue;Wei Xie;Xun Lan;Mo Chen;Yupei Zhao;Wenming Wu;Charles J. david - 通讯作者:
Charles J. david
Cited2 suppresses tumor formation and metastasis of neuroblastoma through inhibition of the CBP/p300-β-catenin-Sox9 axis
Cited2 通过抑制 CBP/p300-β-catenin-Sox9 轴来抑制神经母细胞瘤的肿瘤形成和转移
- DOI:
- 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
Satoshi Kishida;Dongliang Cao;Peng Huang;Zhendong Su;Ichiro Takeuchi;Masato Nakaguro;Shoma Tsubota;Atsushi Narita;Yinyan Xu;Yasuko Yoshida;Yoshiyuki Takahashi;Kenji Kadomatsu - 通讯作者:
Kenji Kadomatsu
Zhendong Su的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Zhendong Su', 18)}}的其他基金
SHF: Small: Testing and Analysis for Reliable Numerical Software
SHF:小型:可靠数值软件的测试和分析
- 批准号:
1618158 - 财政年份:2016
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
SHF: Small: Compiler Validation via Equivalence Modulo Inputs
SHF:小型:通过等效模输入进行编译器验证
- 批准号:
1528133 - 财政年份:2015
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
TWC: Small: Collaborative: Similary-Based Program Analyses for Eliminating Vulnerabilities
TWC:小型:协作:基于相似性的程序分析以消除漏洞
- 批准号:
1319187 - 财政年份:2013
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
EAGER: Toward Numerically Robust Software
EAGER:迈向数值稳健的软件
- 批准号:
1349528 - 财政年份:2013
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
TC: Small: Runtime and Static Analysis for Web Application Security
TC:小型:Web 应用程序安全的运行时和静态分析
- 批准号:
0917392 - 财政年份:2009
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
Program Analysis for Reliable Numerical Software
可靠数值软件的程序分析
- 批准号:
0702622 - 财政年份:2007
- 资助金额:
$ 50万 - 项目类别:
Continuing Grant
CAREER: Reliability and Security of Database and Web Applications
职业:数据库和 Web 应用程序的可靠性和安全性
- 批准号:
0546844 - 财政年份:2006
- 资助金额:
$ 50万 - 项目类别:
Continuing Grant
Collaborative Research: CT-T: A Vertical Systems Framework for Effective Defense against Memory-Based Attacks
合作研究:CT-T:有效防御基于内存的攻击的垂直系统框架
- 批准号:
0627749 - 财政年份:2006
- 资助金额:
$ 50万 - 项目类别:
Continuing 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 RNA 测序技术解析鸽分泌鸽乳的分子机制
- 批准号:31802058
- 批准年份:2018
- 资助金额:26.0 万元
- 项目类别:青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
- 批准号:31870821
- 批准年份:2018
- 资助金额:56.0 万元
- 项目类别:面上项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
- 批准号:31772128
- 批准年份:2017
- 资助金额:60.0 万元
- 项目类别:面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
- 批准号:81704176
- 批准年份:2017
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
- 批准号:91640114
- 批准年份:2016
- 资助金额:85.0 万元
- 项目类别:重大研究计划
相似海外基金
CSR: Small: Leveraging Physical Side-Channels for Good
CSR:小:利用物理侧通道做好事
- 批准号:
2312089 - 财政年份:2024
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
NeTS: Small: NSF-DST: Modernizing Underground Mining Operations with Millimeter-Wave Imaging and Networking
NeTS:小型:NSF-DST:利用毫米波成像和网络实现地下采矿作业现代化
- 批准号:
2342833 - 财政年份:2024
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
CPS: Small: NSF-DST: Autonomous Operations of Multi-UAV Uncrewed Aerial Systems using Onboard Sensing to Monitor and Track Natural Disaster Events
CPS:小型:NSF-DST:使用机载传感监测和跟踪自然灾害事件的多无人机无人航空系统自主操作
- 批准号:
2343062 - 财政年份:2024
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
Collaborative Research: FET: Small: Reservoir Computing with Ion-Channel-Based Memristors
合作研究:FET:小型:基于离子通道忆阻器的储层计算
- 批准号:
2403559 - 财政年份:2024
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
オミックス解析を用いたブドウ球菌 small colony variants の包括的特徴づけ
使用组学分析全面表征葡萄球菌小菌落变体
- 批准号:
24K13443 - 财政年份:2024
- 资助金额:
$ 50万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
AF: Small: Problems in Algorithmic Game Theory for Online Markets
AF:小:在线市场的算法博弈论问题
- 批准号:
2332922 - 财政年份:2024
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
Collaborative Research: FET: Small: Algorithmic Self-Assembly with Crisscross Slats
合作研究:FET:小型:十字交叉板条的算法自组装
- 批准号:
2329908 - 财政年份:2024
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
NeTS: Small: ML-Driven Online Traffic Analysis at Multi-Terabit Line Rates
NeTS:小型:ML 驱动的多太比特线路速率在线流量分析
- 批准号:
2331111 - 财政年份:2024
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Small: LEGAS: Learning Evolving Graphs At Scale
协作研究:SHF:小型:LEGAS:大规模学习演化图
- 批准号:
2331302 - 财政年份:2024
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Small: LEGAS: Learning Evolving Graphs At Scale
协作研究:SHF:小型:LEGAS:大规模学习演化图
- 批准号:
2331301 - 财政年份:2024
- 资助金额:
$ 50万 - 项目类别:
Standard Grant