类测试中的基于状态的测试一般是以状态机模型为基础的测试。类状态机用于刻画对象响应各种事件时状态发生迁移的情况。测试执行时根据相应的覆盖标准对状态转换图进行遍历,产生类状态测试序列,并依据规约检查每个有效测试数据驱动的测试序列是否使被测对象达到了预定的状态。UML状态图作为有限自动机(FSM)的变体,是一种能清晰描述类状态转换的模型。鉴于UML状态图模型文件内容层次布局的特点,本文采用面向对象思想设计了一种基于正则表达式的UML状态图文件解析方案,并分析了被测类满足状态覆盖及迁移覆盖的测试序列生成技术。针对类状态测试可能遗漏数据错误问题,本文利用数据流分析技术对生成的测试序列进行分析,找出数据流异常进而对其改进,能较好地解决数据错误问题。类状态测试序列依赖测试数据的驱动执行,测试数据的选取与状态迁移前置条件相关。本文在分析了基于UML状态图生成的类状态测试序列的特性以及测试序列和测试数据的关系后,提出了在类状态测试数据生成中运用AOP源程序注入技术代替源程序插装实现测试变量值跟踪。状态测试执行时需要插装代码来跟踪状态转换以便进行可行性检测分析,需要通过改写被测类代码来解决类封装性限制进行类状态验证,导致测试脚本臃肿、强聚合和被测类代码版本不一致。为解决该问题,本文提出了一种基于AOP类状态测试执行方法,它通过分离关注点、突破类封装性限制,能有效地解决这些问题。基于上述思想,本文提出了一种类状态测试模型并设计实现了一个类状态测试原型系统。该原型系统以JAVA作为编码语言,采用MyEclipse6.0开发平台实现。该原型系统以Rational Rose建立的模型文件作为输入文件,能输出被测类的测试序列,在选取测试数据时能跟踪测试变量值以指导测试数据生成,在测试执行时能检测转换可行性及最后的状态验证。实例分析表明该原型系统能达到预期测试效果。