计算机技术已经广泛应用于航空、航天、国防、电信、交通、金融、医疗等领域。在这些领域中,软件系统规模庞大,逻辑复杂,其可靠性和安全性往往有很高的要求。因此,研究如何保证并提高软件产品的质量和可靠性已成为计算机科学的一个重要领域。统一建模语言(UML)是一种描述能力强大且涵义直观的面向对象系统的可视化建模语言,它提供多种图形元素从不同角度和应用层次描述系统特征及其运行环境。基于UML的软件开发过程和建模已经被工业界广泛接受。因此基于UML的软件测试得到了学术界和工业界的广泛重视,其中基于UML的可靠性测试也成为值得深入研究的课题。鉴于以上的分析,本文在下述几个方面进行了深入研究。首先,分析了软件可靠性测试和可靠性仿真测试环境的研究现状,重点研究了两种主流的软件可靠性测试方法,分析和比较了其特点与存在的不足,指出基于使用模型的可靠性测试方法更符合软件工程实践。其次,分析了UML各模型用于指导软件测试的可行性及测试策略,指出不同的模型对应的测试层次,并得出结果:UML状态图、用例图、活动图和顺序图模型是基于UML模型测试(尤其是系统级功能测试)研究的重点。在此基础上,重点研究了基于UML状态图的测试用例设计与生成方法,对基于UML状态图的EFSM模型,提出了一种实时测试序列的生成和优化方法。第三,针对使用模型建立困难的问题,从UML的用例图、活动图和顺序图入手,研究了获取使用模型的形式化算法,导出的使用模型可直接用于基于统计原理的可靠性测试。最后,研究了实现软件自动化测试的关键技术,提出了一种基于UML模型的软件可靠性仿真测试系统框架,设计并实现了一个与Rational Rose相集成的软件使用模型自动生成工具。