基于代数规约黑盒测试中测试用例自动生成技术研究

摘要：

基于代数规约的软件测试是软件黑盒测试研究的一个重要内容.本文对当前基于代数规约面向对象测试中测试用例的生成技术及相关工作进行了分析,在可观察分类扩展定义和良构规约的基础上,提出了一个基于代数规约由公理的等价项基本对产生测试用例的方法.该方法适用于黑盒测试过程,保证了test oracle的有效性,同时使测试执行结果的评估工作得到了极大的简化.

关键词： 软件测试 黑盒测试 代数规约 测试用例 test oracle

作者: 孔良

作者单位: 国防科技大学计算机学院,湖南,长沙,410073

会议类型: 国内会议

会议名称: 中国科学院计算技术研究所第九届计算机科学与技术研究生学术讨论会

会议地点: 青岛

会议语种:中文

页码: 457-463

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