一种基于程序DD图的无约束边生成算法

计算机科学 ›› 2009, Vol. 36 ›› Issue (2): 296-298.

一种基于程序DD图的无约束边生成算法

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文得到国家自然科学基金（60673118）,湖北省自然科学基金（2007ABA034）资助.

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 基于相似路径集进行软件故障定位是众多有效故障定位方法中的一种，该方法利用测试技术、程序切片和削片技术给出具体的软件故障定位报告。在实现上述方法时，求出程序DD图（Decision-to—Decision Graph）的无约束边就是关键步骤。目前，针对这一关键步骤的研究中，虽然取得了一定进展，但如何基于程序DD图生成无约束边，尚需要进一步研究。首先选用十字链表结构存储程序的DD图，进而计算出该程序DD图中各边对应的主宰树和蕴含树，在此基础上求出程序DD图中无约束边。通过实验验证，提出的无约束边生成算法是一种

关键词: 故障定位无约束边程序DD图

Abstract: Using similar paths to localize the program faults is a method among many effective ones. Based on the techniques such as testing, program slicing and dicing, this paper presented a detailed report of the location of the faults in a program. When implemen

Key words: Faults localization, Unconstrained edges, Decision-to-decision graph

. 一种基于程序DD图的无约束边生成算法[J]. 计算机科学, 2009, 36(2): 296-298. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed