基于状态转换的Web程序测试方法研究  

Web Application Testing Based on State Transition

作　　者：毛澄映[1] 卢炎生[1] 

机构地区：[1]华中科技大学计算机科学与技术学院,武汉430074

出　　处：《计算机科学》2005年第5期219-223,共5页Computer Science

基　　金："十五"国防科技预研项目(41315.9.2)资助.

摘　　要：基于状态转换的测试方法是探测Web程序动态行为异常的有效途径。Web程序状态的变迁由链接序列和提交数据共同构成的导航场景决定。本文用活动页面导航图(APND)来描述页面间的链接转换行为,用状态变量的组合对象状态图(COSD)来刻画由提交数据导致的系统状态变量改变,再将两者统一成一个较为全面的动态行为模型Web程序状态转换图(WSTD)。最后,采用线索k叉树并加以改进来自动生成测试用例。The testing method based on state transition is an effective way to detect the dynamic behavior errors of Web applications. The transformations of Web application's states are determined by the navigation scenario which consists of the link sequences and submitted data. This paper utilizes active page navigation diagram(APND) to de- scribe the link transition between pages, and the change of system state variables caused by submitted data is modeled by the composite object state diagram(COSD) of state variables. In an ulterior step,a more comprehensive dynamic behavior model, denoted as Web application state transition diagram(WSTD), is constructed by combining the APND with COSD. Finally, the threaded k-tree is introduced and improved to automatically product test cases.

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

分 类 号：TP393[自动化与计算机技术—计算机应用技术] TP31[自动化与计算机技术—计算机科学与技术]