CSR: Small: Automated Software Failure Causal Path Computation

CSR：小：自动化软件故障因果路径计算

• 批准号: 0917007
• 负责人: Xiangyu Zhang
• 金额: $ 49.33万
• 依托单位: Purdue University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-09-01 至 2014-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0917007&HistoricalAwards=false
• 关键词: CSR; Small; Automated; Software; Failure

Automating debugging has been a long standing grand challenge.Central to automated debugging is the capability of identifying failure causal paths, which are paths leading from the root cause to the failure with each step causally connected. It is key to understanding and fixing a software fault. The project develops a novel scalable debugging technique. Given a failure and the desired output, the technique produces the failure causal path.The following enabling techniques are devised. Given a failure and the desired output, the first technique is to search for a dynamic patch to the failure such that the patched execution generates the desired output. Sample patches include negating the branch outcome of a predicate execution. The second technique is to align the failing and the patched executions to facilitate later comparison. It consists of control flow alignment and memory alignment. Two runs may differ in control flow so that correspondence between execution points need to be established. A data structure may be allocated to different memory locations so that memories also need to be aligned. The third technique is to efficiently compare the program states of the two runs at the aligned places to generate the causal path. The ramifications include reducing resource consumption of debugging and improving software productivity and dependability.

自动化调试一直是一个长期存在的巨大挑战。自动化调试的核心是识别故障因果路径的能力，这些路径是从根本原因到故障的路径，每个步骤都有因果联系。它是理解和修复软件故障的关键。该项目开发了一种新颖的可扩展调试技术。给定一个故障和期望的输出，该技术产生故障因果路径。给定一个故障和期望的输出，第一种技术是搜索故障的动态补丁，以便打补丁的执行生成期望的输出。示例补丁包括否定谓词执行的分支结果。第二种技术是对齐失败的执行和修补的执行，以便于以后进行比较。它包括控制流对齐和内存对齐。两次运行的控制流程可能不同，因此需要建立执行点之间的对应关系。数据结构可以被分配给不同的存储器位置，使得存储器也需要被对齐。第三种技术是有效地比较两次运行在对齐位置的程序状态，以生成因果路径，其结果包括减少调试的资源消耗，提高软件的生产率和可靠性。