中文

Journal of Shanghai University >

2011 , Vol. 17 >Issue 5: 595 - 599

DOI: https://doi.org/10.3969/j.issn.1007-2861.2011.05.004

Computer Engineering and Science

Formal Testing Model Generation Based on Scenario

Expand
  • 1. School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China; 2. Shanghai Leading Computer Software Testing Laboratory, Shanghai 201112, China

Received date: 2010-01-08

  Online published: 2011-10-26

Fold

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

Cite this article

HUANG Long1,2,MIAO Huai-kou1,2,WANG Xi1,2,GUO Liang1,2 . Formal Testing Model Generation Based on Scenario[J]. Journal of Shanghai University, 2011 , 17(5) : 595 -599 . DOI: 10.3969/j.issn.1007-2861.2011.05.004

Options
Outlines

/

〈 〉