Patent ID: 9665350
Date: 2017-05-30
CPC Classifications: G06F,H04L

Claim:
1. A computing device-implemented method comprising: obtaining, by a processor of the computing device, a first representation of a system; obtaining, by the processor of the computing device, a set of test obligations, generating, by the processor of the computing device and based on compiling a set of coverage points for testing, one or more test cases from the first representation based on the set of test obligations; obtaining, by the processor, a second representation, obtaining, by the processor, an analysis criterion for the second representation; assessing, by the processor, the analysis criterion based on applying the one or more test cases to the second representation; determining, by the processor, whether one or more test results satisfy the analysis criterion, providing, by the processor and when the one or more test results satisfy the analysis criterion, coverage results; identifying, by the processor and when the one or more test results do not satisfy the analysis criterion, one or more additional test obligations based on the assessing, generating, by the processor, a second set of one or more test cases based on the one or more additional test obligations,