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.
开发人员将大部分时间都花在调试软件上。这对其应用的完美变化进行了递增,但与众不同。不存在中央存储库来存储所有错误描述和修复。这种状况的原因是,人们认为,欺诈是一个特殊的,特定于上下文的任务,确实不化。相比之下,该项目假设应用程序将其归类为较小的类似问题,而人类思想的局限性暗示我们在与类似问题的情况下可能会犯类似的错误。实际上,大多数开发者。修复错误时,开发人员通常会开始搜索过去报告和解决的贴材虫,因为相似的错误可以帮助他理解他的错误,或者迫见地修复他的错误。简而言之,问题在于,在调试期间的知识浪费了 - 要么不存储或不可搜索。该项目试图通过捕获和重复使用知识来彻底改变调试。 开发人员可以利用社区的知识来加快调试。为此,它建议创建能够存储所有错误信息的Auniversal错误存储库,并在错误跟踪上索引。为了加快调试,该存储库将有效地找到类似的错误及其修复程序。它将为自动调试工具的基础,这些工具将封闭的错误与Anopen错误匹配,然后测试其修复程序对openbug的适用性。程序员将在调试过程中将提议的错误存储库咨询为问题课程。监视将当前发行与存储库中的痕迹进行比较的监视也可以防止错误和插入软件的可靠性。该项目有望大大提高调试并降低软件生产成本。拟议的教育创新和外展工作还可以帮助培训可行的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
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
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
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
DEVELOPMENT OF LONG AND NARROW WETTING SENSOR SYSTEM TO DETECT FILLING STATUS AND HONEYCOMBS OCCURRED ON THE SURFACE OF CONCRETE
长窄润湿传感器系统的研制用于检测混凝土表面的填充状态和蜂窝状结构
- DOI:
10.3130/aijt.26.851 - 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
Zhendong Su;T. Ohkubo;A. Teramoto;M. Kizuka;K. Matsumoto;M. Uehara - 通讯作者:
M. Uehara
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
EAGER: Toward Numerically Robust Software
EAGER:迈向数值稳健的软件
- 批准号:
1349528 - 财政年份:2013
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
TWC: Small: Collaborative: Similary-Based Program Analyses for Eliminating Vulnerabilities
TWC:小型:协作:基于相似性的程序分析以消除漏洞
- 批准号:
1319187 - 财政年份: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
相似国自然基金
靶向Treg-FOXP3小分子抑制剂的筛选及其在肺癌免疫治疗中的作用和机制研究
- 批准号:32370966
- 批准年份:2023
- 资助金额:50 万元
- 项目类别:面上项目
化学小分子激活YAP诱导染色质可塑性促进心脏祖细胞重编程的表观遗传机制研究
- 批准号:82304478
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
靶向小胶质细胞的仿生甘草酸纳米颗粒构建及作用机制研究:脓毒症相关性脑病的治疗新策略
- 批准号:82302422
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
HMGB1/TLR4/Cathepsin B途径介导的小胶质细胞焦亡在新生大鼠缺氧缺血脑病中的作用与机制
- 批准号:82371712
- 批准年份:2023
- 资助金额:49 万元
- 项目类别:面上项目
小分子无半胱氨酸蛋白调控生防真菌杀虫活性的作用与机理
- 批准号:32372613
- 批准年份:2023
- 资助金额:50 万元
- 项目类别:面上项目
相似海外基金
Powering Small Craft with a Novel Ammonia Engine
用新型氨发动机为小型船只提供动力
- 批准号:
10099896 - 财政年份:2024
- 资助金额:
$ 50万 - 项目类别:
Collaborative R&D
"Small performances": investigating the typographic punches of John Baskerville (1707-75) through heritage science and practice-based research
“小型表演”:通过遗产科学和基于实践的研究调查约翰·巴斯克维尔(1707-75)的印刷拳头
- 批准号:
AH/X011747/1 - 财政年份:2024
- 资助金额:
$ 50万 - 项目类别:
Research Grant
人工知能に基づく非線形高次元小標本データ解析とその社会的応用
基于人工智能的非线性高维小样本数据分析及其社会应用
- 批准号:
24K14847 - 财政年份:2024
- 资助金额:
$ 50万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Fragment to small molecule hit discovery targeting Mycobacterium tuberculosis FtsZ
针对结核分枝杆菌 FtsZ 的小分子片段发现
- 批准号:
MR/Z503757/1 - 财政年份:2024
- 资助金额:
$ 50万 - 项目类别:
Research Grant
Bacteriophage control of host cell DNA transactions by small ORF proteins
噬菌体通过小 ORF 蛋白控制宿主细胞 DNA 交易
- 批准号:
BB/Y004426/1 - 财政年份:2024
- 资助金额:
$ 50万 - 项目类别:
Research Grant