System and method for automated testing of software systems utilizing statistical models

摘要

The architecture of the Smart Test is described. Instead of writing a script, the Tester designs a functional model of the system to be tested, such as an application. For example, the Tester would model the functions of the system to be tested, such as a main window, a menu bar, drop-down menus, specialized windows etc. The more complete the model, the better the chance testing will cover existing function. The Tester would also define any facts that the model might need (for example, the name of the file to be opened and saved). The Tester then defines any goals or subgoals to be attained. A goal might be saving the file. Then the rules under which the model will operate are defined. One rule might be if the file (named as a fact) has its date and/or time changed, then the goal of saving the file was reached and the test will end.