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

• 作者: 叶俊民 王俊杰 董威 齐治昌
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 故障定位 无约束边 程序DD图
• 年，卷（期）: 2009,（2）
• 所属期刊栏目: 软件工程
• 页码范围: 296-298
• 页数: 3页
• 分类号: TP3
• 字数: 3693字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2009.02.072

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董威	国防科学技术大学计算机学院	32	402	10.0	19.0
2	王俊杰	华中师范大学计算机科学系	14	29	4.0	4.0
3	叶俊民	华中师范大学计算机科学系	85	454	11.0	16.0
7	齐治昌	国防科学技术大学计算机学院	38	881	15.0	29.0