TESTING
Verification and validation are two common objectives of
process testing. Testing process is divided into dynamic
mechanism and static one. The techniques used in the static
mechanism are different from those of dynamic one. Given an
HTML page, the static testing inspects the source of the page
and discovers possible faults. In the dynamic testing a vector
of input values are examined and executed on the system
under test (SUT) and the obtained results are compared with
expected results. If diversity is detected, it is reported.
A test case for a Web application includes sequence of URL
and the input values needed for each page which contains
forms. The sequence of URL is the path selected from the
structural model. The sequences of URL are selected by
applying some graph traversing algorithms to the structural
model. Input values needed for each URL are chosen by
applying the boundary coverage and equivalent partitioning
policy. Thus the path selection is independent of input values
and it could be automatically done. For that reason, the
difficulty existence in the testing processes is made by dealing
with the pages contains forms. Execution consists of
requesting the Web server for the URLs in the sequence and
storing the output pages.
The proposed approach uses the structural model to define
URL sequence by using some model traversal algorithm based
on some model coverage analysis. Then, three ontologies are
used to create input values for defined URLs. Boundary
coverage and equivalent partitioning policy is used for test
case generations. The format of test scripts which are
generated by the tool is like the script’s format that could be
executed by Selenium 3
. Selenium is an open source
record/replay tool which is used in the tool for executing tests.
It is important to note that test script also contains oracles
and Selenium could give us the number of test steps that are
failed or succeeded.