Blogs

Why One Testing Design Method Isn’t Enough

Every now and then Conformiq Designer and Creator are compared against other testing tools that employ one type of test design heuristic, for example a combinatorial testing tool for generating optimized pair-wise test data. The capability of generating such combinatorial data combinations is one testing method that in practice has been observed ...

Test Design Techniques: Conformiq’s Insights

Test design concerns making the decisions on (1) what to and what not to test, (2) how to stimulate the system and with what data values, and (3) how the system should react and respond to the stimuli. It is a separate task from test execution and is done before executing the tests against the system. Test design techniques, on the other hand, are ...

Conditional Coverage Heuristics Explained

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

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

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

Selecting the Right MBT Tool: Key Factors

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

ECP & BVA as Black Box Test Design Heuristics

Boundary value analysis is a refinement of the equivalence class partitioning method which again is one of the most generally applicable methods for black-box test design. The idea of equivalence class partitioning is to divide the all possible inputs to the system into “equivalence classes”, i.e. sets of inputs that should produce “analogous” ...

Test Generation Performance: Optimization

Test generation from system models is computationally very hard: Just generating input sequences that cover all the statements of a system model is theoretically an undecidable problem, meaning it can be never solved completely. This does not mean there couldn’t be an algorithm that handles most of the industrially relevant problem instances, but ...

Conformiq Blog: Enhance Your Testing Strategy

In late October, ETSI organized for the first time a user conference for advanced automated testing – UCAAT for short. This conference is, on contrary to many other academic conferences and workshops on automated testing, dedicated to the practical engineering and application aspects of automated testing including model-based testing, test ...

White Paper: Why Automate Test Design

We recently published a white paper about the reasons why the process of test design should be automated. Test design is a task of making decisions on what to test and what not, how to stimulate the system and with what data values, and how to system should react and respond to the stimuli. The test design is a separate task from test ...

Extended String Testing with RegEx

Quite recently we added a support for expressing ”regular expressions” in the Conformiq models. As this is quite an interesting topic, I’m detailing this feature a bit in this post. (more…)

Conformiq Blog: Improve Your Testing Game

I recently had an opportunity to present in ETSI’s UCAAT conference a way to use component-enabled MBT to overcome some of the shortcomings with current interoperability and end-to-end testing approaches. Because this raised quite a lot of interest in the conference, I wanted to write a short blog post about the subject. (more…)