Tag Archives: Conformiq Designer

Generating Tests for Mutation Analysis
Recently I wrote a blog post about mutation testing. That post was a high level overview of what mutation testing is and how mutation analysis can be applied in automatic test generation. This time I was thinking of writing a more hands-on blog post about how to interpret and understand test cases generated by Conformiq’s…
Read more
Conformiq Designer 5.0 for Mutation Testing
We are super excited to announce the release of Conformiq Designer 5.0 which includes a support for mutation testing! This version of Designer automatically designs and generates test cases that target certain types of software bugs. This support will not only immensely increase the quality of the generated test cases, but also provides a better…
Read more
Mutation Testing
Mutation testing is a software testing method which involves modifying the system code in small changes, yielding a faulty system, a mutant of the original one. These changes mimic typical errors that a programmer could have made. The goal is to find weaknesses in a test suite and to develop more effective one. Mutation analysis is typically…
Read more
Model-Based Testing User Survey – 2016
As part of its engagement in the global MBT community Conformiq would like to raise awareness about the MBT User Survey 2016 which is conducted by an independent group (Robert V. Binder, Carnegie-Mellon University Software Engineering Institute; Anne Kramer, sepp.med gmbh; Bruno Legeard, Smartesting & University of Franche-Comté). If you have evaluated, used, or are using…
Read more
Model Driven Workflow
Recently I wrote a blog post about the action language adopted and standardized by the OMG (Object Management Group) called Action Language for fUML or Alf where I alluded about something that I call “model driven workflow” (MDW) — a modeling workflow that embraces modeling across the whole software development lifecycle integrating design, development and…
Read more
Modeling Using Alf Action Language
I remember more than 10 years ago when we were making a decision on what the modeling language we should be using for creating Conformiq Designer models. It was quite clear that we wanted to have a graphical notation that the user could use to capture high-level control flow and life cycle of objects as…
Read more
The Many Faces of Conformiq Test Generation Technology
Quite often when people talk about MBT (Model Based Testing) they intuitively assume that model is always something with “boxes and arrows”; that is the model in MBT needs to be graphical and it is constructed out of some kind of nodes or vertices which are then connected using arrows of some sort. To some,…
Read more
“But I already know the test cases that we need.”
I would be a very rich man if I would get paid a dime every time I hear this statement when meeting a potential customer. “I already know the test cases that we need.” Frankly, I have a really hard time understanding this statement and always need to be careful not to reply with “You’ve…
Read more