As detailed in a blog post I wrote a couple of months ago, the core of Conformiq DesignerTM is a custom crafted semantics driven, symbolic state space exploration algorithm for test generation from system models (because this is really the only known solution that robustly generates both test inputs and outputs from a system model without user intervention). On a very high level, this algorithm selects which execution paths in the model to expand and to what extent and Conformiq has been carefully tuned our implementation during the last decade to make the operation more efficient, robust, comprehensive, and user tunable.
Because large real world test generation problems are computationally very complex and can take long to process on a single PC, this test generation algorithm has been carefully crafted for fully distributed parallel test generation, allowing users automatically to split test generation tasks across multiple cores and PCs in, for example, a public or private cloud / cluster environment or just a large server. This technology enables users to create computational clusters for rapid test generation that can be shared across the users. However even without access to a cloud or a cluster environment, users can still gain the benefits of parallel test generation with Conformiq Designer because even on a single PC setup it automatically maximizes the use of computation resources available locally on the workstation to speed up the test generation process by distributing computation work over all the processor cores available on the local host. Continue reading