Abstract: A model of an algorithm to be tested is created based on the steps that the algorithm uses to implement a particular function. The model is used by an algorithm verification process to control execution of the application under test. Stubs (small pieces of code) are inserted into the application under test which are used to control execution of the algorithm to determine the result of execution of the algorithm at various locations. The remote stubs enable the testing framework to control execution of the application, stop execution of the application, view data structures associated with the application, freeze system behavior, induce multi-layered dependent sequences, analyze logs, change system flow based on test requests, examine internal data structures as part of the tests, and verify that each method and the combined results of the methods are as expected, based on the original definition of the application algorithm.

Abstract: A model of an algorithm to be tested is created based on the steps that the algorithm uses to implement a particular function. The model is used by an algorithm verification process to control execution of the application under test. Stubs (small pieces of code) are inserted into the application under test which are used to control execution of the algorithm to determine the result of execution of the algorithm at various locations. The remote stubs enable the testing framework to control execution of the application, stop execution of the application, view data structures associated with the application, freeze system behavior, induce multi-layered dependent sequences, analyze logs, change system flow based on test requests, examine internal data structures as part of the tests, and verify that each method and the combined results of the methods are as expected, based on the original definition of the application algorithm.