Article citationsMore>>

F. Ipate and M. Holcombe, “Generating Test Sequences from Non-Deterministic Generalized Stream X-Machines,” Formal Aspects of Computing, Vol. 12, No. 6, 2000, pp. 443-458. doi:10.1007/s001650070004

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.