摘要： 基于状态转换的测试方法是探测Web程序动态行为异常的有效途径。Web程序状态的变迁由链接序列和提交数据共同构成的导航场景决定。本文用活动页面导航图(APND)来描述页面间的链接转换行为，用状态变量的组合对象状态图(COSD)来刻画由提交数据导致的系统状态变量改变，再将两者统一成一个较为全面的动态行为模型Web程序状态转换图(WSTD)。最后，采用线索k叉树并加以改造来自动生成测试用例。

关键词: 测试方法 Web 程序 状态变量 状态转换图 动态行为 行为模型 测试用例 自动生成 导航图 状态图 k叉树 数据 链接 页面 换行 对象