基于扩展有限状态机的测试用例自动生成的研究,是面向对象软件类测试中基于状态的测试的基础。面向对象软件中类的行为可以用有限状态机模拟,对类的测试可以看作有限状态机的测试,其中应用较广的技术是唯一输入输出序列(UIO)技术。UIO序列的产生是一个NP问题。对这类问题,遗传算法可以有效地解决。本文分析研究目前国内外已有的测试用例生成技术,对基于有限状态机的测试方法进行对比分析,比较各种方法的优缺点;针对扩展有限状态机(EFSM)中状态迁移不确定性导致的状态不可执行问题进行研究,提出全局状态转化方法,将EFSM转化成等价的确定的有限状态机,从而能利用发展较为成熟的FSM方法生成测试序列;在基于状态分裂树这一概念上研究如何把UIO序列的产生转化为搜索问题,描述用遗传算法产生UIO序列的基本思想,详细讨论应用遗传算法时遇到的一些问题,如编码、UIO序列有效校验、适应度函数定义等。初步试验证实了遗传算法解决UIO序列问题的适用性和可行性。