计算机技术已经广泛应用于航空、航天、国防、电信、交通、金融、医疗等领域。在这些领域中，软件系统规模庞大，逻辑复杂，其可靠性和安全性往往有很高的要求。软件测试就显得尤为重要，它贯穿在软件的整个开发过程中。测试用例的生成设计是软件测试过程中的难点，主要依据是软件需求文档和软件设计文档。　　 基于UML的软件开发过程和建模已经被工业界广泛接受，因此基于UML的软件测试得到了学术界和工业界的广泛重视。同时，随着软计算技术的不断发展，软计算方法也被广泛的应用到工程设计中，将软计算技术的方法应用到软件测试中也成了许多学者研究软件测试的一种新思路。　　 本文在下述方面进行了深入研究。　　 首先，介绍了基于模型的测试方法及优势，软计算方法的研究现状以及在软件测试中的应用现状。　　 其次，对UML模型做了简单介绍，并指出了UML模型用于指导软件测试的优势所在，并分析了UML各种模型及其可测试性，指出不同的模型对应的测试层次，并得出结论：UML状态图、用例图、活动图和序列图模型是基于UML模型测试(尤其是系统级功能测试)研究的根本和重点。　　 最后，研究了实现软件自动化测试的关键技术测试用例生成，改进了经典遗传算法并且用于基于UML活动图生成测试用例的过程中，并建立算法模型；分析了UML序列图，并且给出了利用序列图生成测试用例的方法，进而利用粗糙集的约简方法来优化UML序列图生成的测试用例。以上研究为软件测试自动化提供了一种新的方法和思路。