Tag Archives: Automated Test Design

Mutation Operators in Conformiq Designer
In recent blog posts about test generation for mutation testing, I have detailed that mutants introduce small changes into the original model each mimicking a potential software bug. These changes are seeded on a set of mutation operators that are rules applied to the system to create mutants. These are simple syntactic or semantic transformation…
Read more
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
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
Solving a Game of Sudoku Using a Test Generator
OK I admit that this is a bit farfetched. I don’t ever recall a test manager whose biggest concern would have been how to efficiently solve and test Sudokus. I was simply in a mood of having some fun and what would be better than working with a Sudoku problem. I bet that you have…
Read more
Writing Test Cases Manually Is Faster Than Modeling… Huh?
Over the years I have been wondering why folks involved in testing are not more eager to adopt practices that we have shown numerous times to be superior to current practices. Let’s face it, making sure that all the interesting scenarios and corner cases have properly, effectively, and efficiently been tested is not an easy…
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
TechM — DevOps Ready Automated Test Execution and Management Platform
Tech Mahindra – an Indian multinational specialist in digital transformation, consulting and business re-engineering solutions across the Enterprise/IT and Communications markets– has created a DevOps platform called “Continuous Test Management” or CTM for short where an integral part is “Continuous Testing” as they call it. CTM is essentially a platform that goes from fully automated test…
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
Why System Modeling is Often Perceived More Difficult than Test Modeling?
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 themselves. This position has been demonstrated both within practical and theoretical frameworks. This correlates well with day-to-day observations of test managers: defining, designing, and expressing testing strategies…
Read more