Automatic Fault Localization Using Statistics and Visualization: An Empirical Research Program
Automatic Fault Localization Using Statistics and Visualization: An Empirical Research Program
批准号:
0541049
负责人:
Mary Harrold
金额:
$40.34万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2006
资助国家:
美国
项目状态:
已结题
起止时间:
2006-04-01 至 2010-03-31
中文摘要
CCF-0541049 PI:玛丽让HarroldGA技术标题:使用统计和可视化的自动故障定位:一个实证研究计划软件错误显着影响软件生产力和质量。 减少故障数量所需的最昂贵的任务之一是调试,而定位故障是调试中最困难和最耗时的部分。 现有的自动化调试技术有限制,阻止他们扩展到工业系统,有几个报告比较现有的技术。本专题将通过几个活动研究可在实践中使用的故障定位技术。 首先,研究将开发改进的技术,可以更快地引导用户到系统的故障区域,并利用程序员的知识和指导。 其次,研究将设计和进行对照实验和案例研究,以评估新技术和改进技术的成本效益,并了解促成这些成本效益的因素。 第三,本研究将为未来的故障定位方法组装程序,错误版本和测试套件的基础设施。 更广泛的影响。 软件的普遍性和故障的高成本使得调试技术的改进极其重要。 这项工作将提供实用的故障定位技术,沿着经验数据,这些技术和经验方法,将提供给其他研究人员在未来的故障定位研究中使用。
英文摘要
CCF-0541049PI: Mary Jean HarroldGA TechTITLE: Automatic Fault Localization Using Statistics and Visualization: An Empirical Research ProgramSoftware errors significantly impact software productivity and quality. One of the most expensive tasks required to reduce the number of faults is debugging, and locating faults is the most difficult and time-consuming component of debugging. Existing automated debugging techniques have limitations that prevent them from scaling to industrial systems, and there are few reports comparing existing techniques. This project will investigate fault-localization techniques that can be used in practice through several activities. First, the research will develop improved techniques that can more quickly guide the user to the faulty regions of the system and exploit programmer knowledge and guidance. Second, the research will design and conduct controlled experiments and case studies to evaluate cost-benefits of new and improved techniques, and to understand the factors contributing to those costs-benefits. Third, the research will assemble an infrastructure of programs, faulty versions, and test suites for future fault-localization approaches. Broader Impacts. The ubiquity of software and the high cost of faults, makes improvements in debugging techniques extremely important. This work will provide practical fault-localization techniques, along with empirical data on those techniques and empirical methodologies that will be made available to other researchers for use in future fault-localization research.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
I-Corps: Tarantula Testing and Debugging System
-
批准号:1245911
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2012
-
负责人:Mary Harrold
-
依托单位:
Group Travel Grant for Faculty at Minority Institutions to Attend FSE-12
-
批准号:0441530
-
项目类别:Standard Grant
-
资助金额:$2.5万
-
财政年份:2004
-
负责人:Mary Harrold
-
依托单位:
HDCCSR: Software Self-Awareness Using Dynamic Analysis and Markov Models
-
批准号:0429117
-
项目类别:Continuing Grant
-
资助金额:$32.0万
-
财政年份:2004
-
负责人:Mary Harrold
-
依托单位:
Collaborative Research: Scalable Integration Testing of Object-Oriented Software: An Empirical Research Program
-
批准号:0306372
-
项目类别:Continuing Grant
-
资助金额:$20.11万
-
财政年份:2003
-
负责人:Mary Harrold
-
依托单位:
Collaborative Research: ITR: Acquiring Accurate Dynamic Field Data Using Lightweight Instrumentation
-
批准号:0205422
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2002
-
负责人:Mary Harrold
-
依托单位:
Collaborative Research: MASSA: Mobile Agent System Security Through Analysis
-
批准号:0209322
-
项目类别:Continuing Grant
-
资助金额:$29.49万
-
财政年份:2002
-
负责人:Mary Harrold
-
依托单位:
Data-Flow Analysis of Large Software Systems
-
批准号:9988294
-
项目类别:Continuing Grant
-
资助金额:$32.0万
-
财政年份:2000
-
负责人:Mary Harrold
-
依托单位:
NSF Young Investigator: Testing Object-Oriented Programs
-
批准号:0096321
-
项目类别:Continuing Grant
-
资助金额:$18.98万
-
财政年份:1999
-
负责人:Mary Harrold
-
依托单位:
Scalable Program-Analysis-Based Testing and Maintenance: Infrastructure and Experimentation
-
批准号:0196145
-
项目类别:Continuing Grant
-
资助金额:$155.31万
-
财政年份:1999
-
负责人:Mary Harrold
-
依托单位:
Scalable Program-Analysis-Based Testing and Maintenance: Infrastructure and Experimentation
-
批准号:9707792
-
项目类别:Continuing Grant
-
资助金额:$155.31万
-
财政年份:1997
-
负责人:Mary Harrold
-
依托单位:
NSF Young Investigator: Testing Object-Oriented Programs
-
批准号:9696157
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:1996
-
负责人:Mary Harrold
-
依托单位:
NSF Young Investigator: Testing Object-Oriented Programs
-
批准号:9357811
-
项目类别:Continuing Grant
-
资助金额:$16.12万
-
财政年份:1993
-
负责人:Mary Harrold
-
依托单位:
The Application of Data Flow Testing to Integration
-
批准号:9109531
-
项目类别:Standard Grant
-
资助金额:$7.16万
-
财政年份:1991
-
负责人:Mary Harrold
-
依托单位:
海外基金