Conformiq

Why Conformiq Designer Costs ______

Please excuse the blunt title of this post. It is an FAQ why Conformiq Designer costs exactly as much as it does, and here are some answers. (Note that this post is not about the actual price itself, but only about the pricing logic.) (more…)

Conformiq Drops Online Testing Support

When Conformiq Designer 1.0 was released at the beginning of 2007 it had support for both test script generation as well as for online testing. The idea of online testing is simply that a model-based testing tool interacts directly with the system under test, instead of the tool generating a test script that can be executed later and independently ...

Why Testing Will Not Die for a Long Time

There are managers who hate testing. They think testing is just a cost sink, and that if their software engineers would be clever enough and would follow clean and rigorous processes there wouldn't be any need for testing. And they might be right. It is not beyond imagination to envision a software process that simply doesn't let bugs through. It ...

Reusing Implementation Models for Test Generation

Some companies implement parts of their products using Model Driven Engineering (MDE). In this approach, implementation code is generated, at least partially, from system models. In those domains where it works, the MDE approach can lead to significant cost savings and quality improvement. It is then natural to ask if the same implementation ...

MBT for Embedded Systems: A New Book

Model-Based Testing for Embedded Systems is out this autumn and you can find it e.g. from Amazon. The book is a collection of high-quality articles from leading model-based testing researchers and experts around the world, including people from both academia as well as industry. Conformiq has contributed in the form of two articles. One is a deep ...

Tackling Huge System Specs in Model-Based Testing

Conformiq's system model based testing is based on the premise that you can create a (computer-readable) model of the intended behavior of the system under test. But what if the system is really big? This is a question that people often ask from us, and there are typically three concerns: (1) How long will it take to create the model? (2) Can our ...

Skill Profile of a Successful Conformiq User

Automated test design with Conformiq Designer is a new way to create, maintain and manage tests. Using Conformiq successfully requires a different skill profile than manual testing does. The crucial difference to manual testing is that manual testing typically does not require any programming skills. At the same time, creating models is quite near ...

Apple Fixes Battery-Killing Software Bug

For coverage, see e.g. here or InformationWeek. Some sort of a software defect that caused excessive looping within the new iPhone operating system has been draining batteries around the world, and the new patch release is assumed to fix the issue. Now, it's easy to shout from the audience that the operating system software should have been tested ...

Building a Model-Based Testing Community

Here's a cool site run by model-based testing enthusiasts: Model-Based Testing Community at www.model-based-testing.info. Especially as Harry Robinson's www.model-based-testing.org seems to be... dead since some time (so no link). MBT Community is run by a bunch of cool young European guys but they have also more senior contributors across the ...

MBT User Conference: A Successful Event

The first ever model-based testing user conference was held in Berlin in late October, sponsored among others by ETSI (www.etsi.org). See this short conference report for some interesting comments, including some interesting quotes. According to the original post, a person from Nokia Siemens Networks commented that Our deployment results prove ...

Call for Papers: VOLT 2012

1st Workshop on Verification of Model Transformations will be held in conjunction with ICST 2012 in Canada. Model transformation is at the heart of Model-Driven Development (MDD). Many experts have identified the verification of model transformation as one of the grand challenges of the domain. Despite some recent activity in the field, the work ...