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

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