随着计算机技术的发展和计算机应用的普及,软件系统的需求量越来越大,在现阶段,面向对象软件系统占据了其中很大的比例,在软件系统的测试方面出现了许多测试方法,基于形式化规格说明的软件测试方法是其中重要、有效的一种。在基于形式化规格说明的软件测试方法中,形式化规格说明通常作为正确性验证的基础。目前,基于形式化规格说明的软件测试主要用于安全性和可靠性要求较高的软件系统,根据所用的规格化说明语言的特点,用不同的方法进行软件测试。主要的测试思路有等价测试和不等价测试等。生成测试用例所用的工具有基本项、等价项、不等价项、基本对等。本文主要研究了基于程序的代数规格化说明生成测试用例进行软件测试的方法。本文提出了根据代数规格化说明生成基本项模型图的方法,并且生成的基本项模型图也能完全体现程序的面向对象特征。本文测试方法的主要思路是：首先根据代数规格化说明得到一组基本项。为了避免从理想基本项集合中选择一组基本项时受到理想基本项集合的完备性和无穷性等因素的制约,本文根据代数规格化说明构造一个基本项模型图,然后用基本项模型图生成基本项。为了进一步减少最终生成测试用例的数量,本文从生成的基本项集合中得到与这个基本项集合等价的范式集合,再通过范式来生成测试用例。针对用范式模型树生成范式时,生成的不完全是范式,并且范式的长度可能无穷大的问题,本文提出了对基本项模型图进行路径拆分,根据路径拆分后基本项模型图生成范式的方法。最后,用范式替换代数规格化说明公理系统中的变量,生成测试用例。在用范式生成测试用例时,本文根据而向对象程序的继承、多态等特征,提出了替换准则,根据这个替换准则用范式替换公理系统中的变量,保证了生成的测试用例能够体现程序的面向对象特征。本文还提出了对公理系统中的条件公理和循环公理的处理方法,并且用简单域测试策略选择测试数据填充测试用例。