Company     Conformiq Tool Suite     CMT++/CMTJava     CTC++/CTC for Java and C#     Coverity     Java Testing Tools     Seminars

You would like be informed about news of the software industry and the evolution of Verifysoft's tools? Click here for subscribing to our newsletter.   Last newsletter (March 2010, pdf, 166 KB)

Follow us on

Verifysoft moved to new offices (17 August 2010) Over the past years, Verifysoft Technology has realized consistent growth through successful customer and partner relationships. We now move to larger offices in new building at Technologiepark Offenburg. The new location offers the best conditions for further development of our company. New address is In der Spoeck 10-12, 77656 Offenburg, Germany. Visitors address is In der Spoeck 12, TPO II (1st floor). You can reach our staff at the usual phone-, fax numbers and email addresses.

Siemens Corporate Technology publishes paper on Conformiq Designer and one other MBT tool

(22 June 2010)

Siemens Corporate Technology has published a paper about "Model-based testing in industry: a case study with two MBT tools".
Conformiq is rated reliable and easy to use. further information

Testwell CTC++ for Symbian Target Devices add-on v4.1 available

(Tampere/Finland, 21 June 2010)

A new version of Testwell CTC++ for Symbian Target Devices with a Qt-based variant on "CTC++ Manager" graphical program at the device is available (previously only Avcon-based variant was supported).

Automatic Test Generation Tool Conformiq Qtronic 2.1 Upgraded to Conformiq 4.2: Integration with Requirements and Test Management Tools

(Espoo/Finland and Saratoga/USA, 19 May 2010)

Conformiq announced the availability of version 4.2 of the Conformiq Tool Suite consisting of Conformiq Modeler™ 4.2 and Conformiq Designer™ 4.2. Conformiq simplifies naming of the Conformiq brand and clarifies that Conformiq 4.2 is a fourth-generation technology. The company has been developing model-based testing tools for ten years and wants to communicate the level of maturity in the current offering.
Conformiq 4.2 is adding a number of import and integration features. Conformiq Designer 4.2 can now import existing TTCN-3 type definitions. Rational Software Architect Realtime Edition (RSARTE) can be used for writing Conformiq models, and the Sparx Systems Enterprise Architect importer is enhanced with support for importing class diagram and physical model structure.
Conformiq Designer 4.2 is now able to import requirements from third party tools and automatically publish generated tests to test management tools. The new Conformiq 4.2 supports these integrations out of the box with the following tools:

• IBM RequisitePro (requirement management tool) version 7.1
• HP QualityCenter (requirement and test management tool) version 9 and 10
• IBM DOORS (requirement management tool) version 9.2

Seminar CMMI, Model Driven Testing and Capitalisation Managers should be able to anticipate how much effort are devoted to development and tests in order to optimise resources, capitalise and have a better return on investment. Spirula, co-author of CMMI, will present a "managerial" view of CMMI. You will learn how to use or take inspiration of it in order to optimise tests, thanks to a set-up of useful indicators and capitilisation. The afternoon will be devoted to the presentation of tools in order to illustrate how to implement those strategies : tests with Verifysoft´s tools, set-up of indicators and capitalisation with Spirula. Agenda and registration: 18 May 2010: Offenburg/Germany (in English).

Meet Conformiq at iqnite in Düsseldorf The iqnite conference (formerly known as Software & Systems Quality Conference) is one of the most important events for the testing and quality community. Meet key players and experts who will present the latest industry trends and their experiences at the conference. Practical strategies and knowledge transfer will provide you with valuable information to raise the overall benefit of Testing and Quality Management in your organisation and increase profits. At Conformiq our passion is Conformiq Automated Test Design™ - bringing Model Based Testing tools to your desktop: reduce your risk, lower your testing costs, and improve your product. Come to Booth 40 and meet Conformiq!

Testwell CTC++ Test Coverage Analyser Version 6.5.6 available

(Tampere/Finland, 17 March 2010)

Testwell announces the availability of a new version of Testwell CTC++ for all supported host platforms (Windows, Linux, Solaris, HP-UX). The version 6.5.6 contains enhancements to enable handling of certain special situations that have come up in Symbian or QT code use.

Embedded World 2010: Testing Tools for Embedded Software

(Nuremberg, 5 March 2010) At the Embedded World 2010 Congress in Nuremberg (Germany), Verifysoft Technology presented tools for embedded software development: Testwell CTC++ code coverage tool, Testwell CMT++ code complexity measure tool and the automatic test generator Conformiq Qtronic™. Verifysoft has also organised a tombola for winning two places for the seminar "Testing Embedded Systems" which is available in english as an inhouse workshop.

Partnership with Development Process/CMMI Specialist Spirula

	(Paris, 11 February 2010) Verifysoft and the French company Spirula concluded a partnership. Spirula helps its customers to define the most efficient development processes, to implement dashboards for project monitoring and to enhance the reliability of estimates for cost, effort and planning.

Verifysoft sponsors "French Software Testing Day" (Journée Française des Tests Logiciels)

Academic Program: Presentations in Toulouse

(Toulouse, 18-19 January 2010)

Verifysoft presented the quality process in software development at eXia Toulouse, as well as at ENSEEIHT (School of Electrical Engineering - Automation, Electronics - Signal Processing, Computer Science - Applied Mathematics, Hydraulics - Fluid Mechanics, Telecommunications - Networks).
As part of the academic program, Verifysoft equips laboratories or classrooms with its software testing tools for a very preferential price.
  Presentation     Academic Program