随着信息技术的迅速发展,计算机软件的应用深入到人们生活中的方方面面,人们对软件质量的认识也提高到了新的层次。作为保证软件质量的重要手段,软件测试得到人们的广泛重视。面向对象技术提供了更好的软件开发方法,但面向对象软件的特性也给软件测试带来了新的挑战。本文以面向对象软件的类作为研究对象,针对基于状态的测试方法,研究了在一致性EFSM模型基础上构造测试序列和测试数据的方法,选取UIO序列作为状态验证序列。首先,针对传统的UIO序列生成算法中生成的UIO树的规模过于庞大的问题,在研究现有算法的基础上,引入可逆序列和转换表格,提出了一种新的UIO序列生成算法。新的UIO序列生成算法使用多种剪枝策略控制UIO树的规模,并使用节点链搜索方法来提高UIO序列的输出效率。其次,为了降低测试序列的长度,在研究两种主要的降低测试序列长度的方法基础上,扩展现有的方法,得到了一种更优的测试序列生成方法。新算法使用可逆序列作为连接序列,并通过中国农村邮递员算法寻找一条最短的遍历路径,从而构成一条更短的测试序列。该测试序列的特点是,每个状态的UIO序列都包含在其它状态的UIO序列中,使得测试序列段的重复部分被有效利用。最后,为了提高测试用例的生成效率,选取遗传算法来构造测试序列执行所需的测试数据。对遗传算法在测试中的应用进行了研究,并采用了一定的改进措施,加快遗传算法的收敛速度。