Methods, systems, and articles of manufacture for synchronizing software verification flows
First Claim
1. A computer implemented method for synchronizing a software verification flow, the method comprising:
- using a computer system which comprises at least one processor to perform a process, the process comprising;
identifying a component operation associated with a menu item of a user interface, wherein the component operation includes an element to be tested in the software verification flow and represents an act of triggering the menu item in the user interface;
identifying or creating a synchronizer;
registering the synchronizer with the component operation;
synchronizing the software verification flow by using the synchronizer, without including wait statements in the software verification flow to instruct the software verification flow to pause execution and to wait for a particular state to proceed with verification.
1 Assignment
0 Petitions
Accused Products
Abstract
Disclosed are methods, systems, and articles of manufacture for synchronizing a software verification flow of an application that uses a user interface. Various embodiments comprise implementing a menu item as a widget and identifying an operation associated with the menu item. A synchronizer is further identified or created for the operation and then registered with the operation such that the synchronizer is activated when the operation is invoked during the software verification flow. Once activated, the synchronizer takes over control of the verification flow and prevents the verification flow from proceeding until a criterion is fulfilled. The synchronizer may be reused among different tests, and the same test case may be rerun on different machines with different computing performance and workloads without producing false positives or false negatives.
129 Citations
27 Claims
-
1. A computer implemented method for synchronizing a software verification flow, the method comprising:
-
using a computer system which comprises at least one processor to perform a process, the process comprising; identifying a component operation associated with a menu item of a user interface, wherein the component operation includes an element to be tested in the software verification flow and represents an act of triggering the menu item in the user interface; identifying or creating a synchronizer; registering the synchronizer with the component operation; synchronizing the software verification flow by using the synchronizer, without including wait statements in the software verification flow to instruct the software verification flow to pause execution and to wait for a particular state to proceed with verification. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17)
-
-
18. A machine for synchronizing a software verification flow, the machine comprising:
a computer system which comprises at least one processor that is at least to; identify a component operation associated with a menu item of a user interface, wherein the component operation includes an element to be tested in the software verification flow and represents an act of triggering the menu item in the user interface; identify or creating a synchronizer; register the synchronizer with the component operation; and synchronize the software verification flow by using the synchronizer, without including wait statements in the software verification flow to instruct the software verification flow to pause execution and to wait for a particular state to proceed with verification. - View Dependent Claims (20, 21, 22, 23)
-
19. An article of manufacture of a computer program product comprising a non-transitory computer readable storage medium having a sequence of instructions which, when executed by a computer system, cause the one or more processors, processor cores, or combination thereof to execute a method for synchronizing a software verification flow, the method comprising:
using the computer system which comprises at least one processor and is configured for performing a process, the process comprising; identifying a component operation associated with a menu item of a user interface, wherein the component operation includes an element to be tested in the software verification flow and represents an act of triggering the menu item in the user interface; identifying or creating a synchronizer; registering the synchronizer with the component operation; and synchronizing the software verification flow by using the synchronizer, without including wait statements in the software verification flow to instruct the software verification flow to pause execution and to wait for a particular state to proceed with verification. - View Dependent Claims (24, 25, 26, 27)
Specification