一种基于谓词抽象的测试用例约简生成方法

摘要：

　　测试用例约简生成问题是软件测试过程中的关键问题之一，其目标是使用尽可能少的测试用例充分满足给定的测试目标，以提高测试效率、降低测试成本。提出一种基于谓词抽象的测试用例约简生成方法，该方法依据给定的谓词集合对软件系统的状态空间进行等价类划分，通过状态集合之间的映射得到约简的抽象状态，并以抽象状态之间的迁移关系作为测试用例约简生成的基础。实验结果表明，该方法可以有效地对系统状态进行约简，并生成规模较小的测试用例集。

关键词： 谓词抽象 状态约简 等价类划分 测试用例生成 软件测试

作者: 郭曦 张焕国

作者单位: 武汉大学 计算机学院，湖北 武汉 430072 武汉大学 计算机学院，湖北 武汉 430072 武汉大学空天信息安全与可信计算教育部重点实验室，湖北 武汉 430072

会议类型: 国内会议

会议名称: 第四届中国计算机网络与信息安全学术会议(CCNIS2011)

会议地点: 郑州

会议语种:中文

页码: 1-10

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