Application software front-end modeling, verification and case based on the Interface Window Tree

According to authoritative statistics, more than 70% of errors found in software testing are caused by requirements or architectural design [1]. Therefore, the modeling and verification of the application front-end design can help improve the development quality of the front-end system and reduce the cost of rework which caused by the design not meeting the requirements. This paper takes the application software front-end system as the research object, aims to verify whether the design of the application software front-end system meets the requirements, use the Interface Window Tree Model to model the user interface composition and behavior, and use the State Transition Graph to specify the composition and behavior correctness of the user interface, and proposes corresponding verification rules and automatic verification algorithms based on the State Transition Graph. Based on the above method, a large-scale web application front-end modeling and verification is completed through an actual case, which shows the effectiveness of the proposed method.