Patent ID: 9146829
Filing Date: 2015-09-29
Classification: G06F

Abstract:
1. A computing system comprising at least one computing node and at least one data store in communication with the at least one computing node, the at least one data store having stored therein computer instructions that, upon execution by the at least one computing node, at least cause the system to: receive an application program operable to execute in a distributed computing environment; parse the application program in accordance with one or more verification constraints and based on the parsing: instantiate a plurality of virtual machines and execute the independently executable components in respective ones of the virtual machines; modify a non-deterministic event in order to effectuate a deterministic result in accordance with one or more determinism policies in response to a determination that the non-deterministic event has occurred between at least two of the virtual machines; in response to a determination that application data is to be communicated between at least two of the virtual machines: verify one or more verification objectives by using the aggregated application data to represent code execution paths; and iteratively generate new test inputs based on the verifying until the one or more verification objectives are validated.