Test paths can be automatically generated from the system model to test such systems using a suitable algorithm.
#Xl testview code coverage software
Two case studies illustrate and validate the approach the experiments’ results will be analyzed to discuss the pros and cons of the techniques introduced.įinite State Machine is a popular modeling notation for various systems, especially software and electronic. Those mutant FSMs will be handled and assessed in the same way as in positive testing.
The negative tests will be realized by systematically mutating the FSM to model faults, the absence of which are to be shown. Both criteria enable us to assess the adequacy and efficiency of the positive tests performed.
The next step converts the FSM to an equivalent regular expression (RE) that will be analyzed first to construct test selection criteria for excluding redundant test cases and construct test coverage criteria for terminating the positive test process. This is always possible as the GUIs are considered as strictly sequential processes. The first step of the approach models the GUC by a finite state machine (FSM) that enables the model-based generation of test cases. The approach uses a positive testing concept to show that the GUI under consideration (GUC) does what the user expects to the contrary, the negative testing concept shows that the GUC does not do anything that the user does not expect, building a holistic view. This paper proposes a novel approach to testing graphical user interfaces (GUI) for showing both the presence and absence of faults in the sense of ideal testing. Traditionally, software testing is aimed at showing the presence of faults.