公开(公告)号：US11586527B2

公开(公告)日：2023-02-21

申请号：US17246600

申请日：2021-05-01

Applicant: EMC IP HOLDING COMPANY LLC

Inventor： Jeffrey Wilson ,  Mordechai Grutman

IPC: G06F9/44 ,  G06F11/36

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.

公开(公告)号：US20220350727A1

公开(公告)日：2022-11-03

申请号：US17246600

申请日：2021-05-01

Applicant: EMC IP HOLDING COMPANY LLC

Inventor： Jeffrey Wilson ,  Mordechai Grutman

IPC: G06F11/36

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.