SXM-Based Web Test Generation with Respect to Logic Coverage Criteria

This work proposes a Web test generation approach based on Stream X-Machines (SXMs). It employs relation matrix to construct test paths (abstract test cases). Two algorithms are presented, one for constructing the length-of-shortest-path matrix and another for establishing the shortest-path matrix from each state to other states in the state transition diagram of a SXM-based specification. For revealing the pre- and post-conditions of test paths conveniently, it transforms the execution of SXM-based abstract test cases into that of Boolean expressions and then tests the Web application under test by using those methods regarding Boolean expressions. Thus, an algorithm is designed to achieve test set for detecting logic connective fault. For a SXM-based abstract test case, the user operations involved are modeled by activity diagrams to derive practical test cases. An experiment on a miniature Web application is carried out to illustrate the SXM-based testing with respect to MC/DC, RC/DC, RMCC and GMCC coverage and in the meanwhile to compare these four criteria on their test effectiveness and fault-detecting ability.