随着计算机的应用日益增多,各行业对软件系统的健壮性和稳定性提出了更高的要求,使得软件测试在整个软件项目中的地位日益重要。基于FSM模型的系统测试是一致性测试的重要研究方向,在实际的测试工作中已被普遍的推广。但由于实际应用场景的多样性和软件设计的复杂性,在某些工作中软件系统的建模描述困难,为实际测试工作带来极大的不便。同时某些经典的测试方法生成的测试用例集规模较大,影响整个一致性测试过程的效率,加重了实际中测试的工作量。由此可见,基于FSM模型的一致性测试在实际应用中存在着若干缺陷,对该技术的研究具有较大的应用价值。针对上述问题,本文中首先介绍了基于FSM模型一致性测试理论,引出了FSM模型的相关概念,详细论述了基于FSM模型测试的经典方法。其次,本文介绍了研究中开发的基于FSM模型的测试方案生成原型系统的总体框架。总体框架主要包括FSM模型绘制模块、测试用例生成及优化模块、FSM模型特殊转换处理模块以及管理模块等主要功能模块。然后,本文分别针对测试用例生成及优化模块和FSM模型特殊转换处理模块进行详细论述。在测试用例生成及优化模块中,提出了一种测试集压缩方法,该方法分别对原始测试用例集进行前缀冗余约简和子串冗余约简,实现了对两种经典测试方法生成的测试集的压缩优化,其结果表明,优化后的测试集能够保证原有错误检测能力不受影响,同时取得了显著的压缩效果。在FSM模型特殊转换处理模块中,本文列举并定义了实际测试中几种特殊场景下的特殊转换形式,分别提出了对其处理的方法,增强了FSM模型的描述能力。最后,基于本课题的应用背景,开发了基于FSM模型的测试方案生成原型系统,该系统包含了各模块的全部功能,利用本系统进行了大量的实例测试,其结果充分验证了研究工作的有效性。