Blogs

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

Designer 5.0: Revolutionize 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 ...

MBT User Survey 2019: Conformiq’s Findings

If you have evaluated, used, or are using any model-based testing approach, please take a few minutes to respond to the 2019 Model-based Testing User Survey. This year, the 2019 MBT User Survey is a joint initiative of the French and German Testing Boards. It is already the fourth edition of this survey. Our purpose is to collect data and ...

Solving Sudoku with a Test Generator Approach

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 firsthand experience on solving those and just like me, you have ...

Is Manual Test Case Writing Faster Than Modeling?

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 task. In fact, the ...

Why Automated Test Design is Agile

In my career I have been asked this question a lot of times. How will your approach (to test design) help us to work in a more AGILE way? More big and small companies are moving from Waterfall to AGILE. Why are they doing that? Simply to do things faster and adapt to a business where complexity is increasing every day because it’s now becoming ...

MBT in the Automotive Industry: A Deep Dive

The automotive industry is constantly facing the significant challenge of releasing cars with no software defects. It goes without saying that a software fault in the braking system, in the traction control system or in the assisted steering system can be catastrophic, while problems in non safety critical components may “only” annoy the user, yet ...

Model-Driven Workflow in Software Testing

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

Modeling with ALF Action Language in Testing

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 well as event loop structures and high-level ...

Conformiq Test Generation Technology Insights

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, model may simply mean a state chart or ...

Executable UML/SysML in MBT: A Dream?

In many industries, like aerospace, defense, telecommunication and others, it’s becoming common to use UML/SysML to describe system architectures. With the introduction of OMG fUML, many companies began refining their models to the level where they became executable. The next big step is to adopt model-based testing in which standard executable ...

Conformiq Transformer: Automated Test Execution

We all know the power of test automation and model-based testing (MBT). But has your traditional test automation approach lived up to its promise? Do you spend 70% of your time in test execution? Do you use a variety of software development lifecycle (SDLC) tools? Do you have legacy test and manual tests you want to use, along ...