Article citationsMore>>

G. Laycock, “The Theory and Practice of Specification-Based Software Testing,” Ph.D. Thesis, Sheffield University, Sheffield, 1993.

has been cited by the following article:

• TITLE: Web Testing Generation: A Stream X-Machine Based Approach

  AUTHORS: Zhongsheng Qian

  KEYWORDS: Web Application; SXM (Stream X-Machine); FSM (Finite State Machine); Test Case; Testing Framework

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.5 No.1, December 31, 2011

  ABSTRACT: To ensure the quality of Web applications, Web testing is one of the effective methods. The testing is a process of revealing errors that is used to give confidence that the implementation of a Web application meets its original specification. This work proposes a Web testing framework based on Stream X-Machines (SXMs), which provides a way to derive test cases for a Web application. It starts from constructing the SXM model, from which a test translator is employed to extract the test paths and then translates them into an XML-style test specification, which is the input of test engine. The test engine generates test cases and then executes them, and finally produces test report. This testing method is a significant contribution to informed research.