一种基于谓词的程序切片自动生成算法

摘要：

利用分支函数极小化,生成给定路径的测试数据,需计算路径上谓词中变量的当前值.文中基于谓词的程序切片自动生成算法,以相应的切片标准为准则,利用程序DUC(Definition_Use_Control)表达式,构造基于谓词的程序切片.对任意的输入,通过执行该切片,获得谓词中变量的当前值,为测试数据的自动生成奠定了基础.

关键词： 软件测试 谓词 程序切片 DUC表达式 测试生成

作者: 赵瑞莲 刘威

作者单位: 北京化工大学信息科学与技术学院(北京)

会议类型: 国内会议

会议名称: 第二届中国测试学术会议

会议地点: 上海

会议语种:中文

页码: 335-340

在线出版日期: 2002-10-01（万方平台首次上网日期，不代表论文的发表时间）