A method is disclosed for testing applications that include non-deterministic
behavior.
The presently disclosed method generates test code for testing deterministic behavior
of an application. When instances of non-deterministic behavior of the application
being tested are encountered, the method provides acceptable alternate behaviors,
such that the non-deterministic behavior can be effectively tested. The method
may be implemented as a software test tool that utilizes a graphical programming
interface to make the test generation simple and easy to use.