软件测试是软件开发的关键过程之一,对于确保软件产品的质量有着十分重要的作用。而测试用例作为软件测试活动中最重要的关键输出件之一,其质量与数量将直接决定被测系统的质量与测试成本。因此,在如何保证软件质量的前提下减少测试用例规模便成了当前最热门的测试设计技术研究内容之一;此外,随着软件复杂度的快速增长,测试用例的数量也快速增长,传统手工设计与维护用例的方法己逐渐不能满足当前发展的需要。为此,本文研究了最优测试用例集设计技术和测试用例自动生成技术,提出了支持最优测试用例集自动生成全流程的架构。通过模型转换算法将系统模型自动转换成测试模型,然后通过测试逻辑自动生成技术、测试数据自动生成技术和应用了最优测试用例集覆盖理论的测试用例自动生成技术实现从系统开发模型到测试用例的全过程自动生成,从而将原来繁重的手工设计与维护测试用例工作转移到单一的测试模型的设计与维护工作上,在保证软件质量的前提下降低了测试成本。本文研究的主要成果有两个:(1)本文研究的测试用例自动生成架构,实现了从测试建模到测试用例自动生成的全过程,有效解决了测试用例设计与维护困难的问题,提高了测试用例设计与维护的工作效率;(2)本文研究的FRBT(Factor Relationship—Based Testing)--基于因子相关度的最优用例集生成算法,是目前用例覆盖技术中最优算法之一,而且它是采用数学模型来挑选相交因子的覆盖技术,有效解决了其它工程方法中完全依赖TSE经验挑选因子所带来的风险与不稳定性,使测试用例设计更加快速、客观