Article citationsMore>>

E. Kapeti and P. Kefalas, “A Design Language and Tool for X-Machine Specification,” In: D. Fotiadis and S. Nikolopoulos, Eds., Advances in Informatics, World Scientific, 2000, pp. 134-145.

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.