软件测试贯穿了软件工程全过程,是保证软件质量的重要手段。根据应用系统的不同,采用的测试方法也呈现多样性。目前,软件测试技术的研究虽然取得了一些成果,但对特定领域的软件系统应采用怎样的测试方法,并对其进行全面的、完整的测试,仍没有具体的标准可遵循。软件测试自动化是软件测试的一个发展趋势,而测试用例的自动生成则是实现测试自动化的关键。 本文的研究是基于抽象程序设计语言Apla到其它各类高级语言的自动程序转换系统的软件测试,是软件系统PAR平台开发的重要组成部分。在深入研究PAR方法及其PAR平台和软件测试理论的基础上,本文对PAR平台这一专业性很强的应用软件选择了适当的测试策略,并制定了相应的测试计划。测试计划针对PAR方法的抽象程序设计语言Apla的语法和语义设计了专门的测试用例模板和测试用例集,分别覆盖了PAR平台中对Apla语言的程序结构、标识符、数据类型的定义和使用、运算符、语句、预定义标准过程和函数、过程和函数、泛型程序设计等转换功能。 本文从软件测试的概念、目的、原则、方法、过程等各个方面进行了论述;简要介绍了被测系统PAR平台中的Apla→Deiphi自动程序转换系统的结构和使用情况,并分析了被测系统PAR平台的特点;详细的阐述了被测系统中测试用例的设计过程。在深入研究抽象程序设计语言Apla的特性之后,本文提出了测试用例自动生成器TCGA的初步设计思想,阐述了测试用例自动生成器TCGA的设计模式和算法思想。本文的研究对基于PAR平台的软件测试进行了有益的尝试,并扩展了测试数据自动生成工具的应用范围。