随着软件行业的迅速发展,软件规模变得越来越大,与此同时,软件的复杂程度也变得越来越高。软件的应用已经涉及到人类活动的各个领域,在航空、航天、能源、通信、交通、金融、军事等关键领域的应用也日益广泛。软件测试作为保证软件质量的重要手段,同时是软件开发过程中的重要环节,其重要性也逐渐得到重视和认可。目前,为了提高软件的质量,虽然国内外众多的软件企业已经从之前单纯的以编码为核心向软件工程化方向转变,形成了一套比较完善的软件测试理论体系,软件测试越来越规范化,运用自动化测试工具大大提高了测试效率；学术界和工业界也将复用的概念应用于软件的需求工程和设计工程中,并取得了显著的效果,然而,在测试阶段的复用研究却很少。如果我们能将软件复用技术应用于测试工作中,构建可复用的测试用例模型,进而建立一个可复用的测试用例管理系统,使测试用例得到有效的复用和共享,将会很好的提高软件测试的工作效率,减少测试人员的工作量。软件测试过程中产生的大量测试用例对保证软件的质量起到关键作用,对于专门从事软件测试的机构来说,测试用例的复用尤其重要。在测试用例的设计、选择基础上,构造出可复用的测试用例,同时采用测试用例库管理的方法来实现测试用例的复用,可以提高软件测试的工作效率。文中主要是研究了软件测试的过程和方法以及软件复用的理论；讨论了在现在的软件测试中,测试用例的设计、选择和执行；深入地研究学习了形式规格说明语言,构建基于规格说明的可复用测试用例模型；并在此基础上,对测试用例实行有效的管理,实现测试用例的复用,最终达到改善软件测试过程,提高软件测试效率的目的。本文结合国家863项目“面向多行业IT资源库系统的建设及应用”中对可复用测试用例库系统的设计和开发,研究了形式化方法和软件测试中测试用例的复用,以提高软件缺陷的发现率,改善平台测试服务的效率,更好地保证软件的质量。论文的主要研究工作有：分析软件测试方法和测试用例的可复用性；研究形式化方法以及基于规格说明的测试；提出基于规格说明的可复用测试用例模型；分析测试用例复用过程,提出可复用测试用例库系统的设计和管理方法。