Tag Archives: Large Models

Distributed Test Generation
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…
Read more
Handling Huge System Specifications in Model-Based Testing
Conformiq's system model based testing is based on the premise that you can create a (computer-readable) model of the intended behavior of the system under test. But what if the system is really big? This is a question that people often ask from us, and there are typically three concerns: (1) How long will it…
Read more