软件测试在目前的软件研发工作中的占的比重越来越大,针对GUI的软件测试一般来说包括测试路径和测试数据两部分,测试路径和数据的选择是否合理和全面是软件测试工作非常重要的部分,目前GUI软件测试已经引入了自动化测试技术,能够执行一些人工参与度小,并且需要重复执行的工作,但是自动化脚本的生成和维护仍然需要很多额外的人工参与。本文引入知识库,首先阐述了软件测试用例生成办法的现状和背景,分析了它们存在的缺乏对待测系统形式化表达,以及不利于对测试用例的维护等现状,本文通过引入本体模型和推理规则来解决以上问题。本文通过建立通用的软件本体模型,包括了软件的基本信息和它们之间的约束关系,然后实例化出本文的待测软件(车辆管理系统)的模型,并且利用基于OWL的本体编辑器protégé进行本体的形式化表达。然后建立了符合业务逻辑的规则,利用SWRL语言进行了表达。然后将SWRL规则和OWL本体转换为Jess规则和Jess事实,并且推理出测试用例,接着利用编写的基于Jena的脚本生成程序将用例自动生成为脚本语言,本文选取了车辆管理系统的登录流程和加油流程两个方面进行了测试用例和脚本的自动生成,对生成的结果进行了质量分析,并且在Rational Robot平台上进行了验证。