Axiomatic Assessment of FSM-Based Test Adequacy Criteria for Web Application

Compared with traditional software testing, Web application testing is quite different. It has become increasingly important to choose appropriate criteria during the testing. This paper presents a set of test adequacy criteria for FSM-based Web application, and proposes two new test criteria: complete function interaction coverage criteria and function loop interaction coverage criteria. Besides, an axioms system is proposed to assess the FSM-based Web application test coverage criteria. From this axioms system, some useful conclusions are educed as a guide for software engineers in practical testing application.