Patent ID: 9600347
Date: 2017-03-21
CPC Classifications: G06F

Claim:
1. A computer program product, comprising a computer-readable storage medium having logic code stored thereon, wherein the logic code, when executed on a computer, causes the computer to: execute a logic code under test on at least two runs; for each of the at least two runs, update an identifier of a first thread to comprise an operation identifier associated with a first operation, in response to determining that the first thread has performed the first operation, wherein the first thread is for the logic code under test; for each of the at least two runs, associate the identifier of the first thread with one or more resources accessed by the first thread during a first execution path; for each of the at least two runs, update an identifier of a second thread to comprise an operation identifier associated with a second operation, in response to determining that the second thread has performed the second operation, wherein the second thread is for the logic code under test; for each of the at least two runs, associate the identifier of the second thread with one or more resources accessed by the second thread during a second execution path, wherein the second execution path is different from the first execution path: and generate a synchronization coverage model by generating a relational data structure of said one or more resources; and, wherein: