基于CSM面向对象程序测试用例的自动生成

摘要：

为了保证程序测试的质量和降低测试费用,基于规格的测试方法越来越受到重视.在利用有限状态机描述面向对象程序基础上给出了状态覆盖测试算法,同时引入动态域归约原理实现测试用例的自动生成.

关键词：面向对象、测试、CSM、动态域归约

所属期刊栏目：21

分类号：TP311.5(计算技术、计算机技术)

资助基金：广西跨世纪人才基金

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

页数：共4页

页码：49-53