Tech Mahindra – an Indian multinational specialist in digital transformation, consulting and business re-engineering solutions across the Enterprise/IT and Communications ...
Blog
Conformiq is a technology provider for advanced Model Based Test (MBT) automation. At the heart of this capability is our engine which automatically generates functional test ...
Creating a system model – a model that directly describes the intended system behavior – is “easier” than creating tester models – models that describe the testing strategies ...
We are asked every now and then whether Conformiq Designer is a tool for testers or a tool for developers. After all, it is a tool for automated test design and it ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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. ...
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 ...