We also introduce methods for test case selection. Furthermore, authors use some heuristic methods to cope with the state explosion problem. This approach uses model checking (which can identify negative and positive scenarios) to generate test cases automatically from formal requirements specifications, using well-known coverage metrics for test case selection. shows that it can still be practical.Īnother state-oriented approach, based on the traditional SCR (Software Cost Reduction) method, is described by Heitmeyer et al. This is, in most practical cases, labor intensive, though the massive amount of practical work performed in Refs. This strategy is quite different from the combinatorial ones, for example, pairwise testing, which requires that for each pair of input parameters of a system, every combination of valid values of these parameters must be covered by at least one test case. Moreover, having an exact terminology and an appropriate formal framework enabling the use of different types of coverage criteria and test generation methods, we can now precisely scale the test process, justifying the cumulative costs that must be in compliance with the test budget. 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.
#Computer graphics and 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.