中文

Journal of Shanghai University（Natural Science Edition） ›› 2011, Vol. 17 ›› Issue (5): 595-599.doi: 10.3969/j.issn.1007-2861.2011.05.004

• Computer Engineering and Science • Previous Articles     Next Articles

Formal Testing Model Generation Based on Scenario

HUANG Long1,2,MIAO Huai-kou1,2,WANG Xi1,2,GUO Liang1,2   

  1. 1. School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China; 2. Shanghai Leading Computer Software Testing Laboratory, Shanghai 201112, China
  • Received:2010-01-08 Online:2011-10-26 Published:2011-10-26

PDF

1244

Cited

4

Abstract: This paper considers the problem of test automation for Web application software, which is a challenge in the software test domain. The behavior of Web application is modeled with a unified modeling language (UML) state diagram and formalized by finite state machine (FSM) using the available method. The scenario is then represented by a UML sequence diagram. By using the scenario to reduce the model, the formal testing model is generated for test automation.

Key words: finite state machine (FSM), formal testing model, scenario, sequence diagram, state diagram, test automation, Web application

CLC Number: