软件测试对确保软件质量有着极其重要的作用,但是手工的测试工作是非常繁琐和低效率的,因此测试的自动化就越来越成为重点。软件测试自动化主要包含了：(1)测试用例的自动生成；(2)使用测试用例对被测程序的执行；(3)将运行结果与测试预测比较得到测试结果评测。近年来,虽然软件测试自动化技术有了很大进展,多数成果集中在后两步的研究中,但是测试用例的自动生成研究比较滞后,其研究也就更为重要与急迫。本论文在研究现有的测试用例自动生成理论方法的基础上,提出了一个由Z语言描述的规则说明到测试用例的自动生成模型。模型主要组成部分有知识库,案例库和推理机。其突出特点有：(1)由Z语言描述的知识库和案例库是可扩充的,随着知识和案例的积累,此系统就能够更好的实现案例的重用,提高测试效率。(2)设计和实现了由Z语言描述规则到测试用例的实现过程；并且在测试用例的生成过程中,结合专家权值、条件覆盖和边界值分析法等技术。条件覆盖技术保证了测试用例的充分性；根据测试效率函数和专家经验对测试集进行各种分类,构造了专家权值技术,再结合边界分析法,充分利用工程师的知识、测试经验和技巧等,来指导测试用例的生成,进一步提高测试效率。本文建立的基于规则专家系统的测试用例自动生成的模型结合了形式化方法Z语言和若干软件测试技术,是一种较好的、可行的测试用例自动化的产生方法。从而完成了测试自动化中最难得一步——测试用例生成,对于测试自动化的整体进程起到了推动作用。