软件测试是软件开发过程中保证软件质量、提高软件可靠性、降低软件生产成本的关键技术手段。测试用例的生成是软件测试的一个关键环节，测试用例直接影响了软件测试的效率和覆盖率，可以说测试用例生成技术，已经成为了软件测试研究中的一个研究问题。 UML是一种定义良好、易于表达、功能强大且普遍适用的统一建模语言，已经得到了非常广泛的应用。用例技术是UML中用于获取和表示需求的一种技术，而测试用例的生成又与软件需求有着密切的联系，因此，UML也为软件测试的研究提供了一个新的方向。本文研究的核心问题就是在用例驱动下的软件测试的相关技术和方法。 本文在分析、研究软件测试的相关理论和技术、UML图形表示与特征等内容的基础上，通过对用例、UML顺序图等内容的分析与研究，提出了一种基于用例驱动的测试用例生成策略，其核心思想是通过用例来描述系统需求，并对其进行契约化描述，以消除自然语言表示的不确定性；结合UML顺序图生成测试场景；根据测试场景生成测试用例。针对这个策略，本文还详细论述了基于用例驱动的测试充分性、测试覆盖率、测试覆盖准则以及测试用例的可追踪性等相关技术问题。此外，对顺序图的形式化定义以及依据这种形式化定义实现测试用例自动生成的相关技术问题，也进行了较为深入的探讨。 测试用例管理也是有效地实施软件测试的一个重要技术手段，因为有效的测试用例管理，有助于测试过程的跟踪、测试覆盖率的计算以及测试充分性的评估等技术手段的实现，它也是实现测试自动化的必要技术环节。为此，本文以软件项目管理系统的开发为例，设计并实现了一个测试用例管理系统，并就设计与实现中的相关技术和方法及其实现结果，进行了详细的论述。