摘要：测试用例的生成是软件测试的关键环节。本文把基于UML的规格说明和扩展的有限自动机结合起来，利用矩阵存储扩展自动机的状态和状态转换信息，用伪等价类生成树递增地生成测试用例，对类测试的测试用例自动生成作了有益的探讨。

关键词：测试生成 统一建模语言 扩展有限自动机 增量测试方法 

单位：华中科技大学计算机科学与技术学院; 湖北武汉430074