软件作为计算机的灵魂,在国民经济和社会生活等各方面都起着举足轻重的作用。软件质量问题直接影响各行业的正常运作,软件错误轻则给用户带来不便,重则造成巨大经济损失甚至人员伤亡。软件测试是保证软件质量和可靠性的重要手段,是软件开发中不可或缺的环节。随着用户对软件产品质量的要求不断提高以及软件工程技术的日益成熟,软件测试在整个软件开发周期中所占的比重越来越大。而设计测试用例是软件测试的核心问题,软件测试的好坏很大程度上取决于测试用例的质量和数量。设计测试用例往往需要手工完成,耗时长且效率低。因此,设计实现一种高质量的测试用例自动化生成工具,对于提高软件测试的效率和质量具有重要的研究意义和应用价值。本文针对测试用例生成这一核心问题,整合随机测试和不变量提取技术,设计实现了一个完全自动化的测试用例生成框架工具。在分析了随机测试优缺点的基础上,着重利用随机测试自动化程度高的优点,1)使用预设值技术来提高随机测试的覆盖率,且支持用户自定义预设值,可扩展性强;2)实现了复杂类型数据的递归生成,适用范围更广;3)引入错误测试用例过滤机制,保证测试用例的正常执行;4)不变量是程序执行过程中保持不变的逻辑断言,是对程序属性的一种描述。利用这一特性,实现了基于不变量变化的约简算法,对随机生成的测试用例进行有效的约简,使得最终生成的测试用例规模适度;5)为测试用例生成提供了新的终止标准,解决了以往以时间为限制条件的缺点。最终的程序输出包括三部分:可用于人工排错或回归测试的正常测试用例,能够揭示程序缺陷的错误测试用例,以及揭示程序属性的不变量。通过实验证明,本文实现的随机测试用例生成技术,可以在无任何人工干预的情况下,完全自动化的生成规模适度的测试用例;基于不变量技术的测试用例约简算法效果突出;输出的错误测试用例可以有效的揭示程序中的错误;与纯随机技术相比,带预设值的测试用例代码覆盖率显著提高;变异测试充分度达到不低于同类测试用例生成工具的水平。