Web Application Testing Based on State Transition
基于状态转换的Web程序测试方法研究

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.