作者：毛澄映; 卢炎生测试方法web程序状态变量状态转换图动态行为行为模型测试用例自动生成导航图状态图k叉树数据链接页面换行对象
摘要：基于状态转换的测试方法是探测Web程序动态行为异常的有效途径.Web程序状态的变迁由链接序列和提交数据共同构成的导航场景决定.本文用活动页面导航图(APND)来描述页面间的链接转换行为,用状态变量的组合对象状态图(COSD)来刻画由提交数据导致的系统状态变量改变,再将两者统一成一个较为全面的动态行为模型Web程序状态转换图(WSTD).最后,采用线索k叉树并加以改进来自动生成测试用例.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
