Real-world examples of
Conformiq solutions

One of the world’s largest financial companies needed to reduce its time to product release. In an industry with an ever-changing set of rules, financial regulations, and microeconomic changes, this company knew that their ability to test complex, new applications quickly and effectively was critical for both their currentand long-term success.

An American multinational telecommunications corporation investigated options for improving the speed and effectiveness of their application testing methods. They recognized that traditional manual test design and execution methods could no longer sustain the delivery pace needed for them to get their new products to market quickly and reliably.

Alcatel-Lucent used Conformiq Designer in Agile software development project, developing communication client. Case study focuses on benefits of combining Conformiq Model Based Testing and Scrum. Mathieu Pamard and Ronan Thepaut from Alcatel-Lucent show how human readable test cases and machine readable test script for automated test execution are generated automatically from models with Conformiq Designer, enabling in-sprint test automation.

For industrial control, Conformiq with Model Based testing (MBT) and system modeling with state machines was successfully applied to continuous process control applications. This approach, with control system design templates for reuse, found real process control loop bugs, hard to find using manual methods. Results: improved factory acceptance testing with a distributed control system and control loops; reduced manual work; higher test quality and coverage.

Avaya applied Conformiq Model Based Testing methodology for developing Internet telephony system. Avaya was facing a challenge of not being able to scale the resourcing and testing methodology to respond to increasing number of product features to test. By switching to Conformiq Model Based Testing methodology, Avaya achieved up to 5x productivity gains in testing within six months.

In this case study by automotiveHMI (co-operation with Audi, Porsche, Daimler, Volkswagen, MAN, Bosch, Continental), Dr. Christoph Steglich from Daimler AG discusses the approaches that Audi and Daimler have used for Model Based Testing. Model based testing is used to generate tests automatically from model that describes system behavior.

Ericsson has used Model Based Testing methodology with Scrum and is describing the approach, its benefits and challenges they faced.

IMS Application server teams at Ericsson have implemented Model Driven Design and Model Based Testing methods. Models are used for code generation and for test generation. In MBT same model is used to create test scripts automatically for two different automated test execution systems, in TTCN-3 and xtUML. Antal Wu-Hen-Chang and Tibor Csöndes discuss how Model Based methodology has improved the collaboration between Agile teams.

In this case study Tibor Csöndes (PhD) explains the difference between traditional testing utilizing test scripts and MBT approach, and discusses the benefits of MBT. Conclusions include MBT experiences and sharing best practices.

Vinay Kumar from Honeywell explains how Model Based Testing Methodology using Conformiq Designer is applied to Functional Testing. System model created with Conformiq QML language, and is used as basis for generating the tests automatically. Case study discusses the benefits of MBT.