

Thus, we now have a holistic view concerning the complete behavior of the system that we want to test. , our work is intended to extend, refine, and formalize these approaches by taking not only the desired, but also the undesired behaviors of the system into account, for example, testing GUIs not only through exercising them by means of test cases which show that GUI is working properly under regular circumstances, but also exercising all potentially illegal events to verify that the GUI behaves satisfactorily in exceptional cases (it is possible to address other types of errors in a similar manner, particularly those due to poor interface design ). Sheady and Siewiorek, and White and Almezen introduced an FSA-based method for GUI testing, including a convincing empirical study to validate his approach.

, as well as for specification and testing of system behavior Refs.
#L m finite state automata software#
Nimal Nissanke, in Advances in Computers, 2012 6 Related WorkįSA-based methods have been used for almost four decades for specification and testing of software and system behavior, for example, for conformance testing Refs.
