Conditional Coverage Heuristics

Some time ago I wrote a short blog post about equivalence partitioning and boundary value analysis. Now with new version of Conformiq Designer coming out very soon we have introduced quite a few new testing heuristics and coverage options that are based on equivalence class partitioning I wanted to write about how Conformiq can use these new heuristics for generating really good quality test cases. Continue reading

Post to Twitter Post to Facebook Send Gmail Post to LinkedIn

Posted in Uncategorized | Tagged , , , , , , | Leave a comment

Combinatorial Test Data Generation with Conformiq

Suppose a system model states that when a message comes in, it is forwarded out unchanged. This particular message has a number of fields, some of them integers, some strings. For some reason there is cause to suspect that the forwarding feature in the real implementation might be flawed, so we would like to have a number of different message combinations to test this particular forwarding feature. However, because the model predicts that the message is forwarded verbatim, Conformiq Designer will generate only one test for this.

The “combinatorial test data generation” support in Conformiq Designer can be used to overcome the stated challenge. The idea with combinatorial testing is the insight that not every “variable” contributes to every failure and most failures are triggered by a single parameter value or interactions between a relatively small number of parameters. Continue reading

Post to Twitter Post to Facebook Send Gmail Post to LinkedIn

Posted in Uncategorized | Tagged , , , , | Leave a comment

Conformiq is Hiring!

Conformiq is a global, privately held company with a mission to help companies reduce their test design costs with our innovative model-based Automated Test Design™ technology for software and systems. Our Conformiq Designer™ software is the most advanced product in Automated Test Design, which is a breakthrough methodology in testing, generating high quality executable test cases from a formal model of the system under test.

Conformiq provides testing technology, professional services, and complete testing solutions together with its partners. The company is growing and we need to add key new members to our technical team.

We are strengthening our Quality Assurance function and we are looking for a few highly skilled and motivated individuals with the desire to learn new technologies and make an impact with their skills.  We offer you challenging tasks as a part of the team developing and shaping our Conformiq Designer software.

Check out our job openings!

Post to Twitter Post to Facebook Send Gmail Post to LinkedIn

Posted in Uncategorized | Leave a comment

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 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

Post to Twitter Post to Facebook Send Gmail Post to LinkedIn

Posted in Uncategorized | Tagged , , , , , | Leave a comment

What is Important When Selecting an MBT Tool?

Interest towards model-based testing has increased quite significantly over the years as people have started to reach limits of traditional approaches and at the same time started to see and understand the benefits that applying MBT can have to the quality assurance function. In this blog post, I’m outlining what is really important when you are selecting and evaluating an MBT tool. Continue reading

Post to Twitter Post to Facebook Send Gmail Post to LinkedIn

Posted in Uncategorized | Tagged , , | Leave a comment