CAREER: Abstracting Programs for Automated Debugging
职业:抽象程序以进行自动调试
基本信息
- 批准号:1350574
- 负责人:
- 金额:$ 51.27万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:2014
- 资助国家:美国
- 起止时间:2014-02-01 至 2020-01-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Debugging is one of the most time consuming aspects of software development costing the economy billions of dollars annually. Any automation that reduces the manual effort involved in debugging can have a significant impact on software productivity. An integral part of all debugging activities is the task of fault localization. Once undesired behavior is spotted in a program, the actual defect has to be identified before a fix can be developed. Most existing fault localization techniques rely on the availability of high quality test suites, which limits their applicability. One promising alternative is techniques that statically analyze the faulty program fragment and do not rely on testing. The goal of this project is to develop practical static fault localization algorithms. If such algorithms were available, they would broaden the scope of programs to which automated debugging tools can be applied and enable the creation of novel tools that have the potential to change the way in which software is developed and maintained.The main research hypothesis of this project is that practical static fault localization algorithms can be realized. To validate this hypothesis the PI will explore abstractions that conservatively over-approximate the behavior of faulty programs. The precision of these abstractions must be targeted so that the error-relevant portions of the program are preserved and the defect is precisely identified. The hypothesis that the construction of such targeted abstractions can be automated is supported by the observation that there exists a connection between fault localization and formal verification. The proposed work will explore new techniques and algorithms that leverage this connection. These algorithms will be implemented and evaluated in a static fault localization tool that will serve as a vehicle for studying advanced automated debugging techniques.
软件开发是软件开发中最耗时的方面之一,每年花费数十亿美元。 任何减少调试中手动工作的自动化都会对软件生产力产生重大影响。所有调试活动的一个组成部分是故障定位的任务。一旦在程序中发现了不期望的行为,就必须在开发修复程序之前确定实际的缺陷。大多数现有的故障定位技术依赖于高质量的测试套件,这限制了它们的适用性。一个有希望的替代方法是静态分析错误程序片段而不依赖于测试的技术。本计画的目标是发展实用的静态故障定位演算法。如果这样的算法是可用的,他们将扩大自动调试工具可以应用的程序的范围,并使创造新的工具,有可能改变软件开发和维护的方式。本项目的主要研究假设是,可以实现实用的静态故障定位算法。为了验证这个假设,PI将探索保守地过度近似错误程序行为的抽象。这些抽象的精确度必须以保留程序中与错误相关的部分和精确地识别缺陷为目标。 这种有针对性的抽象的构建可以自动化的假设得到了故障定位和形式验证之间存在联系的观察结果的支持。拟议的工作将探索利用这种联系的新技术和算法。这些算法将在静态故障定位工具中实现和评估,该工具将作为研究高级自动调试技术的工具。
项目成果
期刊论文数量(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 }}
Thomas Wies其他文献
Complete Multiparty Session Type Projection with Automata
使用自动机完成多方会话类型投影
- DOI:
10.48550/arxiv.2305.17079 - 发表时间:
2023 - 期刊:
- 影响因子:0
- 作者:
E. Li;Felix Stutz;Thomas Wies;D. Zufferey - 通讯作者:
D. Zufferey
Learning Invariants using Decision Trees
使用决策树学习不变量
- DOI:
- 发表时间:
2015 - 期刊:
- 影响因子:0
- 作者:
Siddharth Krishna;Christian Puhrsch;Thomas Wies - 通讯作者:
Thomas Wies
A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages
深度有限的面向对象包的动态接口概念
- DOI:
- 发表时间:
2013 - 期刊:
- 影响因子:0
- 作者:
Shahram Esmaeilsabzali;R. Majumdar;Thomas Wies;D. Zufferey - 通讯作者:
D. Zufferey
Dynamic Package Interfaces
动态包接口
- DOI:
- 发表时间:
2014 - 期刊:
- 影响因子:0
- 作者:
Shahram Esmaeilsabzali;R. Majumdar;Thomas Wies;D. Zufferey - 通讯作者:
D. Zufferey
Thomas Wies的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Thomas Wies', 18)}}的其他基金
SHF: Small: Modular Automated Verification of Concurrent Data Structures
SHF:小型:并发数据结构的模块化自动验证
- 批准号:
2304758 - 财政年份:2023
- 资助金额:
$ 51.27万 - 项目类别:
Standard Grant
NSF Student Travel Grant for 2020 Computer-Aided Verification (CAV)
NSF 2020 年计算机辅助验证 (CAV) 学生旅行补助金
- 批准号:
2019514 - 财政年份:2020
- 资助金额:
$ 51.27万 - 项目类别:
Standard Grant
NSF Student Travel Grant for 2019 International Conference on Computer-Aided Verification (CAV)
2019 年计算机辅助验证 (CAV) 国际会议 NSF 学生旅费补助金
- 批准号:
1928837 - 财政年份:2019
- 资助金额:
$ 51.27万 - 项目类别:
Standard Grant
SHF: Small:Verifying Complex Concurrent Data Structures with Flow Interfaces
SHF:小型:使用流接口验证复杂的并发数据结构
- 批准号:
1815633 - 财政年份:2018
- 资助金额:
$ 51.27万 - 项目类别:
Standard Grant
SHF: Small: Collaborative Research: Concurrent Software Verification with Rely/Guarantee Abstractions
SHF:小型:协作研究:具有依赖/保证抽象的并发软件验证
- 批准号:
1618059 - 财政年份:2016
- 资助金额:
$ 51.27万 - 项目类别:
Standard Grant
SHF: Small: Integrating separation logic and SMT for better heap verification
SHF:小型:集成分离逻辑和 SMT 以实现更好的堆验证
- 批准号:
1320583 - 财政年份:2013
- 资助金额:
$ 51.27万 - 项目类别:
Standard Grant
相似海外基金
Research Initiation: Improving engineering mechanics self-efficacy by focusing on abstracting the physical world as a precursor to analysis.
研究启动:通过专注于抽象物理世界作为分析的先驱来提高工程力学的自我效能。
- 批准号:
2306156 - 财政年份:2023
- 资助金额:
$ 51.27万 - 项目类别:
Standard Grant
Haptic Computing: Abstracting Interactive Touch Feedback
触觉计算:抽象交互式触摸反馈
- 批准号:
RGPIN-2019-06589 - 财政年份:2022
- 资助金额:
$ 51.27万 - 项目类别:
Discovery Grants Program - Individual
Haptic Computing: Abstracting Interactive Touch Feedback
触觉计算:抽象交互式触摸反馈
- 批准号:
RGPIN-2019-06589 - 财政年份:2021
- 资助金额:
$ 51.27万 - 项目类别:
Discovery Grants Program - Individual
Abstracting, Gisting, Tailoring, and Delivering Information Contents to User Needs and Intents
根据用户需求和意图抽象、要点、定制和交付信息内容
- 批准号:
RGPIN-2016-06434 - 财政年份:2021
- 资助金额:
$ 51.27万 - 项目类别:
Discovery Grants Program - Individual
Haptic Computing: Abstracting Interactive Touch Feedback
触觉计算:抽象交互式触摸反馈
- 批准号:
RGPIN-2019-06589 - 财政年份:2020
- 资助金额:
$ 51.27万 - 项目类别:
Discovery Grants Program - Individual
Abstracting, Gisting, Tailoring, and Delivering Information Contents to User Needs and Intents
根据用户需求和意图抽象、要点、定制和交付信息内容
- 批准号:
RGPIN-2016-06434 - 财政年份:2020
- 资助金额:
$ 51.27万 - 项目类别:
Discovery Grants Program - Individual
Abstracting Real-Time Operating Systems for Re-targetable Code Generation
抽象实时操作系统以生成可重新定位的代码
- 批准号:
542792-2019 - 财政年份:2019
- 资助金额:
$ 51.27万 - 项目类别:
Alexander Graham Bell Canada Graduate Scholarships - Master's
Haptic Computing: Abstracting Interactive Touch Feedback
触觉计算:抽象交互式触摸反馈
- 批准号:
RGPIN-2019-06589 - 财政年份:2019
- 资助金额:
$ 51.27万 - 项目类别:
Discovery Grants Program - Individual
Abstracting, Gisting, Tailoring, and Delivering Information Contents to User Needs and Intents
根据用户需求和意图抽象、要点、定制和交付信息内容
- 批准号:
RGPIN-2016-06434 - 财政年份:2019
- 资助金额:
$ 51.27万 - 项目类别:
Discovery Grants Program - Individual
Haptic Computing: Abstracting Interactive Touch Feedback
触觉计算:抽象交互式触摸反馈
- 批准号:
DGECR-2019-00413 - 财政年份:2019
- 资助金额:
$ 51.27万 - 项目类别:
Discovery Launch Supplement